Programming Z3 https://theory.stanford.edu/~nikolaj/programmingz3.html

Declarative Programming Pros And Cons | Toptal https://www.toptal.com/software/declarative-programming

Programming paradigms for dummies: what every programmer should know | the morning paper https://blog.acolyer.org/2019/01/25/programming-paradigms-for-dummies-what-every-programmer-should-know/

Extremist Programming : Inside 245-5D http://blog.ezyang.com/2012/11/extremist-programming/

GitHub - rvanasa/funqy: FunQy - A high-level hybrid quantum programming language https://github.com/rvanasa/funqy

While any vision of society is a spell to bring itself into existence, society, unlike computers, is wicked hard to program and code usually is the easier route

Functional programming books overview http://alexott.net/en/fp/books/#sec12

Flow-based Programming :: Comparison http://www.jpaulmorrison.com/fbp/noflo.html

People become what they can imagine becoming, & access to tools has as much to do with this as representation. If it’s easy to fall into programming accidentally, then it’s easy to imagine yourself programming regularly.

Literate Programming in the Large - YouTube https://www.youtube.com/watch?v=Av0PQDVTP4A

Spreadsheets are dead, long live reactive programming environments! : Stencila https://stenci.la/blog/introducing-sheets/

Donald Knuth: “The Art of Computer Programming: Satisfiability and Combinatorics” - YouTube https://www.youtube.com/watch?v=g4lhrVPDUG0

Notes on Structure and Interpretation of Computer Programs. https://lethain.com//notes-sicp/

A Survey of $RANDOM « null program https://nullprogram.com/blog/2018/12/25/

GitHub - yarel-di/yarel: Paradigmatic first-order reversible functional programming language https://github.com/yarel-di/yarel

The Programming Languages Zoo http://plzoo.andrej.com/

sending up private space probes to stealthily nudge large asteroids onto collision courses with Earth so that governments keep maintaining their space programs

What’s a useful programming language feature or concept that a lot of languages don’t have? - DEV Community ‘‍”‍’ https://dev.to/cathodion/whats-a-useful-programming-language-feature-or-concept-that-a-lot-of-languages-dont-have-2ep1

On Programming Language Design - ielliott.io http://blog.ielliott.io/on-programming-language-design/

Service Unavailable https://esoteric.codes/blog/exercises-in-programming-style

Null Programs and the Uninscribed - esoteric.codes https://esoteric.codes/blog/null-programs-and-the-uninscribed

A Programming Language With Only One Command and the Anti-Imperialist Operating System Built on it - esoteric.codes https://esoteric.codes/blog/a-programming-language-with-only-one-command-and

I don’t agree with this at all, but I’ve gotta respect this level of trolling: https://wordsandbuttons.online/if_i_were_to_invent_a_programming_language_for_the_21st_century.html

Alan Kay: How Simply and Understandably Could The “Personal Computing Experience” Be Programmed? on Vimeo https://vimeo.com/10260548

Every computer program is also a persuasive essay & a work of interactive performance art, and if you don’t consider it through those lenses when writing it you run the risk of persuading people of something you don’t agree with.

Systems, Not Programs https://shalabh.com/programmable-systems/systems-not-programs.html

Seminar with Alan Kay on Object Oriented Programming (VPRI 0246) - YouTube https://www.youtube.com/watch?v=QjJaFG63Hlo

Bret Victor The Future of Programming - YouTube https://www.youtube.com/watch?v=8pTEmbeENF4

Apparatus: A hybrid graphics editor and programming environment for creating interactive diagrams http://aprt.us/

Visual Programming Languages - Snapshots http://blog.interfacevision.com/design/design-visual-progarmming-languages-snapshots/

Moved Temporarily http://allendowney.blogspot.co.nz/2018/02/learning-to-program-is-getting-harder.html

Literate Programming http://www.literateprogramming.com/

Red Programming Language https://red.github.io/

Program Development under Inferno http://doc.cat-v.org/inferno/4th_edition/development

The Limbo Programming Language http://doc.cat-v.org/inferno/4th_edition/limbo_language/limbo

GitHub - uliwitness/Stacksmith: An intuitive software erector kit targeted at people new to programming, but with enough potential to stay useful once they’ve learned, inspired by HyperCard. https://github.com/uliwitness/stacksmith/

TempleOS: an educational tool for programming experiments - TechRepublic https://www.techrepublic.com/blog/software-engineer/templeos-an-educational-tool-for-programming-experiments/

Recreational Programming With LoseThos http://www.osnews.com/story/23796/Recreational_Programming_With_LoseThos

Chuck Moore’s Wonderful colorForth Programming Language and Operating System https://colorforth.github.io/cf.htm

Thoughtful Programming and Forth Philosophy, Essay by Michael Misamore http://www.ultratechnology.com/forththoughts.htm

Levels of code in Forth programing http://www.ultratechnology.com/levels.htm

Thoughtful Programming and Forth http://www.ultratechnology.com/forth.htm

The Programming Language Oberon https://miasap.se/obnc/oberon-report.html

The Programming Language Oberon https://miasap.se/obnc/oberon-report.html

Programming Quotes http://quotes.cat-v.org/programming/

Because of the use of ‘rune’ to refer to unicode codepoints in go, a fulthark transliteration program might have somewhat confusing source…

Bad idea of the day: plan 9 from whitespace, a full implementation of plan9 in an extended version of the whitespace programming language, which ships with a printed copy of the source code (a blank notebook)

