Find Your People (foundersatwork.posthaven.com)
742 points by jl 2 days ago | 265 comments
91The Verse Calculus: A Core Calculus for Functional Logic Programming [pdf] (simon.peytonjones.org)
45 points by droideqa a day ago | 14 comments
92Jupiter was formerly twice its current size, had a much stronger magnetic field (phys.org)
124 points by pseudolus 5 days ago | 74 comments
93Sam and Jony and Skepticism (sixcolors.com)
6 points by kjhughes 5 hours ago | 4 comments
94Personal Computer Origins: The Datapoint 2200 (thechipletter.substack.com)
28 points by rbanffy 4 days ago | 1 comment
95Goethe's Faustian Life (commonwealmagazine.org)
49 points by lermontov 5 days ago | 39 comments
96The legacy of the iconic Nakagin capsule tower (designboom.com)
90 points by pseudolus a day ago | 26 comments
97The Next-Gen Mainboard Designed with AmigaOS4 and MorphOS in Mind (mirari.vitasys.nl)
26 points by PortableCode a day ago | 8 comments
98Microsoft Edit (github.com)
4 points by smartmic 2 hours ago | 0 comments
99Work requirements penalize workers in volatile occupations (brookings.edu)
8 points by hn_acker 7 hours ago | 1 comment
100Why Algebraic Effects? (antelang.org)
284 points by jiggawatts 2 days ago | 194 comments
101What even is a small language model now? (jigsawstack.com)
105 points by yoeven 5 days ago | 74 comments
102Root for your friends (josephthacker.com)
411 points by rez0123 2 days ago | 158 comments
103Live facial recognition cameras may become 'commonplace' as police use soars (theguardian.com)
158 points by c-oreills a day ago | 138 comments
104Is Astrophotography Without Tracking Possible? (2022) (astroimagery.com)
35 points by astroimagery 5 days ago | 24 comments
105Rust Coreutils 0.1.0 Release (github.com)
37 points by sohkamyung 16 hours ago | 13 comments
10620 years of NetBSD code bloat (kristerw.blogspot.com)
7 points by hxorr 20 hours ago | 1 comment
107Show HN: Fwtui – A terminal UI for managing UFW (built with Bubble Tea) (github.com)
13 points by beny406 18 hours ago | 1 comment
108The Last Nomads (thedial.world)
23 points by Thevet 3 days ago | 5 comments
109A Formal Proof of Complexity Bounds on Diophantine Equations (arxiv.org)
91 points by badmonster 2 days ago | 11 comments
110voyage-3.5 and voyage-3.5-lite: improved quality for a new retrieval frontier (blog.voyageai.com)
32 points by fzliu 4 days ago | 6 comments
111John Carmack talk at Upper Bound 2025 (twitter.com)
537 points by tosh 3 days ago | 357 comments
112Show HN: High-resolution surface analysis with Lidar data (github.com)
65 points by folli 4 days ago | 10 comments
113Designing type inference for high quality type errors (blog.polybdenum.com)
83 points by PaulHoule 6 days ago | 17 comments
114Ask HN: Career Change Confusion
9 points by tdnka 8 hours ago | 9 comments
115Beyond Semantics: Unreasonable Effectiveness of Reasonless Intermediate Tokens (arxiv.org)
132 points by nyrikki 2 days ago | 66 comments
116The 44 Year Old Computer Magazine That Changed Everything [video] (youtube.com)
15 points by xkriva11 10 hours ago | 9 comments
117Ask HN: Selling software to company I work for as an employee
58 points by apohak 5 days ago | 54 comments
118The Curious Case of the Pygmy Nuthatch (slate.com)
132 points by prawn 4 days ago | 16 comments
119UndoDB – The interactive time travel debugger for Linux C/C++ for debugging (undo.io)
101 points by droideqa 2 days ago | 43 comments
120