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

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

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

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.

/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 …

How should a program be controlled via twtxt?

Haskell is the Dark Souls of Programming: http://deliberate-software.com/haskell-is-the-dark-souls-of-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