Navigating AI in translation: Why human expertise still matters
gulf-times.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Cocoindex: Data Transformation for AI
cocoindex.io·2d·
Discuss: Hacker News
🛡️seL4
AMD's Epic Performance Gains From The Original EPYC 7601 To EPYC 9755 / EPYC 9965
phoronix.com·3d·
Discuss: Hacker News
💾Retro Computing
Silicon-based reconfigurable and programmable all-optical signal processing chip
link.springer.com·2d·
Discuss: Hacker News
📦Unikernel Systems
RFC 9309 – Robots Exclusion Protocol
datatracker.ietf.org·2d·
Discuss: Hacker News
📡Network Protocol Design
So, I decided to write a BUFR decoder
stormscale.io·4d·
Discuss: Hacker News
🐫OCaml
Monitoring My Homelab, Simply
b.tuxes.uk·2d·
Discuss: Lobsters, Hacker News
👁️System Observability
Exploiting Partial Compliance: The Redact-and-Recover Jailbreak
generalanalysis.com·3d·
Discuss: Hacker News
🧪Property-Based Testing
Introducing Phi-4-mini-flash-reasoning
azure.microsoft.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
(Quite) a few words about async
yoric.github.io·3d·
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·2d·
Discuss: Hacker News
✓Automated Theorem Proving
LLMs are telepathy. We just don't know it yet
monarchwadia.com·1d·
Discuss: Hacker News
🛡️seL4
Object Oriented Programming is an expensive disaster which must end
medium.com·3d·
Discuss: Hacker News
🔬Static Analysis
Homeostatic Adaptation of Optimal Population Codes under Metabolic Stress
arxiv.org·1d
💻CS
Bujo.nvim – bullet journal accessible from anywhere
github.com·1d·
Discuss: Hacker News
📦Unikernel Systems
Havoc – Heap Allocated Value Object Containers
github.com·5d·
Discuss: Hacker News
🛡️seL4
Evaluation of OpenAI o1: Opportunities and Challenges of AGI
arxiv.org·3d
📦Unikernel Systems
(Attempting to) Engineer the chaos out of AI agents
trunk.io·2d·
Discuss: Hacker News
🧪Property-Based Testing
Beyond the Linear Separability Ceiling
arxiv.org·1d
➡️Category Theory
The First AI Coding Style Guide
github.com·5d·
Discuss: Hacker News
🐫OCaml