“Puzzles, Problems, and Programs” by Chris Martens - YouTube https://www.youtube.com/watch?v=TT0r6-B5YHA

“You are a Program Synthesizer” by James Koppel - YouTube https://www.youtube.com/watch?v=ldkF-4WNZqA

I love it. I have a program that needs to processing about half a million records, which will take 3 days. The database that all those records are suppose to go to is acting up after I’ve just done 140K records.

@tx@shroom.party I remember people doing word processing though their spreadsheet program.

Introducing Cꙮ, the programming language for angelic beings - because all bugs are shallow before these eyes!

How Lisp Became God’s Own Programming Language https://twobithistory.org/2018/10/14/lisp.html

Scientific Research Into Pair Programming https://tuple.app/pair-programming-guide/scientific-research-into-pair-programming

Programming as interaction: A new perspective for programming language research - Tomas Petricek http://tomasp.net/blog/2018/programming-interaction/

@freemor@freemor.homelinux.net No, I think the old DOS edlin program is the standard text editor LOL.

Recreational Programming With LoseThos http://www.osnews.com/story/23796/Recreational_Programming_With_LoseThos

TempleOS: an educational tool for programming experiments - TechRepublic https://www.techrepublic.com/blog/software-engineer/templeos-an-educational-tool-for-programming-experiments/

Concurrent and Distributed Programming in Web Prolog https://bluishcoder.co.nz/2018/09/24/concurrent-and-distributed-programming-in-web-prolog.html

Non-programmers have invaded the programming area. It wouldn’t be bad except some of them wear way too much perfume or cologne. Feel like I need a gas or filter mask.

The TTY demystified http://www.linusakesson.net/programming/tty/index.php

Suffering-oriented programming - thoughts from the red planet - thoughts from the red planet http://nathanmarz.com/blog/suffering-oriented-programming.html

@sdk@codevoid.de a random mix into the the twtxt file seems less clean to me. The former would be easier to implement and simpler for another program to get and parse.

DJ-SDKs Programming Music - rtmp://codevoid.de/live

@nblade@nblade.sdf.org Most programmers are just users that are writing/maintaining programs. Most can’t even handle the underlying OS, let alone a Network or a Server.

@metamurks@www.metamurks.org Thanks! Programming gopher://taz.de was the most fun i had in ages. And it was for work! Kind of. :)

@metamurks@www.metamurks.org Thanks! Programming gopher://taz.de was the most fun i had in ages. And it was for work! Kind of. :)

This is a very hot take and also not a new one but here we go: the goal of a properly functioning software engineer is to obviate themselves, not by solving the customer’s specific problems but by blurring the line between using a computer and programming one to the point where users can solve their own problems.

The 10:1 rule of writing and programming https://www.ybrikman.com/writing/2018/08/12/the-10-to-1-rule-of-writing-and-programming/

Prospecting for Hash Functions « null program https://nullprogram.com/blog/2018/07/31/

TV Programming Quirks: Why So Many Shows Have 65 Episodes https://tedium.co/2018/07/24/tv-programming-quirks-history/

He was the kind of guy whose programs always had one label, and it was always called ConsideredHarmful, regardless of what it did.

A Survey of Programming Language Package Systems http://neurocline.github.io/papers/survey-of-programming-language-packaging-systems.html

Apparatus: A hybrid graphics editor and programming environment for creating interactive diagrams http://aprt.us/

Another formulation: the best of today’s GUIs make easy things easy and hard things impossible. The best of today’s programming languages make easy things hard and hard things harder. We don’t have a system that makes easy things easy and hard things merely hard for backwards-compatibility reasons.

Today, learn a new programming language that was invented before 1980

Rob Martin - Teaching functional programming to noobs (Lambda Days 2016) - YouTube https://www.youtube.com/watch?v=bmFKEewRRQg

Literate Programming http://www.literateprogramming.com/

Designing a Programming Language for the Desert | Futhark - A High Performance Functional Array Language https://futhark-lang.org/blog/2018-06-18-designing-a-programming-language-for-the-desert.html

Minimalist C Libraries « null program https://nullprogram.com/blog/2018/06/10/

There is only one OS, and it’s been obsolete for decades – Programming, Made Complicated https://programmingmadecomplicated.wordpress.com/2017/08/12/there-is-only-one-os-and-its-been-obsolete-for-decades/

Teaching Programming Languages by Experimental and Adversarial Thinking http://cs.brown.edu/~sk/Publications/Papers/Published/pkf-teach-pl-exp-adv-think/

Visual Programming Languages - Snapshots http://blog.interfacevision.com/design/design-visual-progarmming-languages-snapshots/

Taco Bell Programming http://widgetsandshit.com/teddziuba/2010/10/taco-bell-programming.html

ZZ Cell Programming http://xanadu.com/zigzag/fw99/ZZcellProg.html

Habeas Data excerpt: How a mugger helped create the modern NSA surveillance program. https://slate.com/technology/2018/05/habeas-data-excerpt-how-a-mugger-helped-create-the-modern-nsa-surveillance-program.html

Kevlin Henney - Procedural Programming: It’s Back? It Never Went Away - YouTube https://www.youtube.com/watch?v=otAcmD6XEEE

Java: Executing code in comments?! | Programming.Guide http://programming.guide/java/executing-code-in-comments.html

Bad idea of the day: a letter-writing campaign to members of CS program accreditation boards (at their home addresses) requesting algorithmic bias & data ownership be a part of mandatory ethics classes in the curriculum.

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/