Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·2h·
Discuss: Hacker News
🎯Interactive Provers
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·1d
🧠Computational Logic
News for June 2025
ptreview.sublinear.info·1d
🕸️Graph Algorithms
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
We Built a Private Algorand Network to Crack the Code of Transaction Ordering
hackernoon.com·8h
🤝Consensus Algorithms
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·1d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
Machine Learning Fundamentals: decision trees project
dev.to·9h·
Discuss: DEV
🔗Topological Sorting
New Benchmark suite for analytical DBs using real-world SQL queries
github.com·7h·
Discuss: Hacker News
📝Database WAL
Computer Architecture: A quantitative approach
ikerexxe.github.io·1d
🖥️Hardware Architecture
Binary Search in a 2D Matrix
mmhaskell.com·1d
📐Error Bounds
Reflecting on PLDI 2025
people.csail.mit.edu·2d·
Discuss: Hacker News
🌐Protocol Synthesis
Students, here are 5 key things to know when learning how to train large language models
techradar.com·7h
💻Local LLMs
Billions of Edges per Second with Postgres
onesparse.com·5h·
Discuss: Hacker News
🗜️Graph Compression
maxsim-cpu: Maximising Maxsim Efficiency
mixedbread.com·1d·
Discuss: Hacker News
🌊Streaming Algorithms
Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers
arxiv.org·20h
✨Algebraic Effects
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
A Practical Two-Stage Recipe for Mathematical LLMs: Maximizing Accuracy with SFT and Efficiency with Reinforcement Learning
arxiv.org·1d
💻Local LLMs
For Algorithms, Memory Is a Far More Powerful Resource Than Time
wired.com·2d·
Discuss: Hacker News, Hacker News, Hacker News
🧮Theoretical Computer Science
Building High-Performance GraphQL Servers in Golang with Optimized Resolver Patterns
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Minimum-Peak-Cost Flows Over Time
arxiv.org·20h
🧠Query Planners