Formal typing rules and presentation materials for Swift 6.2's concurrency type system, focusing on Capability and Region (via snej) — discussion

#plt #swift

SDL3 - Add DOS platform support (via linkdd) — discussion

#c #games #programming #retrocomputing

Rewriting Every Syscall in a Linux Binary at Load Time (via emschwartz) — discussion

#linux #security

Direct Win32 API, Weird-Shaped Windows, and Why They Mostly Disappeared (via technetium) — discussion

#windows

Things you didn't know about indexes (by bugsmith) — discussion

#databases

Retrofitting JIT Compilers into C Interpreters (by ltratt) — discussion

#compilers

My PR has been waiting a year, or the exponential curve behind open source backlogs (via ciferkey) — discussion

#programming

Modern Common Lisp with FSet (via amoroso) — discussion

#book #lisp

Testing OpenGraph on localhost from the CLI before you go public (by deevus) — discussion

#release #web #zig

Fixing a 20-year-old bug in Enlightenment E16 (via eBPF) — discussion

#c

I don't care that it's X times faster (by zmitchell) — discussion

#performance #rant

Completion is a Substrate, not a UI (via typesanitizer) — discussion

#design

What Really Happened in Y2K? (via fanf) — discussion

#historical #pdf

The Fediverse deserves a dumb graphical client (via Aks) — discussion

#web

ASK: What happened to Metalink? (by boramalper)

#ask #historical #web

Saying Goodbye to Agile (by LAC-Tech) — discussion

#practices

Single Module Lambda Calculus from Simply Typed to Martin Lof Type Theory (by solomon) — discussion

#haskell #plt

TruffleRuby 34: full Ruby 3.4 compatibility, up to 23% faster parsing, and a new Prism-based Ripper with 20x speedups (by eregon) — discussion

#release #ruby

Quiche Browser — Beautifully customizable web browser (via MatheusRich) — discussion

#browsers

It's NOT OK to compare floating-points using epsilons (via intarga) — discussion

#compsci #programming