Set theory with types (lawrencecpaulson.github.io)
123 points by baruchel 5 days ago | 18 comments
121The most male and female reasons to end up hospital (leobenedictus.substack.com)
72 points by speckx 4 hours ago | 57 comments
122Implications of AI to schools (twitter.com)
353 points by bilsbie 2 days ago | 423 comments
123Google steers Americans looking for health care into "junk insurance" (pluralistic.net)
136 points by hn_acker a day ago | 51 comments
124Covid in pregnancy raises child's risk for developmental disorders (news.harvard.edu)
10 points by hn_acker 4 hours ago | 2 comments
125Pebble Watch software is now open source (ericmigi.com)
1229 points by Larrikin 2 days ago | 223 comments
126US banks scramble to assess data theft after hackers breach financial tech firm (techcrunch.com)
110 points by indigodaddy a day ago | 29 comments
127Cool-retro-term: terminal emulator which mimics look and feel of CRTs (github.com)
291 points by michalpleban 2 days ago | 115 comments
128OpenStreetMap scales to serve users worldwide with Fastly (fastly.com)
15 points by raybb a day ago | 2 comments
129Ego, empathy, and humility at work (matthogg.fyi)
172 points by mrmatthogg 3 days ago | 58 comments
130APT Rust requirement raises questions (lwn.net)
262 points by todsacerdoti a day ago | 466 comments
131An Economy of AI Agents (arxiv.org)
137 points by nerder92 4 days ago | 96 comments
132Bytes before FLOPS: your algorithm is (mostly) fine, your data isn't (bitsdraumar.is)
64 points by bofersen 3 days ago | 14 comments
133The Doom Spenders (macleans.ca)
3 points by johnshades 6 hours ago | 0 comments
134Chrome Jpegxl Issue Reopened (issues.chromium.org)
289 points by markdog12 2 days ago | 132 comments
135Postmodernism for STEM Types: A Clear-Language Guide to Conflict Theory (qualiaadvocate.substack.com)
5 points by QualiaAdvocate 7 hours ago | 2 comments
136MUMPS – The Curious Database Powering America's Hospitals [video] (youtube.com)
4 points by skx001 7 hours ago | 0 comments
137A time-travelling door bug in Half Life 2 (mastodon.gamedev.place)
513 points by AshleysBrain 5 days ago | 85 comments
138What OpenAI did when ChatGPT users lost touch with reality (nytimes.com)
271 points by nonprofiteer 3 days ago | 507 comments
139OpenAI needs to raise $207B by 2030 so it can continue to lose money (ft.com)
52 points by cebert 20 hours ago | 20 comments
140General principles for the use of AI at CERN (home.web.cern.ch)
103 points by singiamtel 3 days ago | 78 comments
141A National Mission to Accelerate Science Through Artificial Intelligence (energy.gov)
11 points by kordlessagain 9 hours ago | 5 comments
142Chinese researchers simulate jamming Starlink in Taiwan conflict (taipeitimes.com)
9 points by perihelions 3 hours ago | 1 comment
143Show HN: OCR Arena – A playground for OCR models (ocrarena.ai)
211 points by kbyatnal 5 days ago | 62 comments
144TSMC Arizona outage saw fab halt, Apple wafers scrapped (culpium.com)
216 points by speckx 2 days ago | 100 comments
145This blog is now hosted on a GPS/LTE modem (2021) (blog.nns.ee)
68 points by xx_ns a day ago | 7 comments
146Show HN: Stun LLMs with thousands of invisible Unicode characters (gibberifier.com)
197 points by wdpatti 3 days ago | 105 comments
147Show HN: Wolfrominoes (demos.samgentle.com)
9 points by sgentle 4 days ago | 2 comments
148Launch HN: Karumi (YC F25) – Personalized, agentic product demos (karumi.ai)
39 points by tonilopezmr 2 days ago | 14 comments
149Study claims to provide first direct evidence of dark matter (theguardian.com)
12 points by giuliomagnifico 12 hours ago | 2 comments
150