Kryptos K4: The Solution Auction
rrauction.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
Mathematical secrets of ancient tablet unlocked after nearly a century of study (2017)
theguardian.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
When a Bug Saved the Company
weblog.rogueamoeba.com·4d·
Discuss: Hacker News
🍎Apple
Turning Neighborhoods into Communities
supernuclear.substack.com·2d·
Discuss: Substack
🧱Immutable Infrastructure
Introducing a smarter, faster Lumo 1.1
proton.me·4d·
Discuss: Hacker News
🐫OCaml
Graphite Chat
graphite.dev·6d·
Discuss: Hacker News
🧪Property-Based Testing
I don't buy Macs anymore
jasonsaidwhat.substack.com·3d·
Discuss: Substack
🍎Apple
Show HN: I've launched my app on Hacker News and here is what happened
indiehackers.com·5d·
Discuss: Hacker News
🍎Apple
The AGENTS.md Standard: A simple, open format for guiding coding agents
agents.md·6d·
Discuss: Hacker News
🛡️seL4
DO NOT BUY FROM A-TECH MEMORY !
reddit.com·3d·
Discuss: r/homelab
🐫Embedded OCaml
iPadOS 26 beta 8 now available, launch only weeks away
9to5mac.com·8h
🍎Apple
Potential and challenges of generative adversarial networks for super-resolution in 4D Flow MRI
arxiv.org·3d
➡️Category Theory
Building a silent, energy-efficient home server for Docker + TrueNAS/Immich - need advice
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
AI built from 1800s texts surprises creator by mentioning real 1834 London protests
arstechnica.com·3d·
Discuss: Hacker News, r/LocalLLaMA
🎮Verification Games
Stemming -- The Evolution and Current State with a Focus on Bangla
arxiv.org·3d
➡️Category Theory
Now that Commodore is Back, Could Amiga Be Next?
hackaday.com·3d
💾Retro Computing
Fed-Meta-Align: A Similarity-Aware Aggregation and Personalization Pipeline for Federated TinyML on Heterogeneous Data
arxiv.org·6d
🔠Type-Level Programming
Graph Concept Bottleneck Models
arxiv.org·4d
➡️Category Theory
Social Debiasing for Fair Multi-modal LLMs
arxiv.org·4d
🎮Verification Games
Show HN: stagDB – Free and Open-Source database manager with instant branching
github.com·6d·
Discuss: Hacker News, r/opensource
⎈Kubernetes