Epic Earbud Recovery | Earbud-Finder
cubiclenate.com·2d·
Discuss: Hacker News
🍎Apple
Octos: open-source HTML live wallpaper engine
underpig1.github.io·3d·
Discuss: r/programming
🔬Unikernels
Are daily dreams future insights or past reflections?
aidreamscope.com·3d·
Discuss: Hacker News
➡️Category Theory
Imagining the Drone Air Force
austinvernon.substack.com·2d·
Discuss: Substack
🔬Unikernels
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
Software upgrade economics: some real numbers
successfulsoftware.net·4d·
Discuss: Hacker News
❄️Nixified Development
When a Bug Saved the Company
weblog.rogueamoeba.com·4d·
Discuss: Hacker News
🍎Apple
Remembering the Hysteria over Windows 95 Launch, 1995
rarehistoricalphotos.com·1d·
Discuss: Hacker News
💾Retro Computing
The Unbearable Slowness of AI Coding
joshuavaldez.com·4d·
Discuss: Hacker News
🤖Program Synthesis
I don't buy Macs anymore
jasonsaidwhat.substack.com·3d·
Discuss: Substack
🍎Apple
Carter2099/dsa.rb: A CLI test suite for implementations of core Ruby algorithms
github.com·5d·
Discuss: Hacker News
🧪Property-Based Testing
The AGENTS.md Standard: A simple, open format for guiding coding agents
agents.md·5d·
Discuss: Hacker News
🛡️seL4
DO NOT BUY FROM A-TECH MEMORY !
reddit.com·3d·
Discuss: r/homelab
🐫Embedded OCaml
Locality-aware Concept Bottleneck Model
arxiv.org·4d
🔠Type-Level Programming
Equi-mRNA: Protein Translation Equivariant Encoding for mRNA Language Models
arxiv.org·3d
🐫OCaml
Reinforcement Learning to Rank Using Coarse-grained Rewards
arxiv.org·4d
🎮Verification Games
iPadOS 26 beta 8 now available, launch only weeks away
9to5mac.com·6h
🍎Apple
Potential and challenges of generative adversarial networks for super-resolution in 4D Flow MRI
arxiv.org·3d
➡️Category Theory
Stemming -- The Evolution and Current State with a Focus on Bangla
arxiv.org·3d
➡️Category Theory