🌊 Coalgebra

Coinduction, Bisimulation, Stream Calculus, Final Semantics

Sheafification - The optimal path to mathematical mastery
sheafification.com·3d·
Discuss: Hacker News
➡️Category Theory
A Random Walk in 10 Dimensions (2021)
galileo-unbound.blog·3h·
Discuss: Hacker News
🧮Lambda Calculus
Show HN: I Made an ESP32 On-Call Beeper
techsquidtv.com·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Door at Launch: Design Review of an LLM-Driven Story Game
ianbicking.org·2h·
Discuss: Hacker News
🎮Verification Games
Tripping Around REPL
vlaaad.github.io·2d·
Discuss: Hacker News
🛡️seL4
C Tooling
tomscheers.github.io·22h·
Discuss: Hacker News, r/C_Programming
🔬Static Analysis
Robust Deep Monte Carlo Counterfactual Regret Minimization: Addressing Theoretical Risks in Neural Fictitious Self-Play
arxiv.org·14h
🎮Verification Games
A Fluid Antenna Enabled Physical Layer Key Generation for Next-G Wireless Networks
arxiv.org·14h
🐫OCaml
A General Framework of Epistemic Forgetting and its Instantiation by Ranking Functions
arxiv.org·2d
🧠Automated Reasoning
Unnoticeable Community Deception via Multi-objective Optimization
arxiv.org·14h
🩹Self-Healing Systems
Test-Driven Development Is Stupid
geometrian.com·1d·
Discuss: Hacker News
🧪Property-Based Testing
Maximum entropy temporal networks
arxiv.org·14h
📚Automata Learning
A Multi-target Bayesian Transformer Framework for Predicting Cardiovascular Disease Biomarkers during Pandemics
arxiv.org·14h
🧮Lambda Calculus
SimulMEGA: MoE Routers are Advanced Policy Makers for Simultaneous Speech Translation
arxiv.org·14h
🧩Parser Combinators
LLMs and their Limited Theory of Mind: Evaluating Mental State Annotations in Situated Dialogue
arxiv.org·14h
🧩Parser Combinators
DeepSeek performs better than other Large Language Models in Dental Cases
arxiv.org·14h
🧩Parser Combinators
Near-Duplicate Text Alignment under Weighted Jaccard Similarity
arxiv.org·14h
🧮Lambda Calculus
On the Alignment of Large Language Models with Global Human Opinion
arxiv.org·14h
🧩Parser Combinators
Towards Agents That Know When They Don't Know: Uncertainty as a Control Signal for Structured Reasoning
arxiv.org·14h
🧠Automated Reasoning
Extracting OPQRST in Electronic Health Records using Large Language Models with Reasoning
arxiv.org·14h
🧩Parser Combinators