Nick Clegg and Tim Berners-Lee: the battle for the soul of the Internet
observer.co.uk·13h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
VMware's in court again. Customer relationships rarely go this wrong
theregister.com·7h·
Discuss: Hacker News
🖥Self-Hosting
Debugging a Dropped Async Task
slugcat.systems·1d·
Discuss: Lobsters, Hacker News, r/programming
📊Runtime Verification
Stop chatting Constrained VS Unconstrained LLM use cases
medium.com·42m·
Discuss: Hacker News
💎Refinement Types
Learning General Policies From Examples
arxiv.org·4d
📚Automata Learning
Vibe Coding Fiasco: AI Agent Goes Rogue, Deletes Company's Database
pcmag.com·15h·
Discuss: Hacker News
❄️Nixified Development
Show HN: Conformal – Type-safe FormData parsing and canonical submission flow
github.com·24m·
Discuss: Hacker News
🐫OCaml
Natural Latents: Latent Variables Stable Across Ontologies
lesswrong.com·4d
📝Term Rewriting
Looking for a used compact workstation/server (~$500 / ~2000 PLN) for TrueNAS + storage management (with some self-hosting) - 4–8 HDD bays, quiet, expandable. R...
reddit.com·2h·
Discuss: r/homelab
🏠HomeLab
The Perceptron
jontysinai.github.io·3d·
Discuss: Hacker News
📚Automata Learning
Notion's hosted MCP server: an inside look
notion.com·3d·
Discuss: Hacker News
⚙Operational Semantics
AI and Software Productivity
arnoldkling.substack.com·1d·
Discuss: Substack
👁️System Observability
Why Using Software Is Like Eating at a Brazilian Steakhouse Run by Vegans
spin.atomicobject.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
How Can You Tell if You've Instilled a False Belief in Your LLM?
lesswrong.com·1d
✓Automated Theorem Proving
You.com Raises $100M Series C at a $1.5B Valuation
home.you.com·3d·
Discuss: Hacker News
🛡️seL4
The Impact of Critique on LLM-Based Model Generation from Natural Language: The Case of Activity Diagrams
arxiv.org·4d
📝Term Rewriting
Why AI will not free people from work or lead to social equality
greyenlightenment.com·20h·
Discuss: Hacker News
🩹Self-Healing Systems
When LLMs Grow Hands and Feet, How to Design Our Agentic RL Systems?
amberljc.github.io·2d·
Discuss: Hacker News
⚙️PL Implementation
William James at CERN (1995)
bactra.org·2d·
Discuss: Hacker News
🏹Effect Systems
VulnRepairEval: An Exploit-Based Evaluation Framework for Assessing Large Language Model Vulnerability Repair Capabilities
arxiv.org·4d
🛡️seL4