[HN Gopher] Archive (2023-10-11) - Page 1 ___________________________________________________________________ (DIR) The Deep Link Equating Math Proofs and Computer Programs 47 points by digital55 (3 comments) (DIR) Modern Pascal is still in the race (2022) 45 points by open-source-ux (20 comments) (DIR) Vulkan Documentation 69 points by jlpcsl (60 comments) (DIR) Bad Emacs defaults 100 points by ctrlmeta (68 comments) (DIR) SQL Reserved Words - The Empirical List 39 points by mariuz (15 comments) (DIR) K3s - Lightweight Kubernetes 12 points by kristianpaul (1 comments) (DIR) Farm in Kenya to produce fossil-free fertilizer on site 68 points by chmaynard (64 comments) (DIR) Log is the "Pro" in iPhone 15 Pro 841 points by robenkleene (296 comments) (DIR) Evidence that albatrosses use infrasound to navigate long journeys 15 points by wglb (1 comments) (DIR) Show HN: Speech Meter - Improve Your English Pronunciation 37 points by jeanmayer (33 comments) (DIR) Mistral 7B 98 points by fgfm (30 comments) (DIR) We'll call it AI to sell it, machine learning to build it 190 points by participant1138 (133 comments) (DIR) Bad Speech 10 points by amadeuspagel (3 comments) (DIR) A suicide crisis among veterinarians 97 points by rntn (93 comments) (DIR) Toxiproxy - simulate network and system conditions for chaos tes... 85 points by ekiauhce (4 comments) (DIR) Spacedrive - an open source cross-platform file explorer 239 points by microflash (109 comments) (DIR) Why is there a "Tech, Media, Telecom" sector? 4 points by gumby (1 comments) (DIR) The glEnd() of Zelda: Automatic 3Dification of NES Games (2016) 194 points by akeck (34 comments) (DIR) Multifault earthquake threat for Seattle region revealed by mass... 216 points by bookofjoe (118 comments) (DIR) Show HN: Netflix for AI-Generated Videos 22 points by ringerapps (8 comments) (DIR) Go to the next page ___________________________________________________________________ (page generated 2023-10-11 16:00 UTC)