🌊 Coalgebra

Coinduction, Bisimulation, Stream Calculus, Final Semantics

What is your take on Event Sourcing? How hard was it for you to get started?
martinfowler.com·2d·
Discuss: r/programming
👁️System Observability
Which OAuth Flow Should You Use?
nimblesa.com·19h·
Discuss: Hacker News
🌐NetworkProtocols
HiTex: A spam factory for AI-generated books
laurent.le-brun.eu·15h·
Discuss: Hacker News
🐫OCaml
All You Need Is SSH
wrongthink.link·1d·
Discuss: Lobsters, Hacker News
🖥Self-Hosting
Can Your Team Pass the Elevator Test? (2007)
blog.codinghorror.com·1d·
Discuss: Hacker News
🧪Property-Based Testing
Kerberoasting
blog.cryptographyengineering.com·1d·
Discuss: Lobsters, Hacker News
🛡️seL4
Stop writing CLI validation. Parse it right the first time
hackers.pub·4d·
Discuss: Lobsters, Hacker News, r/programming, r/typescript
🛡️seL4
The Progress of the Model Context Protocol (MCP) with John Capobianco [audio]
packetpushers.net·4d·
Discuss: Hacker News
⚙️Operating System Design
Cybercrooks ripped the wheels off at Jaguar Land Rover. Here's how not to get taken for a ride
theregister.com·1d·
Discuss: Hacker News
🩹Self-Healing Systems
NPM debug and chalk packages compromised
aikido.dev·2d·
Discuss: Hacker News, r/linux, r/node, r/programming, r/webdev
🍎Apple
Identifying rack-mountable drive chassis
reddit.com·2h·
Discuss: r/homelab
🏠HomeLab
Idle thoughts about how we replace keyboards
interconnected.org·21h·
Discuss: Hacker News
🍎Apple
Show HN: D-Tale, easy to use GUI for Pandas data structures
github.com·2d·
Discuss: Hacker News
🐳Containerization
Benchmarking GPT-5 for biomedical natural language processing
arxiv.org·3d
🧩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·2d
🩹Self-Healing Systems
Analyzing Finnish Inflectional Classes through Discriminative Lexicon and Deep Learning Models
arxiv.org·3d
📚Automata Learning
You too can run malware from NPM (I mean without consequences)
github.com·2d·
Discuss: Hacker News
🐳Containerization
A Stroke-Level Large-Scale Database of Chinese Character Handwriting and the OpenHandWrite_Toolbox for Handwriting Research
arxiv.org·2d
📚Automata Learning
What can I do with this?
reddit.com·5h·
Discuss: r/homelab
🏠HomeLab