Scaling Postgres to the next level at OpenAI (via topicpartition) — discussion

#databases #video

Why formalize mathematics - more than catching errors (via evmar) — discussion

#math #plt

TXR Bytecode Optimization Case Study (via veqq) — discussion

#assembly #lisp

How Tailscale is improving NAT traversal (Part 1) (via yashgarg) — discussion

#networking

REAP: One-Shot Pruning for Trillion-Parameter Mixture-of-Experts Models (via asb) — discussion

#ai

Unix Executable as Smalltalk Method (via veqq) — discussion

#pdf #plt #unix

The Majority AI View (via drmorr) — discussion

#vibecoding

How we organized the Rust Clippy feature freeze (via BD103) — discussion

#historical #rust

When if is just a function (via veqq) — discussion

#programming

Every vibe-coded website is the same page with different words. So I made that page (by jkoppel) — discussion

#satire #vibecoding

Incremental Construction of Minimal Acyclic Finite-State Automata (2000) (via calvin) — discussion

#compsci #pdf

ASK: What are you reading this week? (by vlnn)

#ask #book #culture

Claude Skills may be a bigger deal than MCP (via weinzierl) — discussion

#ai

Compilation is communication (via matklad) — discussion

#practices

Ruby Central Statement on RubyGems & Bundler [moving to ruby GH namespace] (via schneems) — discussion

#ruby

Exceptions vs. status returns (2003) (via lr0) — discussion

#programming

Let's write a macro in Rust (via mond) — discussion

#rust

Bundler 2.6: Enhanced Security with Built-in Checksum Verification (via MatheusRich) — discussion

#ruby

jj part 4: configuration (via prattmic) — discussion

#vcs

The World's Fastest Scrabble Program (1988) (via calvin) — discussion

#compsci #games #pdf