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
So, I decided to write a BUFR decoder
stormscale.io·5d·
Discuss: Hacker News
🐫OCaml
(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
Bujo.nvim – bullet journal accessible from anywhere
github.com·1d·
Discuss: Hacker News
📦Unikernel Systems
Bridging the Plausibility-Validity Gap by Fine-Tuning a Reasoning-Enhanced LLM for Chemical Synthesis and Discovery
arxiv.org·1d
✓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·1d
💻CS
Evaluation of OpenAI o1: Opportunities and Challenges of AGI
arxiv.org·3d
📦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·1d
➡️Category Theory
So You Think You've Awoken ChatGPT
justismills.substack.com·1d·
Discuss: Substack
✓Automated Theorem Proving
Emergent misalignment as prompt sensitivity: A research note
arxiv.org·2d
✓Automated Theorem Proving
I'm more proud of these 128 kilobytes than anything I've built since
medium.com·1d·
Discuss: Hacker News
🔬Unikernels
Energy-Guided Decoding for Object Hallucination Mitigation
arxiv.org·1d
🔬Unikernels