Compiling Typed Python(bernsteinbear.com)

94 points by tekknolagi 3 years ago | 46 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.

Scheming a mise-en-abîme in BQN(panadestein.github.io)

38 points by todsacerdoti 1 year ago | 0 comments

Pseudoprose(taylor.town)

47 points by surprisetalk 2 years ago | 38 comments

The highly involved build process for my doctoral dissertation(spwhitton.name)

54 points by pabs3 2 years ago | 39 comments

Functional Programming with TypeScript's Type System(desislav.dev)

74 points by evolveyourmind 3 years ago | 30 comments

The Art of Finishing(bytedrum.com)

609 points by emmorts 2 years ago | 147 comments

A personal blog essay on the ByteDrum blog about a developer's pile of unfinished side projects and the challenge of actually finishing them.

My old job feels distant now(pinecoder.dev)

28 points by speckx 10 days ago | 27 comments

A personal blog post on pinecoder.dev reflecting on how the author's previous job now feels distant.

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.

How I write software with LLMs(stavros.io)

440 points by indigodaddy 7 months ago | 423 comments

A personal blog post by Stavros describing how he uses LLMs to write software and why he values making things over programming itself.

Do your own writing(alexhwoods.com)

690 points by karimf 7 months ago | 222 comments

Blog post by Alex Woods arguing against using LLMs to write documents and essays, since writing is a way to think and build trust.

Thoughts on thinking(dcurt.is)

588 points by bradgessler 1 year ago | 367 comments

Dustin Curtis's blog essay reflecting on how AI and LLMs have made his own writing, coding, and creative thinking feel pointless.