GitHub Profile Roast (via linkdd) — discussion

#satire

Tzero: Social Timeboxing for IRC Channels (by susam) — discussion

#culture #show

There is only one test (via nalzok) — discussion

#education #math #science

Desugaring Haskell's do-Notation into Applicative Operations (via xoranth) — discussion

#haskell #pdf #plt

Panic! At The Async Runtime Shutdown (via scvalex) — discussion

#rust

Reduce allocations and comparison performance with the new unique package in Go 1.23 (via carlana) — discussion

#go #performance

Eron Wolf Interviews Andreas Kling About the Ladybird Browser (via indigo) — discussion

#browsers #video

How Go Arrays Work and Get Tricky with For-Range (via terryfilch) — discussion

#go #programming

Default To Large Modules (by kqr) — discussion

#programming

manifest.py (by amoffat) — discussion

#ai #python

A Handy Way To Clear The Terminal In Python (by Onorio) — discussion

#python

Trying and mostly failing to optimize frustum culling in a WebGL + TS + Rust engine (via jmillikin) — discussion

#graphics

Streams, Calculational Proofs and Dafny (by rdivyanshu) — discussion

#formalmethods

Archiving and syndicating Mastodon posts (by ggpsv) — discussion

#web

Squatting NPM for remote code execution (via jmillikin) — discussion

#javascript #security

Supercharged labels – Gleam v1.4.0 (by lpil) — discussion

#erlang #release

Compress video by 90% without losing much quality, similar to what Pied Piper achieves (by jiacai2050) — discussion

#release

ROMhacking.net Moves to News Only, Database and File Archive Released to Internet Archive (via JordiGH) — discussion

#games

Formally verifying security properties of CHERI processors (via david_chisnall) — discussion

#formalmethods #hardware #security

Translating All C to Rust (TRACTOR) (via rjzak) — discussion

#c #rust