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

Little LaTeX Pearls (via ehamberg) — discussion

#math

Point cloud allemansrätten (via gerikson) — discussion

#visualization

Reflecting on deserialization. Why you should explicitly decode your JSON (via giacomo_cavalieri) — discussion

#practices

ASK: What are you doing this week? (by caius)

#ask #programming

All elementary functions from a single binary operator (via fanf) — discussion

#math

Live++: A Bag of Tricks (via mikejsavage) — discussion

#c++ #pdf #slides