🌊 Coalgebra

Coinduction, Bisimulation, Stream Calculus, Final Semantics

Advice for a 4-node Spark Cluster for PhD Project - Mini PC vs. Tower Thermals?
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Write Better with Vale
pragprog.com·3h·
Discuss: Hacker News
✓Automated Theorem Proving
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
Can Your Team Pass the Elevator Test? (2007)
blog.codinghorror.com·8h·
Discuss: Hacker News
🧪Property-Based Testing
Kerberoasting
blog.cryptographyengineering.com·6h·
Discuss: Lobsters, Hacker News
🛡️seL4
(Republished from 2021): Your legacy database is outgrowing itself
unstructedtech.com·3d·
Discuss: Hacker News
👁️System Observability
Why I'm lukewarm on graph neural networks
singlelunch.com·1d·
Discuss: Hacker News
📚Automata Learning
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·4d·
Discuss: Hacker News
💾Retro Computing
Show HN: Inertia – A keyframe animation editor for mobile apps
github.com·17h·
Discuss: Hacker News
🍎Apple
NPM debug and chalk packages compromised
aikido.dev·2d·
Discuss: Hacker News, r/linux, r/node, r/programming, r/webdev
🍎Apple
Show HN: Robot MCP Server – Connect Any Language Model and ROS Robots Using MCP
github.com·5h·
Discuss: Hacker News
🏠HomeLab
Idle thoughts about how we replace keyboards
interconnected.org·3h·
Discuss: Hacker News
🍎Apple
The Last Programmers
xipu.li·2d·
Discuss: Lobsters, Hacker News, Hacker News
🔄Reproducible Builds
AI Development Is Stuck in 1996. Here’s How to Get to the Future.
thenewstack.io·1d
🧩Parser Combinators
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
VariSAC: V2X Assured Connectivity in RIS-Aided ISAC via GNN-Augmented Reinforcement Learning
arxiv.org·1d
🩹Self-Healing Systems
Analyzing Finnish Inflectional Classes through Discriminative Lexicon and Deep Learning Models
arxiv.org·2d
📚Automata Learning