NASA has a list of 10 rules for software development(cs.otago.ac.nz)

312 points by vyrotek 1 year ago | 168 comments

Rule of Three(en.wikipedia.org)

17 points by revskill 3 years ago | 17 comments

10th Rule of Programming (2003)(philip.greenspun.com)

52 points by gggggs 3 years ago | 15 comments

Perlisisms (1982)(cs.yale.edu)

125 points by tosh 4 months ago | 59 comments

A perfectable programming language(alok.github.io)

196 points by yuppiemephisto 6 months ago | 110 comments

Why I love OCaml (2023)(mccd.space)

379 points by art-w 11 months ago | 270 comments

Personal blog post by Marc Coquand explaining why he loves OCaml, comparing it with Haskell and other languages he has used.

Rob Pike’s Rules of Programming (1989)(users.ece.utexas.edu)

400 points by udev4096 3 years ago | 229 comments

A plain web page listing Rob Pike's five rules of programming on measurement, simple algorithms, and data structures, with notes on related maxims.

Structure and Interpretation of Computer Programs Video Lectures (1986)(ocw.mit.edu)

339 points by gjvc 3 months ago | 44 comments

MIT OpenCourseWare page hosting the twenty 1986 SICP video lectures by Hal Abelson and Gerald Jay Sussman, recorded for Hewlett-Packard employees.

Programming Still Sucks(stvn.sh)

640 points by jeromechoo 5 months ago | 308 comments

A blog essay by Steven Langbroek titled "Programming Still Sucks," an 8-minute read on programming, leadership, and AI.

The Mathocalypse(scottaaronson.blog)

361 points by 6bitquant 18 days ago | 380 comments

Scott Aaronson blog post reacting to OpenAI releasing hundreds of AI-generated math results, including a claimed proof of Khot's Unique Games Conjecture.

Rule 30: one black cell(wolframcollatzmahler.com)

16 points by amichail 3 days ago | 5 comments

An interactive explainer of Wolfram's Rule 30 cellular automaton, its three open prize problems about the centre column, and observed order at the pattern's edges.

The new skill in AI is not prompting, it's context engineering(philschmid.de)

832 points by robotswantdata 1 year ago | 467 comments

Blog post by Philipp Schmid arguing that context engineering, supplying LLMs with the right information and tools, matters more than prompting for AI agents.