Data evolution with set-theoretic types (via jparise) — discussion

#elixir #programming

Thunderbolt ports aren’t all the same (via bitfield) — discussion

#hardware #mac

DoomPDF (via gioele) — discussion

#games #pdf

Coding Adventure: Rendering Text (via mikejsavage) — discussion

#graphics #video

Verified post-quantum cryptography on the web (via nadim) — discussion

#cryptography #formalmethods #web

The power of open source in PostgreSQL (via sjamaan) — discussion

#databases #practices

Understanding Memory Management, Part 1: C (via freddyb) — discussion

#security

Why is Git Autocorrect too fast for Formula One drivers? (via op) — discussion

#vcs

ODB C++ ORM version 2.5.0 released (by borisk) — discussion

#c++ #databases #release

The Campsite codebase is now open source (via pepicrft) — discussion

#ruby

What Every Hacker Should Know About TLB Invalidation (via fro) — discussion

#linux #pdf #security

Challenges to funding open source (via ubernostrum) — discussion

#culture

Fluid Simulation Pendant (via epidemian) — discussion

#art #hardware

The missing tier for query compilers (via eatonphil) — discussion

#databases

Split Out Unrelated Changes (via chriskrycho) — discussion

#practices

Subtitle Generator Using Whisper (by kracekumar) — discussion

#ai #python

Tokyo museum offers visitors 'flashback' to defunct technology (via kaycebasques) — discussion

#hardware #historical

Derivative grammars: a symbolic approach to parsing with derivatives (via fanf) — discussion

#pdf #plt

Creator of Ghostty talks Zig over Go (via usrme) — discussion

#go #video #zig

Can you complete the Oregon Trail if you wait at a river for 14272 years: A study (via wizardishungry) — discussion

#games #retrocomputing #reversing