How much harm can wage-fixing cartels do?
promarket.org·1h·
Discuss: Hacker News
✓Automated Theorem Proving
How to Build a Website That Ranks on Google
melhorar.co·13h·
Discuss: Hacker News
🧗Climbing Tech
Hands-On Machine Learning with Scikit-Learn and PyTorch
oreilly.com·3d·
Discuss: Hacker News
🐫Embedded OCaml
No, Your chatbot can't be hacked via DNS (at least not on its own)
domainsure.com·6h·
Discuss: Hacker News
📡Network Protocol Design
Feedback is broken. I'm building a solution
feedplain.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
OpenAI and UK Government announce strategic partnership to deliver AI-driven growth
openai.com·12h·
Discuss: Hacker News
📦Unikernel Systems
Does AWS Lambda have a silent crash in the runtime?
aaronstuyvenberg.com·5d·
Discuss: Hacker News
🌐NetworkProtocols
Show HN: Object database for LLMs that persists across chats (MCP server)
dry.ai·4d·
Discuss: Hacker News
🛡️seL4
Azure's Inferno: Escape from API Hell
wallpunch.net·4d·
Discuss: Hacker News, r/programming
🖥️Self-hosted Infrastructure
Using Omni's AI Assistant on the Semantic Layer
mikkeldengsoe.substack.com·3d·
Discuss: Substack
👁️System Observability
The Power and Potential of Zero-Knowledge Proofs
cacm.acm.org·4d·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: Sapient – Agentic Game Development in Unreal Engine (C++, BPs, BTs)
sapientstudio.com·6d·
Discuss: Hacker News
🎮Verification Games
I got tired of explaining my project to AI assistant so I gave it memory
codecontextpro.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
Brute-forcing Langley’s geometry problem with field extensions
chiark.greenend.org.uk·3d·
Discuss: Lobsters, Hacker News
✓Automated Theorem Proving
Distant Writing: Literary Production in the Age of Artificial Intelligence
papers.ssrn.com·4d·
Discuss: Hacker News
🔤DSLs
Time for Britain's CMA to strike hard – or risk losing the cloud competition fight
theregister.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Time Series Forecastability Measures
arxiv.org·18h
👁️System Observability
Everyone's racing to build AI tools, what about interaction with AI socially
news.ycombinator.com·13h·
Discuss: Hacker News
🎮Verification Games
Are we trading our hard-earned intelligence for convenience?
lmyslinski.com·4d·
Discuss: Hacker News
🤖Program Synthesis
Speeding Up My ZSH Shell
scottspence.com·1d·
Discuss: Hacker News
💾Retro Computing