The Early Development of Set Theory (2024)
plato.stanford.edu·3d·
Discuss: Hacker News
➡️Category Theory
PostMessage Chrome Extension – 3 Powerful Examples You Can Build
puupnewsapp.com·7h·
Discuss: Hacker News
🔄Reproducible Builds
Want Discriminated Unions in Kotlin? Use a Sealed Class.
spin.atomicobject.com·2d·
Discuss: Hacker News
🔍Formal Verification
Introducing Lumo, the AI where every conversation is confidential
proton.me·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Rivers of galaxies
aeon.co·1d·
Discuss: Hacker News
➡️Category Theory
The First Large Visual Memory Model
memories.ai·16h·
Discuss: Hacker News
🔄Finite State Machines
Why Java Is Still Worth Learning in 2025: A Developer's 25-Year Journey
empatheticdeveloper.wordpress.com·4d·
Discuss: Hacker News
🔄Reproducible Builds
The Case for Sabotage
collectiveactionintech.substack.com·2d·
Discuss: Substack, r/programming
💾Retro Computing
Product as Code: Version Control for Product Management
mantcz.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Assembly_verify
philipzucker.com·4d·
Discuss: Lobsters, Hacker News, r/programming
🔍Formal Verification
Show HN: Building "Love at First Mic" – Tech Clone of TV Show "Love Is Blind"
news.ycombinator.com·15h·
Discuss: Hacker News
🍎Apple
Cursor makes developers less effective? – by Gergely Orosz
newsletter.pragmaticengineer.com·19h·
Discuss: Hacker News
👁️System Observability
Advice for My Future Setup
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Ask HN: Help me navigate a PIP at a remote startup in the Netherlands
news.ycombinator.com·1d·
Discuss: Hacker News
🛡️seL4
Verify Identities During Self-Service Registration
fusionauth.io·23h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
AI is Eating Developer Experience
aviator.co·1d·
Discuss: Hacker News, r/programming
🔄Reproducible Builds
Installing the public betas? Here’s everything new with Apple Intelligence
9to5mac.com·21h
🍎Apple
The Other Mind: How Language Models Exhibit Human Temporal Cognition
arxiv.org·3d
➡️Category Theory
DARE: Diverse Visual Question Answering with Robustness Evaluation
arxiv.org·3d
🎮Verification Games
USB-C-ing All The Things
hackaday.com·2d·
Discuss: Hacker News
💾Retro Computing