IT expert says trans doctor's phone claims "not possible"
bbc.com·1d·
Discuss: Hacker News
🍎Apple
The asteroid that will spare Earth might hit the moon instead.
cnn.com·1d·
Discuss: Hacker News, r/news
🧗Climbing Tech
Happy SysAdmin Day – 10 Terrific Tools for the Busy Admin
mailchi.mp·2d·
Discuss: Hacker News
👁️System Observability
Dollar Driven
justingarrison.com·3d·
Discuss: Hacker News
🍎Apple
Radxa Launches M.2 AI Accelerator with Axera AX8850 and 24 TOPS NPU
linuxgizmos.com·10h·
Discuss: Hacker News
🍎XNU Internals
Show HN: Agency Protocol – Domain-Specific Trust Through Verifiable Promises
promise-keeping.com·6d·
Discuss: Hacker News
🌐NetworkProtocols
Using Radicle CI
radicle.xyz·3d·
Discuss: Lobsters, Hacker News
👁️System Observability
Does bad quality code bother agents?
sourcery.ai·1d·
Discuss: Hacker News
🔄Reproducible Builds
We Build Synthetic Humans. Here's What's Keeping Us Up at Night
mirage.app·2d·
Discuss: Hacker News
💾Retro Computing
Commentary: AI Reasoning on IMO(International Math Olympiad)
jonaskgomo.com·5d·
Discuss: Hacker News
✓Automated Theorem Proving
Anticipating Holes in ChatGPT's Knowledge
amahabal.substack.com·4d·
Discuss: Substack
🎮Verification Games
Show HN: CandleVision Real-time candlestick detection with YOLOv8
github.com·1d·
Discuss: Hacker News
🍎Apple
Why OpenSearch 3.0 Is Your Must-Have Upgrade Right Now
thenewstack.io·2d
📦Unikernel Systems
I made gui windows portable app maker
github.com·3d·
Discuss: r/cpp, r/programming
🔬Unikernels
The magic wand that solves agent memory
news.ycombinator.com·1d·
Discuss: Hacker News
💾Retro Computing
A 27M-param model that solves hard Sudoku/mazes where LLMs fail, without CoT
github.com·4d·
Discuss: Hacker News
🎮Verification Games
The Risk in AI Products: Fragmented Enterprise Knowledge
medium.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
A Conservative and Positivity-Preserving Discontinuous Galerkin Method for the Population Balance Equation
arxiv.org·4d
🐫OCaml
CogDual: Enhancing Dual Cognition of LLMs via Reinforcement Learning with Implicit Rule-Based Rewards
arxiv.org·3d
🎮Verification Games
Computational Performance Bounds Prediction in Quantum Computing with Unstable Noise
arxiv.org·3d
🏹Effect Systems