Navigating AI in translation: Why human expertise still matters
gulf-times.com·1d·
Discuss: Hacker News
🤖Program Synthesis
RFC 9309 – Robots Exclusion Protocol
datatracker.ietf.org·2d·
Discuss: Hacker News
📡Network Protocol Design
Being a Script
raphaelbastide.com·2d·
Discuss: Hacker News
🛡️seL4
So, I decided to write a BUFR decoder
stormscale.io·5d·
Discuss: Hacker News
🐫OCaml
Monitoring My Homelab, Simply
b.tuxes.uk·2d·
Discuss: Lobsters, Hacker News
👁️System Observability
(Quite) a few words about async
yoric.github.io·4d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔬Static Analysis
I used Claude Sonnet 4 to help a customer import their blog archive in 46 mins
olly.pagecord.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
LLMs are telepathy. We just don't know it yet
monarchwadia.com·2d·
Discuss: Hacker News
🛡️seL4
An Open-Concept 3D Printer Using Cantilever Arms
hackaday.com·3h
📦Unikernel Systems
A 2-categorical approach to the semantics of dependent type theory with computation axioms
arxiv.org·2d
➡️Category Theory
Show HN: OLMDB – ACID embedded key-value store for Node.js/Bun
github.com·4d·
Discuss: Hacker News
🛡️seL4
Bridging the Plausibility-Validity Gap by Fine-Tuning a Reasoning-Enhanced LLM for Chemical Synthesis and Discovery
arxiv.org·2d
✓Automated Theorem Proving
New method replaces nickel and cobalt in battery for cleaner, cheaper lithium-ion batteries
techxplore.com·1d·
Discuss: Hacker News
💾Retro Computing
Homeostatic Adaptation of Optimal Population Codes under Metabolic Stress
arxiv.org·2d
💻CS
Bujo.nvim – bullet journal accessible from anywhere
github.com·1d·
Discuss: Hacker News
📦Unikernel Systems
Evaluation of OpenAI o1: Opportunities and Challenges of AGI
arxiv.org·4d
📦Unikernel Systems
Havoc – Heap Allocated Value Object Containers
github.com·5d·
Discuss: Hacker News
🛡️seL4
(Attempting to) Engineer the chaos out of AI agents
trunk.io·3d·
Discuss: Hacker News
🧪Property-Based Testing
Beyond the Linear Separability Ceiling
arxiv.org·2d
➡️Category Theory
Die Cut Machine Makes Portable Metal Cuts
hackaday.com·6h
💾Retro Computing