Program Optimisations via Hylomorphisms for Extraction of Executable Code
drops.dagstuhl.de·8h·
Discuss: Hacker News
🏗️Calculus of Constructions
Compositional Interface Refinement Through Subtyping in Probabilistic Session Types
arxiv.org·9h
📞Session Types
Biconnected components
emi-h.com·1d·
Discuss: Hacker News, r/programming
🕸️Graph Algorithms
Reinforced Generation of Combinatorial Structures: Applications to Complexity Theory
arxiv.org·9h
🪢Rope Data Structures
Efficient Linearizability Monitoring
arxiv.org·9h
🔗Memory Linearization
Fault-Tolerant Logical Measurements via Homological Measurement
journals.aps.org·1h
🎯Bit-Vector Algorithms
Why Zig Feels More Practical Than Rust for Real-World CLI Tools
dayvster.com·3h·
Discuss: Hacker News, r/Zig
⚡Zig
connect-four-ai: A high-performance, perfect Connect Four solver
reddit.com·1d·
Discuss: r/rust
🧩Constraint Solvers
Supercharging Unit Test Generation with in-IDE TestSpark
blog.jetbrains.com·2h
🎲Test Generators
Why Does Concurrency Have to Be So Hard in Java After 20 Years?
dev.to·16h·
Discuss: DEV
🔗Concurrency Primitives
Adhesive category theory for graph rewriting in Rocq
arxiv.org·9h
🔗Category Theory
LongCat-Flash-Thinking, LLM from Meituan (China's Equivalent of Uber Eats)
github.com·5h·
Discuss: Hacker News
💬Interactive REPLs
Efficient & Correct Predictive Equivalence for Decision Trees
arxiv.org·9h
🌳Pattern Match Compilation
I Built a Compiler in Five Days with Claude AI
indiehackers.com·5h·
Discuss: Hacker News
🎭Program Synthesis
The Database Zoo: SQL, NoSQL, and the Rise of Specialized Engines
hackernoon.com·11h
🗄️Database Engines
Writing Our Own Structure: Tries in Haskell & Rust
mmhaskell.com·1d
🌿Trie Structures
Introduction to the special issue on selected work from the 31st International Symposium on the physical and failure analysis of integrated circuits (IPFA 2024)
sciencedirect.com·59m
🔌Microcontrollers
Computation of Graph Polynomials via Tree Decomposition: Theory, Algorithms, and Python Implementation
arxiv.org·9h
🧮Combinator Calculus
Transforming Recursion into Iteration for LLVM Loop Optimizations
dspace.mit.edu·1d·
Discuss: Hacker News, r/programming
📚Stack Allocation
Diagnosing Violations of State-based Specifications in iCFTL
arxiv.org·9h
🚂Error Propagation