I gave up on all-in-one productivity apps, and these small tools replaced them better
The apps I open without having to think
We haven't written up this one. XDA Developers has the full story — the link below goes straight to it.
More in Tech
TechCrunch Disrupt 2026: Gamma’s Grant Lee, Engine’s Elia Wallen, and GV’s Crystal Huang on landing your first 1,000 customers
Leaders from Gamma, Engine, and Google Ventures join TechCrunch Disrupt 2026 to talk how to get your first customers. Register now to save up to $100. Grab a second pass at 50% off.
Mechanical vs Magnetic Keyboards: Which Is Better?
Magnetic keyboards offer adjustable sensitivity and Rapid Trigger, but traditional mechanical models remain strong choices for typing, customization, and value.
The Flush Printed a View After the Owner Died
A green debug run does not prove a view owns its bytes. Release can reuse that stack slot before the flush reads it. I start every split-brain crash with that suspicion.
A tale of four theorem provers, or: A (reasonably) opinionated comparison of Isabelle/HOL, Lean, HOL4, and Agda
- Lean and Isabelle/HOL offer live updates during proof creation
- HOL4 and Agda present fully constructed proofs for manual deconstruction
- Isabelle/HOL and HOL4 support classical foundations, while Lean is constructive
Prime Day Leftover Deals: AirPods Max 2 for $429, Mac Mini for $779.99, and More
Amazon's Prime Big Deal Days event is over, but there are plenty of Apple deals still available as we head into the weekend.
US telcos shed $45bn in value after SpaceX announces spectrum purchase
Elon Musk takes big step towards launching Starlink mobile service for US consumers