Logical implication is a comparison operator (btdmaster.bearblog.dev)
38 points by btdmaster 5 days ago | 23 comments
151Death by AI (davebarry.substack.com)
562 points by ano-ther 3 days ago | 211 comments
152FCC to eliminate gigabit speed goal and scrap analysis of broadband prices (arstechnica.com)
34 points by mikece 17 hours ago | 6 comments
153If You Think AI Can Make SNES Games, We Have Magic Beans We'd Love to Sell You (timeextension.com)
15 points by hammyhavoc 11 hours ago | 0 comments
154What were the earliest laws like? (worldhistory.substack.com)
129 points by crescit_eundo 7 days ago | 61 comments
155Not sovereign: Microsoft cannot guarantee the security of EU data (heise.de)
37 points by ahofmann 20 hours ago | 4 comments
156Hacking a Toniebox (schafe-sind-bessere-rasenmaeher.de)
89 points by LorenDB 2 days ago | 38 comments
157Show HN: ggc – A terminal-based Git CLI written in Go (github.com)
64 points by bmf-san 6 days ago | 54 comments
158PEP 798 – Unpacking in Comprehensions (peps.python.org)
4 points by asicsp 8 hours ago | 2 comments
159Anthropic CEO Says the Company Will Pursue Gulf State Investments After All (wired.com)
17 points by ExMachina73 10 hours ago | 3 comments
160Human programmer beats OpenAI's custom AI in 10-hour marathon (tomshardware.com)
29 points by rbanffy 17 hours ago | 1 comment
161Borg – Deduplicating archiver with compression and encryption (borgbackup.org)
129 points by rubyn00bie 2 days ago | 52 comments
162Nobody knows how to build with AI yet (worksonmymachine.substack.com)
517 points by Stwerner 3 days ago | 396 comments
163New York City's Subway Is Safer Than Your Car (bloomberg.com)
42 points by rntn 18 hours ago | 17 comments
164Houdini of FL: autistic savant in prison for taking tools he inherited (en.wikipedia.org)
29 points by felineflock 16 hours ago | 5 comments
165Make Your Own Backup System – Part 1: Strategy Before Scripts (it-notes.dragas.net)
357 points by Bogdanp 3 days ago | 117 comments
166OpenAI claims gold-medal performance at IMO 2025 (twitter.com)
475 points by Davidzheng 3 days ago | 696 comments
167My favourite German word (vurt.org)
40 points by taubek 3 days ago | 46 comments
168Shorting Your Rivals: An Antitrust Remedy (marginalrevolution.com)
14 points by paulpauper 13 hours ago | 2 comments
169Robot metabolism: Toward machines that can grow by consuming other machines (science.org)
56 points by XzetaU8 2 days ago | 26 comments
170Tough news for our UK users (blog.janitorai.com)
331 points by airhangerf15 2 days ago | 291 comments
171Zuckerberg Expanding His Hawaii Compound. Part of It Sits Atop a Burial Ground (wired.com)
16 points by alach11 8 hours ago | 7 comments
172$11,000 Chinese EV with solid state batteries is coming soon (electrek.co)
4 points by xbmcuser 3 hours ago | 4 comments
173Async I/O on Linux in databases (blog.canoozie.net)
204 points by jtregunna 2 days ago | 94 comments
174NIH limits scientists to six applications per year (science.org)
85 points by pseudolus a day ago | 86 comments
175Earth will spin faster on July 22 to create 2nd-shortest day in history (space.com)
15 points by dangle1 13 hours ago | 0 comments
176Cancer risk doubles for Iowa, NC pesticide applicators who used carbaryl (thenewlede.org)
24 points by PaulHoule 18 hours ago | 0 comments
177Piano Keys (mathpages.com)
74 points by gametorch 7 days ago | 68 comments
178What happens when housing prices go down? (clmarohn.substack.com)
152 points by chmaynard a day ago | 320 comments
179Hungary's oldest library is fighting to save books from a beetle infestation (npr.org)
195 points by smollett 6 days ago | 30 comments
180