I was surprised by how simple an allocator is
(news.ycombinator.com)
13171.
13172.
I wrote my PhD Thesis in Typst
(news.ycombinator.com)
13173.
13174.
Fastmail replaced my Gmail and I’m never going back
(androidauthority.com)
13175.
I tested Gemini’s latest image generator and here are the results
(androidauthority.com)
13176.
Low-Temperature Additive Manufacturing of Glass
(news.ycombinator.com)
13177.
Mechanical Watch: Exploded View
(news.ycombinator.com)
13178.
13179.
Type Inference Zoo
(news.ycombinator.com)
13180.
13181.
The Nyanja new PC-Engine/TurboGrafx 16-bit console game in development
(news.ycombinator.com)
13182.
AllTracker: Efficient Dense Point Tracking at High Resolution
(news.ycombinator.com)
13183.
13184.
European leaders worry they’re too reliant on U.S. tech
(techcrunch.com)
13185.
13186.
Microsoft suspended the email account of an ICC prosecutor at The Hague
(news.ycombinator.com)
13187.
13188.
Android Auto inches closer to the light with new theme options (APK teardown)
(androidauthority.com)
13189.
13190.
13191.
Cracovians: The Twisted Twins of Matrices
(news.ycombinator.com)
13192.
Verified dynamic programming with Σ-types in Lean
(news.ycombinator.com)
13193.
Libraries are under-used. LLMs make this problem worse
(news.ycombinator.com)
13194.
13195.
Verified Dynamic Programming with Σ-types in Lean
(news.ycombinator.com)
13196.
13197.
13198.
13199.
13200.
Marvel Just Added a *Fourth* Movie to Its 2028 Plans
(gizmodo.com)