Pool (First visit) Links selected for a second chance at the front page ⚙ An illustrated introduction to linear algebra 88 443 31d ducktyped.org/p/an-illustrated-introduction-to-linear 773My first contribution to Linux 88 701 31d vkoskiv.com/first-linux-patch 774Chess.com regional pricing: A case study 117 118 31d mobeigi.com/blog/economics/chesscom-regional-pricing 775Thoughts on the Word Spec in Rust 23 53 31d tritium.legal/blog/word 776Show HN: Turn your OpenAPI spec into negative tests 2 50 31d github.com/dochia-dev/dochia-cli 777The Fourth Quadrant of Knowledge 16 51 31d lyonhe.art/the-fourth-quadrant-of-knowledge 778Kiyonori Kikutake's Aquapolis 4 8 31d arihaonthemove.org/sp_aquapolis.html 779How to Create an IoT App in Kotlin Multiplatform 2 17 31d thedroidsonroids.com/blog/how-to-create-an-iot-app-in-kotlin-multiplatform 780Mathematicians discover prime number pattern in fractal chaos 46 177 31d scientificamerican.com/article/mathematicians-discover-prime-number-pattern-in-fractal-chaos 781A case for learning GPU programming with a compute-first mindset 11 67 31d themaister.net/blog/2025/10/05/a-case-for-learning-gpu-programming-with-a-compute-first-mindset 782Tire Pressure Sensor IDs: Why, Where and When (2015) 32 51 31d tomorrowstechnician.com/tpms-sensor-ids-why-where-and-when 783The little Random that could 7 9 31d julik.nlblog./2025/10/the-little-random-that-could 784Functional Threading "Macros" 6 67 31d aartaka.me/threading.html 785An Electrical Engineering View of a Mechanical Watch (2003) [video] 16 71 31d techtv.mit.edu/videos/15895-an-electrical-engineering-view-of-a-mechanical-watch 786Embracing the parallel coding agent lifestyle 138 174 31d simonwillison.net/2025/Oct/5/parallel-coding-agents 787ScribeOCR – Web interface for recognizing text, OCR, & creating digitized docs 18 114 31d github.com/scribeocr/scribeocr 788Ahab's Arithmetic: The Mathematics of Moby-Dick 8 48 31d claremont.eduscholarship./cgi/viewcontent.cgi?article=1720&context=jhm 789The Real Reason Endurance Sank 3 10 31d arstechnica.com/science/2025/10/heres-the-real-reason-endurance-sank 790Automated Lean Proofs for Every Type 4 40 31d galois.com/articles/automated-lean-proofs-for-every-type 791Ohno Type School: A (2020) 65 209 31d ohnotype.co/blog/ohno-type-school-a 792The Power of Three: Ternary Logic, Triolectics, and Three Sided Football 1 10 31d sothismedias.com/home/the-power-of-three-ternary-logic-triolectics-and-football 793The Debugging Book 13 195 31d debuggingbook.org 794Show HN: Iframetest.com 8 8 31d iframetest.com 795Tutorials for Sandia's Lammps Simulation Package 1 8 31d arxiv.org/abs/2503.14020 796Testing two 18 TB white label SATA hard drives from datablocks.dev 159 218 31d ounapuu.ee/posts/2025/10/06/datablocks-white-label-drives 797Django: One ORM to rule all databases 82 65 31d paulox.net/2025/10/06/django-orm-comparison 798Crypto-Current (2021) 4 12 31d zerophilosophy.substack.com/p/crypto-current 799A macOS terminal command that tells you if your USB-C cable is bad 181 328 31d kau.sh/blog/usbi 800Neutts-air – Open-source, on device TTS 28 105 31d github.com/neuphonic/neutts-air 801 More... ⤒