🌊 Coalgebra

Coinduction, Bisimulation, Stream Calculus, Final Semantics

Swedish Fish: When McMaster-Carr Is Missing a CAD Model
andrewbirkel.com·21h·
Discuss: Hacker News
💾Retro Computing
Statement: The Russell-Einstein Manifesto
pugwash.org·2d·
Discuss: Hacker News
📡Network Protocol Design
A Geometric Technique for Evaluating Integrals
cantorsparadise.com·2d·
Discuss: Hacker News
🏹Effect Systems
From Wind Energy to Pet Health AI: Why I Built PetCoach.ai
petcoach.ai·2d·
Discuss: DEV, Hacker News
🩹Self-Healing Systems
I Completed Mathematics for Machine Learning
frankhecker.com·2d·
Discuss: Hacker News
➡️Category Theory
Esoteric Languages Challenge Coders to Think Way Outside the Box
spectrum.ieee.org·2d·
Discuss: Hacker News, r/technews
💎Refinement Types
What I learned managing an AI developer while seeking enlightenment
pocha.substack.com·1d·
Discuss: Substack
🔄Reproducible Builds
AI and Software Productivity
arnoldkling.substack.com·12h·
Discuss: Substack
👁️System Observability
AI Agents Security: The on-behalf-of concept
ayende.com·1d·
Discuss: Hacker News
🛡️seL4
LINKER: Learning Interactions Between Functional Groups and Residues With Chemical Knowledge-Enhanced Reasoning and Explainability
arxiv.org·3d
➡️Category Theory
Are LLM Agents the New RPA? A Comparative Study with RPA Across Enterprise Workflows
arxiv.org·2d
✓Automated Theorem Proving
Mu Puzzle
en.wikipedia.org·3d·
Discuss: Hacker News
🧮Lambda Calculus
Compressed verification for post-quantum signatures with long-term public keys
arxiv.org·3d
🌐NetworkProtocols
Beyond Vibe Coding: A practical guide to AI-assisted development
beyond.addy.ie·20h·
Discuss: Hacker News
🤖Program Synthesis
Beyond Correctness: Harmonizing Process and Outcome Rewards through RL Training
arxiv.org·3d
🎮Verification Games
Reasoning Vectors: Transferring Chain-of-Thought Capabilities via Task Arithmetic
arxiv.org·4d
🧩Parser Combinators
CARPO: Leveraging Listwise Learning-to-Rank for Context-Aware Query Plan Optimization
arxiv.org·3d
🧩Parser Combinators
Multimodal Proposal for an AI-Based Tool to Increase Cross-Assessment of Messages
arxiv.org·2d
🧩Parser Combinators
PHP MCP SDK: official client/server framework for MCP
github.com·21h·
Discuss: Hacker News
🛡️seL4
RoguelikeDev Does the Complete Roguelike Tutorial 2025 in Odin
github.com·3d·
Discuss: Hacker News
🎮Verification Games