🌊 Coalgebra

Coinduction, Bisimulation, Stream Calculus, Final Semantics

How to Use RTSP Protocol in Browsers and Why Direct Integration Isn't Possible
red5.net·21h·
Discuss: Hacker News
🌐NetworkProtocols
NIST Revises Security & Privacy Control Catalog for Software Updates & Patches
nist.gov·46m·
Discuss: Hacker News
🔤DSLs
Show HN: Convert Google Sheets to Code
sheet2code.com·2d·
Discuss: Hacker News
🔬Static Analysis
Show HN: Briced – AI Native CRM
briced.com·1d·
Discuss: Hacker News
🍎Apple
How did MVC get so F'ed up?
stlab.cc·3d·
Discuss: Hacker News
🏹Effect Systems
When Monitoring Breaks Your Front End Performance
differentshelf.com·1d·
Discuss: Hacker News
👁️System Observability
How to Write a Crash Reporter
gamesbymason.com·3d·
Discuss: Hacker News
📊Runtime Verification
How to (actually) become an expert in .NET
mijailovic.net·3d·
Discuss: r/AskProgramming, r/programming
🔄Reproducible Builds
Stress testing Biome's noFloatingPromises lint rule
vercel.com·6d·
Discuss: Hacker News
💎Refinement Types
GLM 4.5 with Claude Code is a killer combination
docs.z.ai·4d·
Discuss: Hacker News
🐫OCaml
Show HN: Claude Context but local – semantic code search without API keys
github.com·2d·
Discuss: Hacker News, r/ClaudeAI, r/LocalLLaMA
🔧Unikernel Development
We built an Artificial Brain that forms memories, generate original thoughts
github.com·7h·
Discuss: Hacker News
📚Automata Learning
LLM Chat Scraper – AI Share URL Extractor
github.com·2h·
Discuss: Hacker News
🧩Parser Combinators
Show HN: Production Manager App – Offline Payroll and Job Tracker (.exe)
github.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Multi-modal Uncertainty Robust Tree Cover Segmentation For High-Resolution Remote Sensing Images
arxiv.org·2d
🧩Separation Logic
Emotionally-Aware Agents for Dispute Resolution
arxiv.org·2d
🧩Parser Combinators
Vibe Coding vs. Spec-Driven Development
redmonk.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
Cargo-remark: view LLVM optimization remarks for Rust
github.com·2d·
Discuss: Hacker News
🛡️seL4
Manifesto for AI Software Development: Code Is Cattle, Not Pets
metamagic.substack.com·2d·
Discuss: Substack
🤖Program Synthesis
Logic Theorist
en.wikipedia.org·4d·
Discuss: Hacker News
🧠Automated Reasoning