🌊 Coalgebra

Coinduction, Bisimulation, Stream Calculus, Final Semantics

Ajla Tutorial
ajla-lang.cz·2d·
Discuss: Hacker News
🔬Static Analysis
Flag this post
Bedrock, a modular, WAN-replicated database based on SQLite
bedrockdb.com·15h·
Discuss: Hacker News
🌐ActivityPub
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·1d·
Discuss: Lobsters, Hacker News
🔢Algebraic Data Types
Flag this post
The Development of Pie
terathon.com·11h·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
Java's Agentic Framework Boom Is a Code Smell
gnanaguru.com·11h·
Discuss: Hacker News
💎Refinement Types
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·3d·
Discuss: Hacker News
🔬Static Analysis
Flag this post
Using the expand and contract pattern for schema changes
prisma.io·1d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
When Logs Become Chains: The Hidden Danger of Synchronous Logging
systemdr.substack.com·2h·
Discuss: r/programming
👁️System Observability
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·2d·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·2d
🧠Automated Reasoning
Flag this post
Automated Anomaly Detection & Root Cause Analysis in Complex System Simulations via Adaptive Bayesian Networks
dev.to·13h·
Discuss: DEV
👁️System Observability
Flag this post
Superhuman AI for Multiplayer Poker
science.org·12h·
Discuss: Hacker News
🎮Verification Games
Flag this post
Computing High-Frequency Factors in Real Time for Quantitative Models
medium.com·2d·
Discuss: Hacker News
🔄Finite State Machines
Flag this post
From hours to seconds: AI tools to detect animal calls
seangoedecke.com·3h·
Discuss: Hacker News
📚Automata Learning
Flag this post
Building UnisonDB a DynamoDB-Inspired Database in Go with 100+ Edge Replication
reddit.com·4h·
Discuss: r/golang
🔄Reproducible Builds
Flag this post
Building a GPT-5 Telegram Bot with Telegram Stars Monetization
dev.to·3h·
Discuss: DEV
🌐ActivityPub
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·2d·
Discuss: Hacker News
🔁Fixed-Point Theory
Flag this post
Linux/WASM
joelseverin.github.io·13h·
Discuss: Hacker News
🐳Containerization
Flag this post
Smaller Surfaces
nrempel.com·12h·
Discuss: Hacker News
💎Refinement Types
Flag this post
GIL and Race Condition in Python
dev.to·4h·
Discuss: DEV
⏰Timed Automata
Flag this post