Sangaku Puzzle I Can't Solve
samjshah.com·11m·
Discuss: Hacker News
Automated Theorem Proving
Show HN: Mii Maker – Free browser-based Mii avatar creator (no signup)
miimaker.org·2h·
Discuss: Hacker News
🍎Apple
Network Breakthrough: GNN-Pomdp Enables Robust Policies in Dynamic Systems
quantumzeitgeist.com·1d·
Discuss: Hacker News
🩹Self-Healing Systems
On Staying Sane as a Developer
verbosemode.dev·3d·
Discuss: r/programming
🩹Self-Healing Systems
The old SF tech scene is dead. What it's morphing into is more sinister
sfgate.com·2h·
Discuss: Hacker News
🍎Apple
Addendum to GPT-5 system card: GPT-5-Codex
openai.com·1d·
Discuss: Hacker News
Automated Theorem Proving
Peter Thiel and the Antichrist: Silicon Valley Apocalypse Hype
thenerdreich.com·2d·
Discuss: Hacker News
🍎Apple
From Legal Documents to Knowledge Graphs
neo4j.com·3d·
Discuss: Hacker News
🧩Parser Combinators
Anthropic Economic Index: Tracking AI's role in the US and global economy
anthropic.com·1d·
Discuss: Hacker News
🧠Automated Reasoning
See Voyager’s 1990 ‘Solar System Family Portrait’ Debut
hackaday.com·15h
🐳Containerization
Building towards age prediction
openai.com·11h·
Discuss: Hacker News
🧩Separation Logic
My "Show HN" Follow-Up for "Swimming in Tech Debt"
loufranco.com·1d·
Discuss: Hacker News
🍎Apple
Regaining control of my attention using large language models
garyzhuge.com·3d·
Discuss: Hacker News
🏹Effect Systems
Beyond Traditional Pseudorandomness, Tsotchkes' Quantum Random Number Generation
medium.com·2d·
Discuss: Hacker News
🌐NetworkProtocols
AI Coding at a Crossroads: Disposable Code Editors and Flawed Benchmarks
kevinkuipers.substack.com·4d·
Discuss: Substack
💎Refinement Types
The Rise of Async Programming
braintrust.dev·5d·
🤖Program Synthesis
Seedream 4.0 – Professional AI Image Generator and Editor
seedream-4.app·3d·
Discuss: Hacker News
🔧Unikernel Development
Spectre haunts CPUs again: VMSCAPE vulnerability leaks cloud secrets
theregister.com·5d·
Discuss: Hacker News
🔧Unikernel Development
Environmental force sensing helps robots traverse cluttered large obstacles using physical interaction
arxiv.org·1d
🩹Self-Healing Systems
Apple Unveils iPhone Memory Protections to Combat Sophisticated Attacks
securityweek.com·2d·
Discuss: Hacker News
🍎Apple