10.25.25 | Swift SDK for Android, shape can't pass through itself, Twake Drive as Google Drive alternative

Feel free to leave feedback on Github: https://github.com/denolfe/hacker-news-highlights

• (00:00) - Intro
• (00:21) - The Swift SDK for Android
• (01:30) - First shape found that can't pass through itself
• (02:36) - Twake Drive – An open-source alternative to Google Drive
• (03:31) - Unlocking Free WiFi on British Airways
• (04:38) - Public Montessori programs strengthen learning outcomes at lower costs: study
• (06:04) - Valetudo: Cloud replacement for vacuum robots enabling local-only operation
• (07:13) - I invited strangers to message me through a receipt printer
• (08:18) - Mesh2Motion – Open-source web application to animate 3D models
• (09:23) - Why formalize mathematics – more than catching errors
• (10:32) - Code Like a Surgeon
• (11:42) - Outro

First shape found that can't pass through itself
https://www.quantamagazine.org/first-shape-found-that-cant-pass-through-itself-20251024/
https://news.ycombinator.com/item?id=45694856

Twake Drive – An open-source alternative to Google Drive
https://github.com/linagora/twake-drive
https://news.ycombinator.com/item?id=45692984

Unlocking Free WiFi on British Airways
https://www.saxrag.com/tech/reversing/2025/06/01/BAWiFi.html
https://news.ycombinator.com/item?id=45695134

Public Montessori programs strengthen learning outcomes at lower costs: study
https://phys.org/news/2025-10-national-montessori-early-outcomes-sharply.html
https://news.ycombinator.com/item?id=45674002

Valetudo: Cloud replacement for vacuum robots enabling local-only operation
https://valetudo.cloud/
https://news.ycombinator.com/item?id=45642571

I invited strangers to message me through a receipt printer
https://aschmelyun.com/blog/i-invited-strangers-to-message-me-through-a-receipt-printer/
https://news.ycombinator.com/item?id=45633877

Mesh2Motion – Open-source web application to animate 3D models
https://mesh2motion.org/
https://news.ycombinator.com/item?id=45693325

Why formalize mathematics – more than catching errors
https://rkirov.github.io/posts/why_lean/
https://news.ycombinator.com/item?id=45632894

Code Like a Surgeon
https://www.geoffreylitt.com/2025/10/24/code-like-a-surgeon
https://news.ycombinator.com/item?id=45695621