The many JavaScript runtimes of the last decade (via aapoalas) — discussion

#historical #javascript

LLVM integrated assembler: Engineering better fragments (via jmillikin) — discussion

#assembly #compilers

Yalep - Micro language based on Lean for teaching mathematical high-school proofs (via jeanthomas) — discussion

#education #formalmethods

[trane] (via veqq) — discussion

#art #lisp

multiplex: Command-line process mutliplexer (by sebastien) — discussion

#devops #python

Programming Languages: Application and Interpretation (3rd edition) (via nextos) — discussion

#book #lisp #pdf #plt

Enough AI copilots! We need AI HUDs (via ucirello) — discussion

#vibecoding

Designing a flatpack bed (via mtlynch) — discussion

#hardware

How I hacked my washing machine (via veqq) — discussion

#reversing

IPng Networks - Certificate Transparency - Part 1 (via raymii) — discussion

#security

Formal specs as sets of behaviors (via amw-zero) — discussion

#formalmethods

Protest footage blocked as online safety act comes into force (via dfawcus) — discussion

#law

TIL: Exception.add_note (via spookylukey) — discussion

#python

Revontuli Colorscheme Collection (by Aks) — discussion

#design

printSim: a command-line python program that turns gcode into realistic 3d printer sound (via scruss) — discussion

#python

The JJ VCS Workshop: A Zero-to-Hero Speedrun (by jkoppel) — discussion

#vcs

OverHAuL: Harnessing Automation for C Libraries with Large Language Models (by Kchousos) — discussion

#ai #security #testing

An intro to security, with eggs, please (via czocher) — discussion

#satire #security

copyparty: portable file server with resumable uploads, dedup, WebDAV, and more (via stepbrobd) — discussion

#privacy #python

LLMs are bad at returning code in JSON (via pcwelder) — discussion

#ai