Space-Deniable Proofs
eprint.iacr.org·1d
📜Proof Languages
OnePiece: Bringing Context Engineering and Reasoning to Industrial Cascade Ranking System
arxiv.org·9h
🏷️Attribute Grammars
X Design Notes: Pattern Matching II
blog.polybdenum.com·1d
🎯Pattern Matching
MicroAlloc
bogdanthegeek.github.io·1d
🧠Memory Allocators
Rustchain: Transpile Anything Into Rust (and Back Out Again)
reddit.com·10h·
Discuss: r/programming
🏗️Cranelift
AI Evals: Why Generic Metrics Hurt Your Product
decodingml.substack.com·2h·
Discuss: Substack
📊Code Metrics
Towards Cost-Effective ZK-Rollups: Modeling and Optimization of Proving Infrastructure
arxiv.org·9h
🧮Theorem Provers
Intersection and Union Hierarchies of Deterministic Context-Free Languages and Pumping Lemmas
arxiv.org·9h
🎯Finite Automata
Replacing clojure-lsp with clj-kondo and Refactor-nREPL
andreyor.st·1d
🔮Clojure
WarpSpeed: A High-Performance Library for Concurrent GPU Hash Tables
arxiv.org·9h
🔗Hash Algorithms
Adaptive Parametric Facade Optimization via Generative Design & Multi-Objective Simulation
dev.to·5h·
Discuss: DEV
🎭Program Synthesis
Speeding Up NestJS Tests with DB Transactions
medium.com·20h·
Discuss: Hacker News
🧪Compiler Testing
RelRepair: Enhancing Automated Program Repair by Retrieving Relevant Code
arxiv.org·9h
🩺Compiler Diagnostics
A non-smooth regularization framework for learning over multitask graphs
arxiv.org·9h
🪜Recursive Descent
VerilogMonkey: Exploring Parallel Scaling for Automated Verilog Code Generation with LLMs
arxiv.org·9h
🔬Nanopasses
parSAT: Parallel Solving of Floating-Point Satisfiability
arxiv.org·9h
🧩SAT Solvers
Everything you need to know about monorepos, and the tools to build them
monorepo.tools·1d·
Discuss: Hacker News
📦Monorepos
GraphMend: Code Transformations for Fixing Graph Breaks in PyTorch 2
arxiv.org·9h
🚂Cranelift IR
Optimising A Rust Keyboard Firmware's Key Storage Implementation by Flattening Tree-like Structs
rgoulter.com·3h·
Discuss: r/rust
🦀MIR Optimization
How Meta Animates Billions of AI-generated Images
blog.bytebytego.com·21h
🎭Program Synthesis