We rebuilt EKS Auto Mode, but it works on any cloud or on-prem infra
vcluster.com·6h·
Discuss: Hacker News
⎈Kubernetes
Power Your AI Application with MongoDB Vector Search
geeksforgeeks.org·1d·
Discuss: r/programming
🧩Parser Combinators
The Imitation Game: Defending Against AI's Dark Side
aswathdamodaran.blogspot.com·1d·
Discuss: Hacker News
🍎Apple
All unimaginery internet futures are in one place.(free) try now
sites.google.com·9h·
Discuss: Hacker News
🔧Unikernel Development
How We Built Our lakeFS Iceberg Catalog
lakefs.io·2d·
Discuss: Hacker News
🔄Reproducible Builds
Show HN: My portfolio in the style of a campy early-internet Geocities site
jmkod.es·1d·
Discuss: Hacker News
❄️Nixified Development
C++26: erroneous behaviour
sandordargo.com·3d·
Discuss: Lobsters, Hacker News, r/cpp, r/programming
🔬Static Analysis
Introduction to Linear Types
austral-lang.org·3d·
Discuss: Hacker News
🧩Separation Logic
Show HN: Sphinx – the Jupyter-native AI copilot for data scientists
sphinx.ai·9h·
Discuss: Hacker News
🧠Automated Reasoning
Code Review Without Borders: Evaluating Synthetic vs. Real Data for Review Recommendation
arxiv.org·1d
🔄Reproducible Builds
Linus: "Can we please stop this automated idiocy?"
lore.kernel.org·2d·
Discuss: Hacker News
🔧Unikernel Development
ActivityPub message rewrite facility (MRF) based on WASM
aumetra.xyz·4d·
Discuss: Hacker News
💎Refinement Types
How to Use AI to Improve Teamwork in Engineering Teams
newsletter.eng-leadership.com·2d·
Discuss: r/programming
✓Automated Theorem Proving
AI Is Currently Hitting the Wall of Code Structure
modgo.org·2d·
Discuss: Hacker News
🤖Program Synthesis
Scaling behavior of large language models in emotional safety classification across sizes and tasks
arxiv.org·1d
🧩Parser Combinators
Show HN: Claude Context but local – semantic code search without API keys
github.com·2d·
Discuss: Hacker News, r/ClaudeAI, r/LocalLLaMA
🔧Unikernel Development
The Progress of the Model Context Protocol (MCP) with John Capobianco [audio]
packetpushers.net·2d·
Discuss: Hacker News
⚙️Operating System Design
The Evolution of Technical Scams: Why Developer Knowledge Isn't Enough
news.ycombinator.com·2d·
Discuss: Hacker News
🎮Verification Games
The risks of cognitive offloading [to AI]
siliconangle.com·8h·
Discuss: Hacker News
🩹Self-Healing Systems
The Aider Local Model Experience
hexeditreality.com·4d·
Discuss: Hacker News
🛡️seL4