🌊 Coalgebra

Coinduction, Bisimulation, Stream Calculus, Final Semantics

Hungry Hungry Hippos Autoplay
mikekohn.net·1d·
Discuss: Hacker News
💻CS
Test-Driven Infrastructure
maxdaten.io·2d·
Discuss: Hacker News
🔄Reproducible Builds
I Was Wrong: Start Simple, Then Move to More Complex
charles-frenzel.medium.com·1d·
Discuss: Hacker News
🔠Type-Level Programming
Simplify and accelerate logs and search with Aiven for OpenSearch
aiven.io·1d·
Discuss: Hacker News
🔧Unikernel Development
Answering some questions about Baba Yaga
eli.li·6d·
Discuss: Hacker News
💎Refinement Types
What I Learned Rebuilding Search Three Times
nsavage.substack.com·1d·
Discuss: Substack
🔠Type-Level Programming
Introduction to Ada: a project-based exploration with rosettas
blog.adacore.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🔬Static Analysis
I used an AI triage bot to close 85 GitHub issues in a weekend
bagerbach.com·18h·
Discuss: Hacker News
🔬Static Analysis
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
Moe Inference Economics from First Principles
tensoreconomics.com·3d·
Discuss: Hacker News
🍎XNU Internals
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
RoguelikeDev Does the Complete Roguelike Tutorial 2025 in Odin
github.com·2d·
Discuss: Hacker News
🎮Verification Games
The Lifecycle Principle: Stabilizing Dynamic Neural Networks with State Memory
arxiv.org·2d
🩹Self-Healing Systems
Hledger v1.50
github.com·2d·
Discuss: Lobsters, Hacker News, Hacker News
🧠Automated Reasoning
Fair Resource Allocation for Fleet Intelligence
arxiv.org·2d
🧩Separation Logic
Learning Mechanism Underlying NLP Pre-Training and Fine-Tuning
arxiv.org·2d
📚Automata Learning
Knowledge Integration for Physics-informed Symbolic Regression Using Pre-trained Large Language Models
arxiv.org·2d
🧩Parser Combinators
When LLM Meets Time Series: Can LLMs Perform Multi-Step Time Series Reasoning and Inference
arxiv.org·3d
📚Automata Learning