Is math discovered or invented?
mathwithbaddrawings.com·16h
📐Mathematical Art
Quality Precision
lesswrong.com·9h·
Discuss: Hacker News
✅FLAC Verification
Automated Semantic Disambiguation via Multi-Modal Knowledge Graph Fusion
dev.to·1d·
Discuss: DEV
✓Automated Theorem Proving
Enclosures that minimize the sum of area and perimeter
11011110.github.io·9h
📊Computational Geometry
Derek Elkins: Arithmetic Functions
hedonisticlearning.com·3d·
Discuss: Hacker News
⚔️Lean Theorem
A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Functional Compilers
Review: The Mathematician’s Library, by Thomas K. Briggs
aperiodical.com·11h
📐Mathematical Art
Nullable vs. Nullable in C#
einarwh.no·9h·
Discuss: Lobsters, Hacker News, r/programming
✅Format Verification
Typeclassopedia
wiki.haskell.org·1d·
Discuss: Hacker News
🧬Functional Programming
Fair Auctions, Automata Routing, and Rebalancing for Distributed Mobility‑On‑Demand Assignment
hackernoon.com·5h
🎯Performance Proofs
The Science of Intelligent Exploration: Why We Need Exploration in AI
richardcsuwandi.github.io·1d·
Discuss: Hacker News
🔲Cellular Automata
‘Ten Martini’ Proof Uses Number Theory to Explain Quantum Fractals
quantamagazine.org·13h
📐Mathematical Art
Capture Checking in Scala
nrinaudo.github.io·22h·
Discuss: Hacker News
🧪Binary Fuzzing
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·1d
🧪Binary Fuzzing
The MiniPC Revolution
jadarma.github.io·10h·
Discuss: Hacker News
🖥️Modern Terminals
Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·13h·
Discuss: Hacker News
⚡Hardware Transactional Memory
Stable, Mutable References for Ante
antelang.org·14h·
Discuss: Hacker News, r/programming
🔒Type Safety
The MLOps Maturity Playbook: Practical Steps to Production-Ready ML
blog.devops.dev·15h
🔄Reproducible Builds
Mini-Omni-Reasoner: Token-Level Thinking-in-Speaking in Large Speech Models
arxiv.org·23h
🎙️Whisper
noble-curves: audited and minimal elliptic curve cryptography in JavaScript
github.com·9h·
Discuss: Hacker News
🔱Galois Cryptography