Announcing Unison 1.0 (via puffnfresh) — discussion

#programming

WhatsApp from you know where (by xenodium) — discussion

#emacs

We Rewrote Our Startup from PHP to Gleam in 3 Weeks (via kamila) — discussion

#gleam

How to draw high fidelity graphics when all you have is an x and y coordinate (via p1xelHer0) — discussion

#graphics

Stop Telling Us XMPP Should Use JSON (via adamcstephens) — discussion

#programming

Unifying Wikipedia mobile and desktop domains (by krinkle) — discussion

#mobile #performance #web

Orion 1.0 (via bezdomni) — discussion

#browsers #release

All that is solid melts into code (via carlana) — discussion

#vibecoding

Building a Simple Search Engine That Actually Works (via fiatjaf) — discussion

#databases

Event Design for Streaming Systems: A Primer (by iand675) — discussion

#distributed #programming

Optique 0.7.0: Smarter error messages and validation library integrations (by hongminhee) — discussion

#javascript

AI Smells on Medium (by rmoff) — discussion

#rant

Towards Pen-and-Paper-Style Equational Reasoning in Interactive Theorem Provers by Equality Saturation (via saulshanabrook) — discussion

#formalmethods #pdf #plt

The Promise of P-Graphs (via saulshanabrook) — discussion

#formalmethods #plt

APT Rust requirement raises questions (via calvin) — discussion

#linux #rust

What does it mean to be massively against AI? (via kngl) — discussion

#ai #vibecoding

Constant-time support lands in LLVM: Protecting cryptographic code at the compiler level (via sknebel) — discussion

#compilers #cryptography

HP and Dell disable HEVC support built into their laptops’ CPUs (via xvello) — discussion

#hardware #law

How good are Chinese CPUs? Benchmarking the Loongson 3A6000 (via serce) — discussion

#performance

The Lambda Papers (transcribed) (by mnemenaut) — discussion

#lisp #plt