Monthly Highlights
23671.
Show HN: Kotlean: write Android apps in Lean
(github.com)
23672.
The Distrust Is Natural
(simon.grays.blog)
23673.
The AI Layoff Experiment Is Backfiring as Companies Rehire Humans
(gadgetreview.com)
23674.
23675.
23676.
What does good AI mean?
(thoughts.wyounas.com)
23677.
Kandinsky S2V 1.0 – an open family of speech-to-video models
(kandinskyavatar.github.io)
23678.
How to Parallize Your Tree Operations
(liljedue.dk)
23679.
23681.
Pratt parsing is a black box
(vinipsmaker.github.io)
23682.
Native masonry layouts with CSS grid lanes
(piccalil.li)
23683.
23684.
Measure the energy and CO2 of local LLMs
(github.com)
23685.
23686.
Python Typing Survey 2026: AI Tools and the Shifting Checker Landscape
(engineering.fb.com)
23687.
EpicWing a Self Hosted Server Management Panel
(github.com)
23688.
I treated Sophie as if she were human. The next day she betrayed me
(theguardian.com)
23689.
23690.
The Cloud Is a Lie
(jamesbridle.com)
23691.
23692.
Show HN: GhostLaunch – stealth wallet distribution for Pump.fun launches
(ghostlaunch.framer.website)
23693.
Being of Use to Someone
(jmreiche.github.io)
23694.
Training a handwriting recognizer on almost no real data
(thewritingmodel.vercel.app)
23695.
23696.
23697.
23698.
Beans Means CW [video]
(youtube.com)
23699.
23700.
An experimental tribute to Bruce Nauman
(enjeyw.github.io)