A survey of inlining heuristics (via carlana) — discussion

#plt

A Post-Quantum Future for Let's Encrypt (via fanf) — discussion

#security #web

My Software North Star (by kristoff) — discussion

#philosophy

Elixir v1.20 released: now a gradually typed language (via munksgaard) — discussion

#elixir #plt

The Bloat (by milkandcigarettes) — discussion

#vibecoding

Kotlin 2.4.0 Released (via snej) — discussion

#kotlin #release

Mean Hand (via hush) — discussion

#design #visualization

Safe Made Easy Pt.1: Single Ownership is (Not) Optional (by ergeysay) — discussion

#plt

Parsing XML EXIF from .avif files (plus a rant) (by AndrewStephens) — discussion

#python #web

burnrsushi discusses personal medical diagnosis (via carlana) — discussion

#person

Golang code review notes II (via mtlynch) — discussion

#go #security

mimalloc: A new, high-performance, scalable memory allocator for the modern era (via eatonphil) — discussion

#c #performance

Curatube: a distraction free interface for YT playlists to focus on learning (by metahost) — discussion

#show #web

Pwnd Blaster: Hacking your PC using your speaker without ever touching it (via matthew2) — discussion

#security

.furry - A Top-Level Domain for furries (via Aks) — discussion

#web

WSL containers, Coreutils for Windows, and agents (via abareplace) — discussion

#windows

How TypeScript distributes unions (by norswap) — discussion

#javascript #plt

Beyond ICR: Incremental 'Suggesting' Read in Emacs (by chiply) — discussion

#emacs

Revealing the frontier with stacks and queues (by denys_seguret) — discussion

#performance #rust

How did software get so reliable without proof? (1996) (via typesanitizer) — discussion

#historical #pdf #practices