Ten Simple Rules for Mathematical Writing
web.mit.edu·4h·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: Optiverse – Evolving Code with LLMs
mathieularose.com·1d·
Discuss: Hacker News
🔠Type-Level Programming
Powering Agentic Observability with the Observe MCP Server
observeinc.com·3h·
Discuss: Hacker News
👁️System Observability
Show HN: Agentic MCP Server Manager
ddfourtwo.github.io·2d·
Discuss: Hacker News
🛡️seL4
A lightweight Cloudflare Dynamic DNS shell script
github.com·1d·
Discuss: Hacker News
📡Network Protocol Design
We solved AI API interoperability
supermemory.ai·3d·
Discuss: Hacker News
🐫OCaml
Interview with John Bridges (PCPaint, Grasp, GL Pro)
ztoz.blog·7h·
Discuss: Hacker News
💾Retro Computing
I'm more proud of these 128 kilobytes than anything I've built since
medium.com·5h·
Discuss: Hacker News
🔬Unikernels
Architect's Guide to Micro-Front Ends: Module Federation with React and Angular
developersvoice.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Reinforcement Learning with Action Chunking
arxiv.org·21h
🎮Verification Games
Programming = proving? The Curry-Howard correspondence today
xavierleroy.org·4d·
Discuss: Hacker News
➡️Category Theory
XMCP: A framework for building and shipping MCP applications with TypeScript
github.com·2d·
Discuss: Hacker News
🍎XNU Internals
The Wild West of Agentic AI – An Attack Surface CISOs Can't Afford to Ignore
securityweek.com·2d·
Discuss: Hacker News
🛡️seL4
Show HN: Looking for Beta Testers: Run AI-Generated Code in AgentSphere Sandbox
news.ycombinator.com·1d·
Discuss: Hacker News
🛡️seL4
TocToc - A Simple Port Knocking CLI
github.com·2d·
Discuss: Hacker News, r/golang
📡Network Protocol Design
Text to model via SysML: Automated generation of dynamical system computational models from unstructured natural language text via enhanced System Modeling Lang...
arxiv.org·1d
🐫OCaml
From Cloud Native to AI Native: Why Your AI Architecture Needs a Reality Check
brianchristner.io·1d·
Discuss: Hacker News
🔄Reproducible Builds
Structured Prompts, Better Outcomes? Exploring the Effects of a Structured Interface with ChatGPT in a Graduate Robotics Course
arxiv.org·21h
⚙️PL Implementation
Data-Star.dev – v1 and Beyond
data-star.dev·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Holo v0.8 Released
medium.com·4d·
Discuss: Hacker News
📦Unikernel Systems