Temporary employment and protection of human capital in Major League Baseball
onlinelibrary.wiley.com·14h·
Discuss: Hacker News
✓Automated Theorem Proving
NVIDIA Accelerated IO (XLIO)
docs.nvidia.com·1d·
Discuss: Hacker News
🍎XNU Internals
Urlref: Website Bookmarking for Handwritten Notes
benjaminhollon.com·1d·
Discuss: Hacker News
🧮Lambda Calculus
Page Object (2013)
martinfowler.com·1d·
Discuss: Hacker News
📊Runtime Verification
Oh, the Tea Spills: What’s Really Holding Up Carbon Language at Google?
lucisqr.substack.com·3d·
Discuss: r/programming
🔬Unikernels
humanely dealing with humungus crawlers
flak.tedunangst.com·2d·
Discuss: Lobsters, Hacker News, Hacker News, Hacker News
🍎Apple
Washback Effect
en.wikipedia.org·13h·
Discuss: Hacker News
🧪Property-Based Testing
Show HN: Context, Hallucinations, and How LLMs Are Changing Development
juanpabloaj.substack.com·3d·
Discuss: Substack
🎮Verification Games
Babies and LLMs
blog.karliner.net·10h·
Discuss: Hacker News
➡️Category Theory
Monitoring Claude Code with OpenTelemetry
signoz.io·2d·
Discuss: Hacker News
👁️System Observability
Co-developed a comprehensive UUID API - 17+ features, completely free
reddit.com·14h·
Discuss: r/programming
🔄Reproducible Builds
The Eldritch in the 21st century
lesswrong.com·1d
🔬Unikernels
Characterizing Fitness Landscape Structures in Prompt Engineering
arxiv.org·3d
🤖Program Synthesis
Reverse Engineering a Robot Mower’s Fence
hackaday.com·2d
🩹Self-Healing Systems
Is this the end of hand-written Java? Building an app with AI-generated code (OpenXava + Vibe Coding)
reddit.com·2d·
Discuss: r/programming
🤖Program Synthesis
A Secure Sequencer and Data Availability Committee for Rollups (Extended Version)
arxiv.org·3d
🎮Verification Games
No, AI won’t take all the jobs. Here’s why.
freethink.com·14h·
Discuss: Hacker News
🧠Automated Reasoning
This Week in Security: NPM, Kerbroasting, and The Rest of the Story
hackaday.com·13h
📊Runtime Verification
Just Enough Automation
bevel.work·2d·
Discuss: Hacker News
🤖Program Synthesis
I wish my web server were in the corner of my room
interconnected.org·7h·
Discuss: Hacker News
🖥Self-Hosting