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

Specials (2021) (via indigo) — discussion

#satire #unix

Development shells with Nix: four quick examples (by stapelberg) — discussion

#nix

The Chaos of AI Agents (via epidemian) — discussion

#art #vibecoding #video

Fast and cheap bulk storage: using LVM to cache HDDs on SSDs (via Riolku) — discussion

#programming

exosphere: A simple centralized patch management and reporting tool for unix systems (via JohnBlund) — discussion

#devops #release