🌊 Coalgebra

Coinduction, Bisimulation, Stream Calculus, Final Semantics

The Mathematics of Catenary
alanzucconi.com·18h·
Discuss: Hacker News
🏹Effect Systems
Hungry Hungry Hippos Autoplay
mikekohn.net·1d·
Discuss: Hacker News
💻CS
How the Math of Shuffling Cards Almost Brought Down an Online Poker Empire
scientificamerican.com·14h·
Discuss: Hacker News
🎮Verification Games
Testing the not-so-happy path
jorgeortiz.dev·3d·
Discuss: r/rust
🧪Property-Based Testing
Simplify and accelerate logs and search with Aiven for OpenSearch
aiven.io·1d·
Discuss: Hacker News
🔧Unikernel Development
What I Learned Rebuilding Search Three Times
nsavage.substack.com·1d·
Discuss: Substack
🔠Type-Level Programming
The Grounded Turing Test
whattotelltherobot.com·1d·
Discuss: Hacker News
📚Automata Learning
Introduction to Ada: a project-based exploration with rosettas
blog.adacore.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🔬Static Analysis
Beyond OOP and the future of development experience
bennett.ink·3d·
Discuss: r/programming
📊Runtime Verification
Diverse Unionable Tuple Search: Novelty-Driven Discovery in Data Lakes [Technical Report]
arxiv.org·3d
📝Term Rewriting
Automated Wildfire Damage Assessment from Multi view Ground level Imagery Via Vision Language Models
arxiv.org·3d
🧩Parser Combinators
LINKER: Learning Interactions Between Functional Groups and Residues With Chemical Knowledge-Enhanced Reasoning and Explainability
arxiv.org·2d
➡️Category Theory
I used an AI triage bot to close 85 GitHub issues in a weekend
bagerbach.com·13h·
Discuss: Hacker News
🔬Static Analysis
Line Graphs of Non-Word-Representable Graphs are Not Always Non-Word-Representable
arxiv.org·2d
📐Denotational Semantics
LegalChainReasoner: A Legal Chain-guided Framework for Criminal Judicial Opinion Generation
arxiv.org·3d
🧩Parser Combinators
Beyond Correctness: Harmonizing Process and Outcome Rewards through RL Training
arxiv.org·2d
🎮Verification Games
Reasoning Vectors: Transferring Chain-of-Thought Capabilities via Task Arithmetic
arxiv.org·3d
🧩Parser Combinators
Gaussian process surrogate with physical law-corrected prior for multi-coupled PDEs defined on irregular geometry
arxiv.org·2d
🐫OCaml
CARPO: Leveraging Listwise Learning-to-Rank for Context-Aware Query Plan Optimization
arxiv.org·2d
🧩Parser Combinators
Lagrangian Relaxation for Multi-Action Partially Observable Restless Bandits: Heuristic Policies and Indexability
arxiv.org·3d
🩹Self-Healing Systems