ENIAC Programmers (2011)(columbia.edu)

13 points by adunk 20 days ago | 1 comments

Columbia University Computing History page by Frank da Cruz about the ENIAC and the women who programmed it by plugging cables and setting switches.

Konrad Zuse's Homepage(web.archive.org)

67 points by nanna 2 years ago | 21 comments

Konrad Zuse (1994)(xn--plankalkl-x9a.de)

72 points by tmalsburg2 2 years ago | 41 comments

Loglan'82: programming language for object-oriented and distributed programming(lem12.uksw.edu.pl)

48 points by danielam 1 year ago | 6 comments

Online Historical Encyclopaedia of Programming Languages(hopl.info)

22 points by gregsadetsky 3 months ago | 2 comments

The Evolution of a Haskell Programmer (2001)(pages.cpsc.ucalgary.ca)

128 points by agomez314 2 years ago | 35 comments

Formal methods and the future of programming(blog.janestreet.com)

322 points by eatonphil 4 months ago | 99 comments

Jane Street Blog post on formal methods and their role in the future of programming, illustrated with OCaml-style specification code.

Building supercomputers for autocrats probably isn't good for democracy(helentoner.substack.com)

370 points by rbanffy 1 year ago | 192 comments

Helen Toner's Substack essay criticizing OpenAI's Stargate UAE project and the framing of building AI supercomputers for autocratic governments.

Fabrice Bellard: The Ghost in the Code(zbruceli.org)

5 points by ptidhomme 18 days ago | 0 comments

A long-form blog essay profiling Fabrice Bellard, the reclusive programmer behind widely used software like FFmpeg and QEMU.

Artificial intelligence is losing hype(economist.com)

453 points by bx376 2 years ago | 663 comments

An Economist Free exchange column arguing that artificial intelligence is losing hype and asking whether that signals the technology will eventually succeed.

Writing that changed how I think about programming languages(bernsteinbear.com)

388 points by r4um 1 year ago | 48 comments

A blog post listing papers, posts, and videos on programming languages and compilers that changed the author's thinking, with short commentary on each.

Programming languages that blew my mind (2023)(yoric.github.io)

329 points by todsacerdoti 2 years ago | 182 comments

A blog post by David Teller recounting the programming languages that changed how he thinks about programming over his career.