Stream Fusion, Deforestation, Foldr/Build, GHC Rewrite Rules

Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·19h
🎲Parser Fuzzing
A case for learning GPU programming with a compute-first mindset – Maister's Gr
themaister.net·12h·
🔗Language Toolchains
A Complex Qutrit Inside an Octonionic One
golem.ph.utexas.edu·6h
🔶Lattice Theory
The Mechanism of Mineral Nucleation and Growth in a Mini-Ferritin
pubs.acs.org·59m·
Discuss: Hacker News
Effect Inference
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·1d·
Discuss: Hacker News
💬Interactive REPLs
Does anything people ask "surprise" the LLMs?
preview.redd.it·1h·
Discuss: r/LLM
⚖️Inference Rules
The Stack Unpacked Episode 4: to Query or Not to Query
dev.to·11h·
Discuss: DEV
🗄️Database Engines
[$] 6.18 merge window, part 1
lwn.net·5h
🛡️Error Boundaries
In calculus, going from a single variable to millions of variables is hard.
threadreaderapp.com·1d
🧮Combinator Calculus
When to Use Zod, TypeScript, or Both: A Developer’s Guide
blog.logrocket.com·10h
🛡️Error Ergonomics
Claude Code uses WebFetch vs. WebSearch (observations, schemas, prompts)
mikhail.io·2h·
Discuss: Hacker News
💬Interactive REPLs
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·19h
📱Bytecode Design
Fun with HyperLogLog and SIMD
vaktibabat.github.io·2d·
🔢Bit Manipulation
Cactus Language • Semantics 1
inquiryintoinquiry.com·7h
📋Backus-Naur Form
Python is adding Zstandard to the standard library in 3.14
discuss.python.org·13h·
Discuss: Hacker News
🪄Macros
A very short, very blunt, book note
logicmatters.net·6h
🔗Concatenative Theory
Unlocking Uniqueness: Mastering the Unique Character Algorithm in Go
dev.to·8h·
Discuss: DEV
🌿Trie Variants
Beyond-env-A-Grown-Ups-Guide-to-Application-Configuration
dev.to·5h·
Discuss: DEV
Configuration Validation
µs Human-Readable IDs: A Performance Journey
dev.to·11h·
Discuss: DEV
📋JSON Parsing