Semantic Domain: Are functional programs easier to verify than imperative programs? http://semantic-domain.blogspot.com/2018/04/are-functional-programs-easier-to.html
What happened to distributed programming languages? by Heather Miller - YouTube https://www.youtube.com/watch?v=eAcDWcaezXY
Bret Victor The Future of Programming - YouTube https://www.youtube.com/watch?v=8pTEmbeENF4
“Uncle” Bob Martin - “The Future of Programming” - YouTube https://www.youtube.com/watch?v=ecIWPzGEbFc
Effective Programs - 10 Years of Clojure - Rich Hickey - YouTube https://www.youtube.com/watch?v=2V1FtfBDsLU
Bad idea of the day: a program that computes the degree to which the response to a query meets gricean maxims and, if beyond a threshhold, produces potential implicatures, on a synthetic logic-based language and an ontology
graydon2 | programming languages and empiricism https://graydon2.dreamwidth.org/259333.html
Changlin Li - Moving Beyond Defensive Programming - YouTube https://www.youtube.com/watch?v=Csj3lzsr0_I
A practitionerâs guide to reading programming languages papers | the morning paper https://blog.acolyer.org/2018/01/26/a-practitioners-guide-to-reading-programming-languages-papers/
Incredibly Strange Programming Languages - Craig Stuntz - YouTube https://www.youtube.com/watch?v=pwrYx-tdpn4
Handwriting Programs in J ⢠Hillel Wayne https://www.hillelwayne.com/post/handwriting-j/
Exercises in Programming Style | Henrik Warne’s blog https://henrikwarne.com/2018/03/13/exercises-in-programming-style/
How knowing Lisp destroyed my programming career http://coding.derkeiler.com/Archive/Lisp/comp.lang.lisp/2006-04/msg01644.html
Programming is Forgetting: Toward a New Hacker Ethic - All… http://opentranscripts.org/transcript/programming-forgetting-new-hacker-ethic/
If you don’t know at least one programming language that none of your friends know, what are you even doing with your life?
Probably Overthinking It: Learning to program is get… http://allendowney.blogspot.co.nz/2018/02/learning-to-program-is-getting-harder.html
GitHub - chriskiehl/Gooey: Turn (almost) any Python command line program into a full GUI application … https://github.com/chriskiehl/Gooey
The Social Dynamics of Programming Together in Dynamicland https://dynamicland.org/research-notes/social-dynamics-of-programming-together/
@nblade@nblade.sdf.org I’d love to do pair programming again, but sure, it depends heavily on your partner
@nblade@nblade.sdf.org I’d love to do pair programming again, but sure, it depends heavily on your partner
whoever decided Paired Programming should be a thing, needs to be beat up!
Paper Programs https://paperprograms.org/
On the design of distributed programming models | th… https://blog.acolyer.org/2017/08/17/on-the-design-of-distributed-programming-models/
Programming and proving with distributed protocol… https://blog.acolyer.org/2018/01/22/programming-and-proving-with-distributed-protocols/
If you want to snarf up the Project Stargate documents, now is the time: https://www.cia.gov/library/readingroom/collection/crest-25-year-program-archive
Bad idea of the day: An ebook reader program in two columns, where the second column is specifically for recording personal marginal notes & is the same size as the book’s text itself – notes pinned to the paragraph, line, or sentence. Call it ‘MARGINAL’.
Steve Jobs has been dead for 10 years but Apple (& the rest of us too) still hasn’t recovered from poor decisions he made in 1981. Come on guys, get with the program.
There are two classes of bug. One is where the program doesn’t match your mental model of the program. The other is when the problem doesn’t match your mental model of the problem. Most bugs are both.
GitHub - achlipala/frap: Formal Reasoning About Programs https://github.com/achlipala/frap
How I learned to program https://danluu.com/learning-to-program/
Structure and Interpretation of Computer Programmers : … http://www.sicpers.info/2017/12/falsehoods-programmers-believe-about-programming/
Glowing Auras and ‘Black Money’: The Pentagon’s Myste… https://www.nytimes.com/2017/12/16/us/politics/pentagon-program-ufo-harry-reid.html
Seminar with Alan Kay on Object Oriented Programming (VPRI 0246) - YouTube https://www.youtube.com/watch?v=QjJaFG63Hlo
Infinite Negative Utility: Proofs and Programs and Rhetoric https://blog.infinitenegativeutility.com/2017/11/proofs-and-programs-and-rhetoric
Functional Works - Functional Programming Jargon https://functional.works-hub.com/blog/Functional-Programming-Jargon
Perl is the most hated programming language / Boing Boing https://boingboing.net/2017/10/31/perl-is-the-most-hated-program.html
GitHub - Property404/fetlang: Fetish-themed programming language https://github.com/Property404/fetlang
A msg from a PHP CLI program
Thoughts On Programming (In Parentheses) - Recent posts ⌘ http://pestilenz.org/~ckeen/blog/
Hidden Features and Third Party Programs That Make Spotify Work for You - Motherboard https://motherboard.vice.com/en_us/article/59z7vk/hidden-features-and-third-party-programs-that-make-spotify-work-for-you
Aho, Kernighan, and Weinberger https://archive.org/download/pdfy-MgN0H1joIoDVoIC7/The_AWK_Programming_Language.pdf
Aho, Kernighan, and Weinberger https://archive.org/download/pdfy-MgN0H1joIoDVoIC7/The_AWK_Programming_Language.pdf
Using ancient programming languages for fun and profit.
I stumbled upon darebee.com in an unrelated hn thread and i’m really impressed, it’s a really easy follow regimen. Try the Totals program.
I stumbled upon darebee.com in an unrelated hn thread and i’m really impressed, it’s a really easy follow regimen. Try the Totals program.
Learning Lisp | https://wiki.xxiivv.com/programming
/me has programmed for hours today only to learn that our problem is underspecified. gah!
/me has programmed for hours today only to learn that our problem is underspecified. gah!
My one daily hour of programming was spent today with writing tests for txtnix. So tired now …
My one daily hour of programming was spent today with writing tests for txtnix. So tired now …
@shazow Maybe “Graphics Programming Black Book” http://t.co/tY31It6psj
Learning Python | https://wiki.xxiivv.com/programming
Enormous list of Visual Programming Languages: http://t.co/gHUBgRD4ck via HN
Learning PureData | https://wiki.xxiivv.com/programming
📚 Finished reading Computer Science Programming Basics in Ruby: Exploring Concepts and Curriculum with Ruby by Ophir Frieder
📚 Finished reading Computer Science Programming Basics in Ruby: Exploring Concepts and Curriculum with Ruby by Ophir Frieder
📚 Finished reading Land of Lisp: Learn to Program in Lisp, One Game at a Time! by Conrad Barski
Learning Objective-C | https://wiki.xxiivv.com/programming
Learning Ruby | https://wiki.xxiivv.com/programming
Learning PHP | https://wiki.xxiivv.com/programming
New repository: aquilax/programming_dictionary - Common tasks in multiple languages
Learning Javascript | https://wiki.xxiivv.com/programming
NixOS paper accepted at ICFP!
The paper “NixOS: A Purely Functional Linux Distribution” (by
Eelco Dolstra and Andres Löh) has been accepted
for presentation at the 2008\
International Conference on Functional Programming (ICFP).
It describes NixOS in much greater detail than last year’s
HotOS paper, an … ⌘ Read more
Jacquard grant proposal accepted!
The Jacquard\
program of
NWO and EZ has granted funding for the Nix-related project “Pull
Deployment of Services” (PDS), which is about improving the
deployment of software and services in complex heterogenous
environments. The grant consists of 368 K€ for a PhD student (4
years) and a postdoc (3 years). If you’re interested in these
positions, please h … ⌘ Read more
Learning HTML | https://wiki.xxiivv.com/programming