Efficient Volume Computation for SMT Formulas
arxiv.org·1d
🧮SMT Solvers
Linkage from Toronto
11011110.github.io·9h
📐Mathematical Art
The theorem on formal functions
math.columbia.edu·7h
⚔️Lean Theorem
Typechecker Zoo
stephendiehl.com·1d·
Discuss: Lobsters
🔍Type Inference
GSlip – GNU SLIP (Symmetric LIst Processor) in C++
gnu.org·2d·
Discuss: Hacker News
✅Format Verification
Fabian Franklin's Beautiful Proof of the Pentagonal Theorem
pballew.blogspot.com·22h·
Discuss: www.blogger.com
🔢Reed-Solomon Math
Abstract algebra structures made easy
blog.sesse.net·9h
🔀Category Theory
Which OS for my first NAS - ProxMox vs TrueNAS?
reddit.com·7h·
Discuss: r/homelab
🏠HomeLab
Adaptive Fault-Tolerant Antenna Array Synthesis via Bayesian Optimization and Reinforcement Learning
dev.to·16h·
Discuss: DEV
🛡️Error Boundaries
Knowledge and Common Knowledge in a Distributed Environment, Part 1
emptysqua.re·2d
🔲Cellular Automata
Governing AGI: Model laws, chip wars, and sovereign AI
freethink.com·5h
🔲Cellular Automata
Predicted 'neglectons' hold promise for robust, universal quantum computing
physicsworld.com·1d·
Discuss: Hacker News
🕸️Tensor Networks
New Physics-Inspired Proof Probes the Borders of Disorder
quantamagazine.org·14h
🕸️Tensor Networks
Go go goroutines
bitfieldconsulting.com·19h
🧠Program Logic
Writing an LLM from scratch - Tutorial series
gilesthomas.com·1d
💻Local LLMs
Normal Computing tapes out the world's first thermodynamic chip for AI and scientific computing
techspot.com·13h
⚡Hardware Transactional Memory
Retirement party
cameroncounts.wordpress.com·1d
⚔️Lean Theorem
Running Faucets Detection and Alert Systems
hackster.io·22h
🎙️Whisper
Linear scan register allocation on SSA
bernsteinbear.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🚀Compiler Optimizations
Multiple Reachability in Linear Dynamical Systems
arxiv.org·23h
🔄Finite State Machines