Reasons to Dislike AI Coding(sicpers.info)

30 points by signa11 19 days ago | 32 comments

A blog post on the Structure and Interpretation of Computer Programmers blog listing reasons to dislike AI-assisted coding.

YX Problem(sicpers.info)

86 points by rkta 2 years ago | 57 comments

I keep bouncing off the Scheme language(sicpers.info)

148 points by ingve 5 months ago | 73 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.

The Development of the C Language (1993)(bell-labs.com)

212 points by gus_leonel 3 years ago | 282 comments

The Development of the C Language (2003)(cm.bell-labs.co)

167 points by cpeterso 3 years ago | 21 comments

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.

On the Nature of Time(writings.stephenwolfram.com)

326 points by iamwil 2 years ago | 221 comments

Stephen Wolfram essay arguing that time is best understood computationally, as the progressive application of computational rules by the universe.

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.

MIT Study Finds AI Use Reprograms the Brain, Leading to Cognitive Decline(publichealthpolicyjournal.com)

438 points by cainxinth 1 year ago | 432 comments

Article reporting on an MIT study claiming that using AI tools like ChatGPT alters brain activity and leads to cognitive decline.

Alonzo Church: Architect of computer intelligence(onepercentrule.substack.com)

318 points by drcwpl 2 years ago | 81 comments

A Substack essay profiling logician Alonzo Church and his solution to the Entscheidungsproblem as a foundational contribution to computer science.

It's hard to write code for computers, but it's harder to write code for humans(erikbern.com)

429 points by imartin2k 2 years ago | 131 comments

Erik Bernhardsson's blog post arguing that writing code for humans, such as libraries, APIs and tools other developers use, is harder than writing code for computers.