Playing Leaptiger: Estonian Innovations in Education
deepbaltic.com·2d·
Discuss: Hacker News
📡Network Protocol Design
Astronomer's 'clever' PR move embracing CEO scandal – featuring Gwyneth Paltrow
bbc.co.uk·1h·
Discuss: Hacker News
🍎Apple
AAAI Launches AI-Powered Peer Review Assessment System
aaai.org·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Raku: First Programming Language?
wayland.github.io·4d·
Discuss: Hacker News
⚙️PL Implementation
Vibe Coding Turned This Swedish AI Unicorn Into The Fastest Growing Software Startup Ever, graphic
forbes.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
Ask HN: Why can't database files be safely synchronized, can we ever get there?
news.ycombinator.com·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
A curated directory for developers to discover and showcase tech products
devhub.best·6d·
Discuss: Hacker News
❄️Nixified Development
Can I use an access point to resolve DNS queries?
reddit.com·2d·
Discuss: r/homelab
📡Network Protocol Design
Critique My First Project? Wildfire Simulation
reddit.com·2d·
Discuss: r/programming
📡Network Protocol Design
Claude Code Is a Game Changer
probably.co.uk·4d·
Discuss: Hacker News
⚙️PL Implementation
The Magic at the Heart of Quantum Computers Has Finally Worked
popularmechanics.com·3d·
Discuss: Hacker News
💾Retro Computing
Azoth: Objective-C UI library for SDL3
github.com·6d·
Discuss: Hacker News
🍎XNU Internals
Dollo's Law of Irreversibility
en.wikipedia.org·10h·
Discuss: Hacker News
➡️Category Theory
A Formal Model of the Economic Impacts of AI Openness Regulation
arxiv.org·5d
🏹Effect Systems
VERIRAG: Healthcare Claim Verification via Statistical Audit in Retrieval-Augmented Generation
arxiv.org·2d
🎮Verification Games
The vibe coder's career path is doomed
blog.florianherrengt.com·4d·
Discuss: Hacker News
🐫Embedded OCaml
A 27M-param model that solves hard Sudoku/mazes where LLMs fail, without CoT
github.com·4d·
Discuss: Hacker News
🎮Verification Games
Choosing Public Datasets for Private Machine Learning via Gradient Subspace Distance
arxiv.org·2d
🔠Type-Level Programming
Fmtlib / fmt A modern formatting library
github.com·6d·
Discuss: Hacker News
🐫Embedded OCaml
Security Bite: How to password protect sensitive image files on Mac
9to5mac.com·2d
🍎Apple