Equality Saturation, Program Optimization, Rewrite Systems, Compiler Backends

Arti 1.7.0 released: Onion service restricted discovery, experimental HTTP proxy, relay development, and more.
blog.torproject.orgยท21h
๐Ÿ”’Linear Types
Flag this post
Empirical Characterization Testing
blog.ploeh.dkยท7h
๐ŸงชProperty-Based Testing
Flag this post
Learning a Bit of VGA
usebox.netยท3hยท
Discuss: Hacker News
๐Ÿ•น๏ธRetro Gaming
Flag this post
Streamlining Multi-Account Infrastructure with AWS CloudFormation StackSets and AWS CDK
aws.amazon.comยท6h
๐Ÿ‘๏ธObservatory Systems
Flag this post
Linux/WASM
joelseverin.github.ioยท2dยท
๐Ÿ•ธ๏ธWASM Archives
Flag this post
@call_once python macro for unlimited recursion depth
dev.toยท3hยท
Discuss: DEV
๐Ÿฆ€Rust Macros
Flag this post
Ghosts in the Codex Machine
docs.google.comยท8hยท
Discuss: Hacker News
โœ…Archive Fixity
Flag this post
MCP Server Architecture: A Developer's Guide
dev.toยท5hยท
Discuss: DEV
โšกgRPC
Flag this post
Phased DMD: Few-step Distribution Matching Distillation via Score Matching within Subintervals
arxiv.orgยท16h
๐ŸŒ€Fractal Compression
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.orgยท3d
๐Ÿ“Log Parsing
Flag this post
Federico Biancuzzi, Shane Warden, & Anders Hejlsberg
deprogrammaticaipsum.comยท18h
๐ŸšNordic Shell
Flag this post
Cure โ€“ Verification-First Programming for the Beam
cure-lang.orgยท1dยท
Discuss: Hacker News
โš–๏ธVerification Calculi
Flag this post
DDD and the Simplicity Gospel
oluatte.comยท1dยท
๐Ÿ“Code Metrics
Flag this post
The Hardest Bug to Fix Is Ambiguity
dev.toยท16hยท
Discuss: DEV
โš–๏ธHoare Logic
Flag this post
Graph RAG vs SQL RAG
towardsdatascience.comยท2d
๐Ÿ“ŠGraph Databases
Flag this post
Learning Sparse Approximate Inverse Preconditioners for Conjugate Gradient Solvers on GPUs
arxiv.orgยท16h
๐Ÿ“Linear Algebra
Flag this post
Octocode MCP โ€“ AI Researcher for Smart, Deep Multi-Repo Code Context
github.comยท13hยท
Discuss: Hacker News
๐Ÿ”„Sync Engine
Flag this post
Challenges in Credit Assignment for Multi-Agent Reinforcement Learning in Open Agent Systems
arxiv.orgยท16h
๐Ÿ”ฒCellular Automata
Flag this post
From searching to solving: how Vector Databases transform product discovery
dev.toยท12hยท
Discuss: DEV
๐Ÿ”Semantic Search
Flag this post
MCP standard
dev.toยท1dยท
Discuss: DEV
๐ŸบProtocol Archaeology
Flag this post