What is cosh(List(Bool))? Or beyond algebra: analysis of data types (cofault.com)
3 points by todsacerdoti 6 hours ago | 0 comments
181A Common Semiconductor Just Became a Superconductor (sciencedaily.com)
3 points by tsenturk 6 hours ago | 1 comment
182From a Curious Outsider to a GreptimeDB Advocator Journey into Contribution (greptime.com)
3 points by yihong0618 6 hours ago | 0 comments
183'The Truth Is Paywalled.' Internet Vets Lament the State of the 'Open' Web (pcmag.com)
2 points by guiambros 7 hours ago | 1 comment
184Lab-Grown Chocolate (theguardian.com)
3 points by arvindh-manian 7 hours ago | 0 comments
185AI Is Making It Harder for Junior Developers to Get Hired (finalroundai.com)
3 points by tamnd 7 hours ago | 0 comments
186Polish to be the most effective language for prompting AI, new study reveals (euronews.com)
3 points by healsdata 7 hours ago | 1 comment
187The $17B nuclear startup without any revenue (ft.com)
3 points by moose_man 7 hours ago | 0 comments
188Australia Introduces Streaming Content Quotas (deadline.com)
2 points by zdw 7 hours ago | 0 comments
189"Fairly Highly Valued" Market: Fed Chair Opines on Stocks, but Should We Listen? (aswathdamodaran.blogspot.com)
3 points by kamaraju 7 hours ago | 0 comments
190The Paradox of Intelligence (medium.com)
5 points by felineflock 7 hours ago | 1 comment
191The Microchip Era Is About to End (wsj.com)
2 points by bogomipz 7 hours ago | 0 comments
192Show HN: Notifikai – Set and get reminders through simple text messages (notifikai.com)
4 points by libiny 7 hours ago | 3 comments
193OneNote's Genesis (2004) (web.archive.org)
2 points by mickelsen 7 hours ago | 0 comments
194Show HN: Free Quantum-Resistant Timestamping API (Dual-Signature and Bitcoin)
4 points by sasasavic 7 hours ago | 1 comment
195Papers retracted for using a copyrighted questionnaire (lee-phillips.org)
4 points by leephillips 7 hours ago | 0 comments
196How to Run N8n for Free Forever on Google Cloud (medium.com)
3 points by rovmut 7 hours ago | 0 comments
197The Text Sizing Protocol (sw.kovidgoyal.net)
3 points by vinhnx 7 hours ago | 0 comments
198Brand Story and Philosophy – #4 John Wainwright – Pioneering Programmer (hyperflow-ai.com)
2 points by hyperflow-ai 7 hours ago | 1 comment
199Show HN: Anonymous Peer to Peer Therapy (apps.apple.com)
4 points by lakshmananm 7 hours ago | 0 comments
200How I manage my medical condition (Year in Remission)So I Can Work on My Startup
2 points by iliaov 7 hours ago | 0 comments
201Theory – how to make it so nobody's poor
7 points by AdityaNa15 7 hours ago | 4 comments
202Inspiration (2024) (tdhopper.com)
2 points by vinhnx 7 hours ago | 0 comments
203California Approves Redistricting Plan (nytimes.com)
14 points by JumpCrisscross 8 hours ago | 13 comments
204Generalizing Test-Time Compute-Optimal Scaling as an Optimizable Graph (huggingface.co)
2 points by veryluckyxyz 8 hours ago | 0 comments
205Russia blocks Ookla's Speedtest due to internet security threats (July 2025) (reuters.com)
2 points by cobertos 8 hours ago | 0 comments
206PostgreSQL 18 – Virtual Generated Columns (hashrocket.com)
1 points by doppp 8 hours ago | 0 comments
207Voice Processing and Synthesis by Performance Sampling and Spectral Models(2008) (web.archive.org)
2 points by q7m 8 hours ago | 2 comments
208Epic vs. Google settlement: Opening up Android (twitter.com)
87 points by azhenley 8 hours ago | 21 comments
209Commitments on Model Deprecation and Preservation (anthropic.com)
2 points by dgs_sgd 8 hours ago | 0 comments
210