Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers (via lorddimwit) — discussion

#compilers #pdf

In defense of lock poisoning in Rust (via claytonwramsey) — discussion

#rust

Can we build WeChat Mini Apps using open web standards? (via kv) — discussion

#android #ios #mobile

ACME Challenge for Persistent DNS TXT Record Validation (via AsciiBoiler) — discussion

#security

100000 TPS over a billion rows: the unreasonable effectiveness of SQLite (via adityaathalye) — discussion

#clojure #databases

Quantifying Information Loss (by Mbat) — discussion

#privacy

Noise, Stability, and ML model Calibration (by Mbat) — discussion

#ai

Web-based markdown editor with no AI (by wherewhy) — discussion

#design #show

Progress on TypeScript 7 - December 2025 (via WA9ACE) — discussion

#compilers

EmacsConf 2025 (via vpr) — discussion

#emacs #event

Solid state volumetric display (via fanf) — discussion

#art #hardware #video

zmx: session persistence for terminal processes (by erock) — discussion

#show #zig

Solving AoC in Q (via veqq) — discussion

#apl

Lazier Binary Decision Diagrams (BDDs) for set-theoretic types (via jparise) — discussion

#elixir #plt

nixtml: Static website and blog generator written in nix (by granra) — discussion

#nix #show

My First Impressions of MeshCore Off-Grid Messaging (by mtlynch) — discussion

#hardware

When software becomes fast food (by joaoqalves) — discussion

#ai

Go proposal: Type-safe error checking (via cgrinds) — discussion

#go

Addressing the adding situation (via invlpg) — discussion

#assembly #compilers

New AI slop signal: code blocks with weird indentation (via FedericoSchonborn) — discussion

#ai