MoonBit 0.9: Introducing First-Class Formal Verification (via hongminhee) — discussion

#plt #release

Someone Bought 30 WordPress Plugins and Planted a Backdoor in All of Them (via dhruvp) — discussion

#security

No one can force me to have a secure website (via theelx) — discussion

#pdf #security #web

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