Performance Improvements in .NET 10
devblogs.microsoft.com·4h·
Discuss: Lobsters, Hacker News, r/programming
📊Runtime Verification
Show HN: A local first AI engine and orchestrator
krionis.com·2d·
Discuss: Hacker News
👁️System Observability
How We Built Our Model-Agnostic Agent for Log Analysis
blog.runreveal.com·2h·
Discuss: Hacker News
📊Runtime Verification
Using Claude Code to modernize a forgotten Linux kernel driver
dmitrybrant.com·2d·
Discuss: Lobsters, Hacker News
🔧Unikernel Development
A Secure Sequencer and Data Availability Committee for Rollups (Extended Version)
arxiv.org·1d
🎮Verification Games
Testing Claude’s Native Integration with Reminders and Calendar on iOS and iPadOS
macstories.net·4h·
Discuss: Hacker News
🍎Apple
C++ library for reading MacBook lid angle sensor data
github.com·2d·
Discuss: Hacker News, Hacker News
🍎Apple
The world has a running Rational R1000/400 computer again (2019)
datamuseum.dk·3d·
Discuss: Hacker News
🔧Unikernel Development
Skip Apple’s new iPhone – five tips to make your old phone feel new again
theguardian.com·2h·
Discuss: Hacker News
📺Vintage Apple
The Impact of Early-2025 AI on Open-Source Developer Productivity
metr.org·2h·
Discuss: Hacker News
👁️System Observability
Memory-Centric AI: SanDisk's High Bandwidth Flash
sandisk.com·1d·
Discuss: Hacker News
🔧Unikernel Development
Fibonacci Funhouse: Exploring Ruby Algorithms for Fibonacci Numbers
rorvswild.com·5h·
Discuss: Hacker News
🏹Effect Systems
I built a cycle-accurate SAP-3 8-bit CPU emulator in TypeScript with real-time visualization
sap-3.com·3d·
Discuss: r/programming
💾Retro Computing
Evolution of the ELF object file format
maskray.me·3d·
Discuss: Hacker News
📦Unikernel Systems
Pulling an Inverse Conway Maneuver at Netflix (2023)
jivimberg.io·2d·
Discuss: Hacker News
👁️System Observability
Linus: "Can we please stop this automated idiocy?"
lore.kernel.org·3d·
Discuss: Hacker News
🔧Unikernel Development
Show HN: A Deep Research MCP Agent (and pitfalls I hit along the way)
thealliance.ai·2h·
Discuss: Hacker News
🧠Automated Reasoning
Too Many options - help needed
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Many Hard Leetcode Problems are Easy Constraint Problems
buttondown.com·5h·
Discuss: Lobsters, Hacker News, r/programming
🧠Automated Reasoning
The Android Linux Commander
hackaday.com·1d
🐳Containerization