I decided to make it pretty
i.redd.it·2d·
Discuss: r/homelab
🔬Unikernels
Deep Copy
developer.mozilla.org·1d·
Discuss: Hacker News
💎Refinement Types
Is the Microsoft Teams data export tool vaporware?
blog.zulip.com·5h·
Discuss: Hacker News
👁️System Observability
Was Action! The Best 8-Bit Language?
hackaday.com·20h·
Discuss: Hacker News
💾Retro Computing
OCR and RAG for Tables
mrm1001.github.io·1d·
Discuss: Hacker News, Hacker News
🐫Embedded OCaml
Cowboy Coders and the Shift to Structure – How Teams Grow
codecube.net·1d·
Discuss: Hacker News
🤖Program Synthesis
The Art of Incident Management Pt. 1
rootly.com·1d·
Discuss: Hacker News
🩹Self-Healing Systems
OntoMotoOS: An "Operating System" Between Delusion and Scholarship
medium.com·2d·
Discuss: Hacker News
🔬Unikernels
Most Rust GUI frameworks suck
reddit.com·8h·
Discuss: r/rust
❄️Nixified Development
You're a Slow Thinker. Now What?
chillphysicsenjoyer.substack.com·5m·
Discuss: Substack
✓Automated Theorem Proving
Show HN: A local first AI engine and orchestrator
krionis.com·2d·
Discuss: Hacker News
👁️System Observability
Beyond Vibe Coded AI Slop: Agentic Workflows For Professionals
medium.com·6h·
Discuss: r/programming
🤖Program Synthesis
Notion's hosted MCP server: an inside look
notion.com·6d·
Discuss: Hacker News
💎Refinement Types
New parametric CAD BREP kernel attempt
github.com·1d·
Discuss: Hacker News
🐫OCaml
The Tmux Menagerie
worksonmymachine.ai·3d·
Discuss: Hacker News
📺Vintage Apple
AIs will greatly change engineering in AI companies well before AGI
lesswrong.com·1d
👁️System Observability
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
arxiv.org·6d
🧠Automated Reasoning
Spiders and Moral Good
lesswrong.com·2h
🩹Self-Healing Systems
AURAD: Anatomy-Pathology Unified Radiology Synthesis with Progressive Representations
arxiv.org·2d
🐫OCaml
A Stroke-Level Large-Scale Database of Chinese Character Handwriting and the OpenHandWrite_Toolbox for Handwriting Research
arxiv.org·1d
📚Automata Learning