🌊 Coalgebra

Coinduction, Bisimulation, Stream Calculus, Final Semantics

As a Rails dev, one thing you MUST know is Turbo Prefetching
rubycademy.com·2d·
Discuss: r/programming
📊Runtime Verification
Reticular Thalamic Activity and Autism Spectrum Disorders
science.org·2d·
Discuss: Hacker News
➡️Category Theory
Memory Integrity Enforcement: A complete vision for memory safety in Apple devices
security.apple.com·2d·
Discuss: Lobsters, Hacker News, r/hardware
🐫Embedded OCaml
Fil's Unbelievable Garbage Collector
fil-c.org·6d·
Discuss: Lobsters, Hacker News, r/programming
🧩Separation Logic
60-Lesson Course Curriculum : Hands-on System Design with Java Spring Boot
javatsc.substack.com·4d·
Discuss: r/programming
🧱Immutable Infrastructure
Rewriting Val Town's editor
blog.val.town·2d·
Discuss: Hacker News, Hacker News
⚙️PL Implementation
“GoLand Can Do That?” Ten Secret Superpowers You Might Not Know
blog.jetbrains.com·2d·
Discuss: Hacker News, r/golang
📐Denotational Semantics
Final Message: "Before the Battery Dies"
news.ycombinator.com·1d·
Discuss: Hacker News
🍎Apple
Understanding Motion and Relativity with Spacetime Diagrams
steuard.github.io·18h·
Discuss: Hacker News
➡️Category Theory
The Strangely Anthropic Form of Natural Laws
brianschrader.com·1d·
Discuss: Hacker News
➡️Category Theory
Show HN: A local first AI engine and orchestrator
krionis.com·3d·
Discuss: Hacker News
👁️System Observability
Matmul on Blackwell: Part 2 – Using Hardware Features to Optimize Matmul
modular.com·5d·
Discuss: Hacker News
🔧Unikernel Development
I built an ultra-fast, open-source Go web service for generating PDFs from HTML/JSON templates.
reddit.com·2d·
Discuss: r/programming
🔄Reproducible Builds
Anatomy of a Job Interview Scam
github.com·1d·
Discuss: Hacker News, r/webdev
🍎Apple
A Multi-Modal Deep Learning Framework for Colorectal Pathology Diagnosis: Integrating Histological and Colonoscopy Data in a Pilot Study
arxiv.org·2d
🐳Containerization
Application of discrete Ricci curvature in pruning randomly wired neural networks: A case study with chest x-ray classification of COVID-19
arxiv.org·2d
🧮Lambda Calculus
Flexible inference of learning rules from de novo learning data using neural networks
arxiv.org·3d
📚Automata Learning
Writing Code Is Easy. Reading It Isn't
idiallo.com·3d·
Discuss: Hacker News, r/programming
🔬Static Analysis
How To Upgrade Your MCP Server With Context Engineering
thenewstack.io·3d
💎Refinement Types
QualityFM: a Multimodal Physiological Signal Foundation Model with Self-Distillation for Signal Quality Challenges in Critically Ill Patients
arxiv.org·2d
🩹Self-Healing Systems