The Charismulator
cambridge.org·3d·
Discuss: Hacker News
🌐NetworkProtocols
Numerai – Crowdsourced AI hedge fund doing token buyback
blog.numer.ai·3d·
Discuss: Hacker News
📦Unikernel Systems
Meta says it won't sign Europe AI agreement, calling it an overreach that will stunt growth
cnbc.com·2d·
Discuss: Hacker News, r/LocalLLaMA, r/privacy
✓Automated Theorem Proving
Amazon EKS now supports 100K nodes per cluster
aws.amazon.com·4d·
Discuss: Hacker News
⎈Kubernetes
Hyperpb: 10x faster dynamic Protobuf parsing in Go
buf.build·2d·
Discuss: Hacker News
🌐NetworkProtocols
Discovering Player Tracking in a Minimal Tic-Tac-Toe Transformer
omar.bet·2d·
Discuss: Hacker News
🎮Verification Games
China Won the Chip War While You Were Arguing About Gallium
kumarletter.com·4d·
Discuss: Hacker News
💾Retro Computing
Show HN: RobinRelay – Slack-native memory layer for noisy alerts
robinrelay.ai·5d·
Discuss: Hacker News
🛡️seL4
The AI Application Land Grab
frontierai.substack.com·3d·
Discuss: Substack
✓Automated Theorem Proving
The Smart Money on How Devs Should Charge for Apps
thenewstack.io·1d
❄️Nixified Development
Google Took Everything Back
news.ycombinator.com·2d·
Discuss: Hacker News
🍎Apple
[Project] DNS Forwarder — Simple DNS Forwarder in Go (with Docker)
reddit.com·1d·
Discuss: r/homelab
📡Network Protocol Design
AI for Explosive Ordnance Detection in Clearance Operations: The State of Research
arxiv.org·3d
✓Automated Theorem Proving
Assessing the economic benefits of space weather mitigation investment decisions: Evidence from Aotearoa New Zealand
arxiv.org·2d
📦Unikernel Systems
Spack v1.0 Is Out
github.com·8h·
Discuss: Hacker News
❄️Nixified Development
It Would Be Good if the AI Bubble Burst
stephendiehl.com·2d·
Discuss: Hacker News
💾Retro Computing
Managing EFI Boot Loaders for Linux: Controlling Secure Boot
rodsbooks.com·22h·
Discuss: Hacker News
📦Unikernel Systems
My favorite use-case for AI is writing logs
newsletter.vickiboykis.com·2d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Assistants Aren't the Future of AI
blog.sshh.io·23h·
Discuss: Hacker News
✓Automated Theorem Proving
2025 One-Hertz Challenge: HP Logic Probe Brought Into The Future
hackaday.com·2d
💾Retro Computing