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

Quick tutorial to get started on Org Social (by andros) — discussion

#emacs

NSA and IETF, part 3: Dodging the issues at hand. (djb) (via indolering) — discussion

#cryptography

emacs for code editing (via knl) — discussion

#emacs

Case against OOP is understated, not overstated (2020) (via kototama) — discussion

#plt #programming

World's Most Stable Raspberry Pi? 81% Better NTP with Thermal Management (via taras) — discussion

#hardware

memories of .us (via binjip978) — discussion

#networking