Everything Should Be Typed: Scalar Types Are Not Enough (via diktomat) — discussion

#plt #programming

Microsoft exec suggests AI agents will need to buy software licenses, just like employees (via dustyweb) — discussion

#vibecoding

Can we finally use C++ Modules in 2026? (via raymii) — discussion

#c++

NetBSD/MacPPC 9.4 Installation on a QEMU emulated PowerPC Macintosh (via jaypatelani) — discussion

#netbsd

GitHub Stacked PRs (via jado) — discussion

#vcs

How to make Firefox builds 17% faster (via fanf) — discussion

#browsers #compilers #performance

DuckLake v1.0 – The Lightweight Lakehouse Format Reaches Production-Readiness (via eatonphil) — discussion

#databases #release

Introducing Brunost: The Nynorsk Programming Language (via kamila) — discussion

#programming

Running the first program (via JordiGH) — discussion

#historical #math #retrocomputing

Hybrid Constructions: The Post-Quantum Safety Blanket (via hackguy) — discussion

#cryptography #security

Debloat your async Rust (via fanf) — discussion

#rust

Lean proved this program was correct; then I found a bug (by kirancodes) — discussion

#formalmethods #plt #security

App Store Reviews are Busted (via outervale) — discussion

#ios #mobile

Past, Present, Future: The PHPUnit Story (via xSavitar) — discussion

#pdf #php #slides #testing

Autoscaling Forgejo Runner (via krig) — discussion

#devops #vcs

Apps and programming: two accidental tyrannies (via Mordo) — discussion

#programming #transcript

Configuration flags are where software goes to rot (via josephjnk) — discussion

#programming

Recovering a Lost Document: Habitat Anecdotes (1988) (via snej) — discussion

#games #historical

Malleable Software (via ugur) — discussion

#linux #vibecoding

Servo 0.1.0 (first LTS version) is now available on crates.io (via AsciiBoiler) — discussion

#browsers #release #web