🌊 Coalgebra

Coinduction, Bisimulation, Stream Calculus, Final Semantics

Which OAuth Flow Should You Use?
nimblesa.com·7h·
Discuss: Hacker News
🌐NetworkProtocols
HiTex: A spam factory for AI-generated books
laurent.le-brun.eu·3h·
Discuss: Hacker News
🐫OCaml
All You Need Is SSH
wrongthink.link·1d·
Discuss: Lobsters, Hacker News
🖥Self-Hosting
Go Is the Language of Vibe Coding
sinwoobang.notion.site·2d·
Discuss: Hacker News
💎Refinement Types
The Progress of the Model Context Protocol (MCP) with John Capobianco [audio]
packetpushers.net·3d·
Discuss: Hacker News
⚙️Operating System Design
Money for Nothing, Chips for Free
phrack.org·5d·
Discuss: Hacker News
💾Retro Computing
Show HN: Inertia – A keyframe animation editor for mobile apps
github.com·23h·
Discuss: Hacker News
🍎Apple
Cybercrooks ripped the wheels off at Jaguar Land Rover. Here's how not to get taken for a ride
theregister.com·17h·
Discuss: Hacker News
🩹Self-Healing Systems
A Multi-Modal Deep Learning Framework for Colorectal Pathology Diagnosis: Integrating Histological and Colonoscopy Data in a Pilot Study
arxiv.org·1d
🐳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·1d
🧮Lambda Calculus
Flexible inference of learning rules from de novo learning data using neural networks
arxiv.org·2d
📚Automata Learning
Idle thoughts about how we replace keyboards
interconnected.org·9h·
Discuss: Hacker News
🍎Apple
QualityFM: a Multimodal Physiological Signal Foundation Model with Self-Distillation for Signal Quality Challenges in Critically Ill Patients
arxiv.org·1d
🩹Self-Healing Systems
You too can run malware from NPM (I mean without consequences)
github.com·1d·
Discuss: Hacker News
🐳Containerization
Show HN: Robot MCP Server – Connect Any Language Model and ROS Robots Using MCP
github.com·12h·
Discuss: Hacker News
🏠HomeLab
The Last Programmers
xipu.li·2d·
Discuss: Lobsters, Hacker News, Hacker News
🔄Reproducible Builds
Difdef: Utility to do an N-way diff and N-way merge, for N>2
github.com·3d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
Benchmarking GPT-5 for biomedical natural language processing
arxiv.org·2d
🧩Parser Combinators
AI Development Is Stuck in 1996. Here’s How to Get to the Future.
thenewstack.io·1d
🧩Parser Combinators
VariSAC: V2X Assured Connectivity in RIS-Aided ISAC via GNN-Augmented Reinforcement Learning
arxiv.org·1d
🩹Self-Healing Systems