Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
arxiv.org·23h
⚖️Verification Calculi
Flag this post
Looking for a good course to learn proof assistant Lean 4
news.ycombinator.com·17h·
Discuss: Hacker News
🔬Lean
Flag this post
Bridging the Abstraction Gap: Formalizing Complex Systems with AI by Arvind Sundararajan
dev.to·5h·
Discuss: DEV
✅Formal Methods
Flag this post
Smoothsort Demystified
keithschwarz.com·9h·
Discuss: Hacker News
🌳Trie Structures
Flag this post
AI math genius delivers 100% accurate results
phys.org·13h
🧮SMT Solvers
Flag this post
How the PolyBlocks AI Compiler Works
docs.polymagelabs.com·1d·
Discuss: Hacker News
🧮Compute Optimization
Flag this post
Odd-Cycle-Packing-treewidth: On the Maximum Independent Set problem in odd-minor-free graph classes
arxiv.org·23h
🎨Graph Coloring
Flag this post
Convergence vs. Consensus in Distributed Systems
gowthamk.github.io·6h·
Discuss: Hacker News
🤝Distributed Consensus
Flag this post
Intro to Routing: Mixture-of-Experts and Expert Choice
neelsomaniblog.com·5h·
Discuss: Hacker News
🧮Kolmogorov Bounds
Flag this post
Human or Machine? Low-Latency Audio Detection of Humans at Scale
nooks.ai·1d·
Discuss: Hacker News
🌊Stream Processing
Flag this post
Tony Hoare and negative space
sicpers.info·2d·
Discuss: Hacker News
⚖️Hoare Logic
Flag this post
A new quantum toolkit for optimization
research.google·1d·
Discuss: Hacker News
⚛️Quantum Algorithms
Flag this post
MySQL COUNT Scalar Subquery Optimization: The Complete Guide
dev.to·1d·
Discuss: DEV
🚀Query Optimization
Flag this post
Coinbase Ventures-Backed Supra Offers $1M Bounty to Beat Its Parallel EVM Execution Engine
hackernoon.com·8h
🌳Archive Merkle Trees
Flag this post
Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking
arxiv.org·2d
🧮Constraint SMT
Flag this post
Scheduling in LLM Inference
fergusfinn.com·20h·
Discuss: Hacker News
💻Local LLMs
Flag this post
The curious case of broken theorems
davidbessis.substack.com·4h·
Discuss: Substack
🏗️Constructive Analysis
Flag this post
From ETL to AI(e)tl: Rethinking Data Pipelines for the AI Era
evanvolgas.substack.com·5h·
Discuss: Substack
⚙️Batch Processing
Flag this post
Fluidware – an essay on software in the age of generative abundance
createdbyhonesty.com·11h·
Discuss: Hacker News, r/SoftwareEngineering
📏Code Metrics
Flag this post
Semi-Algebraic Proof Systems for QBF
arxiv.org·2d
👑Coq Tactics
Flag this post