Links


Your job is to deliver code you have proven to work

simonwillison.net

Your job is to deliver code you have proven to work.

As software engineers we don’t just crank out codeβ€”in fact these days you could argue that’s what the LLMs are for. We need to deliver code that worksβ€”and we need to include proof that it works as well. Not doing that directly shifts the burden of the actual work to whoever is expected to review our code.

Paged Out!

pagedout.institute

Paged Out! is a free experimental (one article == one page) technical magazine about programming (especially programming tricks!), hacking, security hacking, retro computers, modern computers, electronics, demoscene, and other similar topics.

udem-dlteam/ribbit

github.com

A portable, compact and extensible Scheme implementation that is fully R4RS compliant. This includes closures, I/O, tail calls, first-class continuations and a Read Eval Print Loop (REPL). The R4RS Scheme REPL fits inside 6.5Kb !

marimo-team/marimo

github.com

A reactive notebook for Python β€” run reproducible experiments, query with SQL, execute as a script, deploy as an app, and version with git. Stored as pure Python. All in a modern, AI-native editor.