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

The Mechanism of Mineral Nucleation and Growth in a Mini-Ferritin
pubs.acs.org·23h·
Discuss: Hacker News
Effect Inference
[$] 6.18 merge window, part 1
lwn.net·1d
🛡️Error Boundaries
State-Compute Replication: Parallelizing High-Speed Stateful Packet Processing
danglingpointers.substack.com·7h·
Discuss: Substack
📡Protocol Stacks
Learning about Rust Benchmarking with Sudoku from 5 minutes to 17 seconds
medium.com·4h·
Discuss: Hacker News
🧸Toy Compilers
The Inverse Matrix problem
talesfrom.dev·1d
🚂Error Propagation
Hardware Stockholm Syndrome
programmingsimplicity.substack.com·22h·
Discuss: Substack
🖥️Minimal VMs
Alias and references as localized macros
gustedt.wordpress.com·9h·
Discuss: Hacker News
🪄C Metaprogramming
Rust unit testing: test doubles & stubs
reddit.com·6h·
Discuss: r/rust
🎲Test Generators
💎 Day 5 of 30 Days of Solidity — Build a Treasure Chest Contract
github.com·2d·
Discuss: DEV
🔀SSA Form
PsycholexTherapy: Simulating Reasoning in Psychotherapy with Small Language Models in Persian
arxiv.org·18h
🔍ML Language
Your-Projects-a-Mess-Its-Not-You-Its-Your-Frameworks-Fault
dev.to·3h·
Discuss: DEV
📦Monorepos
Java Backend Coding Technology: Writing Code in the Era of AI #Version 1.1
dev.to·1d·
Discuss: DEV
🎮Language Ergonomics
Learning to Route: A Rule-Driven Agent Framework for Hybrid-Source Retrieval-Augmented Generation
arxiv.org·1d
📋Souffle Datalog
Inverse Mixed-Integer Programming: Learning Constraints then Objective Functions
arxiv.org·18h
🧩Constraint Solvers
Nonlocality-enabled photonic analogies of parallel spaces, wormholes and multiple realities
nature.com·22h
🔍Lens Libraries
The Tower of Babel in Reverse
lesswrong.com·1h
💫Effect Systems
Tired of data dashboards that are beautiful but complex? Or powerful but impossible to use?
dev.to·8h·
Discuss: DEV
🌳B+ Trees
Efficient Quantum Hermite Transform
arxiv.org·18h
Partial Evaluation
4 Major Types of API Architectural Styles
dev.to·1d·
Discuss: DEV
🔧API Design
r/LLMleaderboard
reddit.com·9h·
🏠indieweb