Porffor: A from-scratch experimental ahead-of-time JS engine (via linkdd) — discussion

#compilers #javascript #plt

Paolo Melchiorre - Database generated columns⁽¹⁾: Django & SQLite (by pauloxnet) — discussion

#databases #python #web

Taking command of the Context Menu in macOS (by gingerbeardman) — discussion

#mac

Cogent Core, a new Go GUI (website uses the UI framework) (via benhoyt) — discussion

#go #graphics

Len Sassaman and Satoshi: a Cypherpunk History (via Zamicol) — discussion

#cryptography

Build your own SQS or Kafka with Postgres (by acco) — discussion

#databases

The Hitchhiker's Guide to Logical Verification (via nextos) — discussion

#formalmethods #pdf #plt

Pragmatic Category Theory | Part 1: Semigroup Intro (by chshersh) — discussion

#ml

A Deep Dive into German Strings (via av) — discussion

#databases #performance

Quint (via hwayne) — discussion

#formalmethods

A new approach to error handling (by zupa) — discussion

#compilers #go #plt #web

Racing round and round: The little bug that could (via crazyloglad) — discussion

#security

ASK: Re: Crowdstrike Timeline Mystery (by Garbi)

#ask #security

Certificate Revocation Incident (CNAME-Based Domain Validation) (via susam) — discussion

#cryptography

Delightful, production-grade replication for Postgres (by eatonphil) — discussion

#databases

Our audit of Homebrew (by yossarian) — discussion

#ruby #security

HTTP/0.9 From Scratch (by sudorandom) — discussion

#browsers #go #programming #web

C Macro Reflection in Zig – Zig Has Better C Interop Than C Itself (via imadij) — discussion

#zig

whippet progress update: funding, features, future (via sjamaan) — discussion

#lisp

FastHTML - Modern web applications in pure Python (via rtpg) — discussion

#web