Compiling Typed Python(bernsteinbear.com)

94 points by tekknolagi 3 years ago | 46 comments

A Fuzzer for the Toy Optimizer(bernsteinbear.com)

12 points by chunkles 8 months ago | 0 comments

A Fuzzer for the Toy Optimizer(bernsteinbear.com)

29 points by surprisetalk 7 months ago | 5 comments

Value Numbering(bernsteinbear.com)

27 points by surprisetalk 4 months ago | 0 comments

Compiling a Lisp: Lambda lifting(bernsteinbear.com)

146 points by azhenley 1 year ago | 15 comments

Adding row polymorphism to Damas-Hindley-Milner(bernsteinbear.com)

193 points by surprisetalk 2 years ago | 49 comments

AI Made Writing Code Easier. It Made Being an Engineer Harder(ivanturkovic.com)

343 points by saikatsg 7 months ago | 242 comments

Blog post by Ivan Turkovic arguing that AI tools make producing code easier while making the broader job of being a software engineer harder.

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.

I built a programming language that LLMs can't use(blog.picheta.me)

244 points by dom96 8 days ago | 179 comments

Blog post by Dominik Picheta introducing KillSwitch, a programming language he designed so that large language models cannot use it.

AI is making me dumb(jpain.io)

407 points by Eighth 5 months ago | 247 comments

A personal blog post in which a software developer argues that relying on AI for writing code, articles, and documents is eroding his own writing and programming skills.

That's not an abstraction, that's a layer of indirection(fhur.me)

546 points by fagnerbrack 1 year ago | 213 comments

A blog post arguing that many so-called abstractions in codebases are merely layers of indirection that add complexity and hurt performance without real value.

Programming Isn't Special(blog.glyph.im)

219 points by ingve 17 days ago | 236 comments

Blog post by Glyph arguing that programming is creative work like art and that programmers should resist AI as artists and writers have.