How to Run an Arduino for Years on a Battery
makecademy.com·19h·
Discuss: Hacker News
📦Unikernel Systems
API Auth Is Deeper Than It Looks
nango.dev·1d·
Discuss: Hacker News
🌐NetworkProtocols
How to Avoid Data Access Bottlenecks When Using Trino
starburst.io·2d·
Discuss: Hacker News
👁️System Observability
Why isn't packaging part of Python core development?
pydevtools.com·1d·
Discuss: Hacker News
❄️Nixified Development
What is the smallest space in which a needle can be rotated to point in the opposite direction? This mathematician has finally solved the Kakeya conjecture
english.elpais.com·3d·
Discuss: Hacker News
🔬Unikernels
AI 'Vibe Coder' Lovable Is Sweden's Latest Unicorn
forbes.com·4h·
Discuss: Hacker News
🔬Unikernels
Links? Links!
infrequently.org·2d·
Discuss: Hacker News
👁️System Observability
Sandcastles Made of Bits
jsfour.substack.com·1d·
Discuss: Substack
🧱Immutable Infrastructure
AGI Is Mathematically Impossible (3): Kolmogorov Complexity
news.ycombinator.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
Grep a million GitHub repositories via MCP
vercel.com·13h·
Discuss: Hacker News
🛡️seL4
How much attention do you need, really? Experiments in O(1) task completion
notion.so·4d·
Discuss: Hacker News
🏹Effect Systems
Claude Code Unleashed
ymichael.com·2d·
Discuss: Hacker News
🤖Program Synthesis
A code quality battle between 6 AI agents
sourcery.ai·2d·
Discuss: Hacker News
👁️System Observability
HANS-Net: Hyperbolic Convolution and Adaptive Temporal Attention for Accurate and Generalizable Liver and Tumor Segmentation in CT Imaging
arxiv.org·1d
💻CS
Time series classification of satellite data using LSTM networks: an approach for predicting leaf-fall to minimize railroad traffic disruption
arxiv.org·22h
💻CS
Beyond the Linear Separability Ceiling
arxiv.org·6d
🐫OCaml
Show HN: Empromptu.ai – Agentic AI Building AI Apps
news.ycombinator.com·4h·
Discuss: Hacker News
🔄Reproducible Builds
RefSTAR: Blind Facial Image Restoration with Reference Selection, Transfer, and Reconstruction
arxiv.org·2d
🐫OCaml
Deep Hidden Cognition Facilitates Reliable Chain-of-Thought Reasoning
arxiv.org·2d
✓Automated Theorem Proving
Psychology-Driven Enhancement of Humour Translation
arxiv.org·2d
✓Automated Theorem Proving