Monthly Highlights
1141.
1142.
Towards Autonomous Mathematics Research
(arxiv.org)
1143.
Canadians promised to boycott travel to US. They meant it
(usatoday.com)
1144.
Lil Finder Guy
(basicappleguy.com)
1146.
1147.
What dating apps are optimizing
(phys.org)
1148.
Was Windows 1.0's lack of overlapping windows a legal or a technical matter?
(retrocomputing.stackexchange.com)
1149.
Show HN: Wildex – Pokémon Go for real wildlife
(apps.apple.com)
1150.
1151.
The Mongol Khans of Medieval France
(historytoday.com)
1153.
The real cost of random I/O
(vondra.me)
1154.
Physicists Make Electrons Flow Like Water
(quantamagazine.org)
1155.
Exploring the ocean with Raspberry Pi–powered marine robots
(raspberrypi.com)
1156.
1157.
Rendezvous with Rama
(blog.engora.com)
1158.
Exercise has 'similar effect' to therapy, study on depression shows
(medicalxpress.com)
1159.
AI made coding more enjoyable
(weberdominik.com)
1160.
1161.
What Every Experimenter Must Know About Randomization
(spawn-queue.acm.org)
1162.
Show HN: ANSI-Saver – A macOS Screensaver
(github.com)
1163.
1164.
TorchLean: Formalizing Neural Networks in Lean
(leandojo.org)
1165.
1166.
Billion-Parameter Theories
(worldgov.org)
1167.
1168.
TypeScript 6.0 RC
(devblogs.microsoft.com)
1169.
I love email (2023)
(blog.xoria.org)
1170.
How to install and start using LineageOS on your phone
(lockywolf.net)