US District Ct. for W. Pa. allows removal of Venezuelans under Alien Enemies Act [pdf] (storage.courtlistener.com)
5 points by treetalker 7 hours ago | 3 comments
151Type-constrained code generation with language models (arxiv.org)
145 points by tough 7 hours ago | 51 comments
152Eliminating Array Bounds Checks (romainguy.dev)
3 points by mfiguiere 7 hours ago | 0 comments
153How (memory) safe is Zig? (2021) (scattered-thoughts.net)
34 points by vortex_ape 7 hours ago | 39 comments
154Ask HN: Relational DB to Graph DB?
2 points by mysteriousBag 7 hours ago | 0 comments
155The Colorless Man (Short Film Made with a $600 Budget) (old.reddit.com)
1 points by rubslopes 7 hours ago | 0 comments
156Preview release of ty, a type checker for Python (twitter.com)
3 points by jez 7 hours ago | 0 comments
157Show HN: Simple AI-powered commit msgs script (tomdekan.com)
1 points by tomdekan 7 hours ago | 0 comments
158OpenAI Is in Talks to Acquire Programming Tool Windsurf for $3B (nytimes.com)
3 points by donohoe 7 hours ago | 1 comment
159Y Combinator says Google is a monopolist, no comment about its OpenAI ties (techcrunch.com)
119 points by mastazi 7 hours ago | 39 comments
160Consultant Means Nothing (and Everything) – breaking down the mess of labels (davidraistrick.com)
1 points by keen99 7 hours ago | 1 comment
161The Vibes (taoofmac.com)
1 points by rcarmo 7 hours ago | 0 comments
162Florida Ban on "… Lewd Conduct" … Where Children Are Present Struck Down (reason.com)
2 points by treetalker 7 hours ago | 0 comments
163The Penultimate Conditional Syntax (dotat.at)
1 points by todsacerdoti 7 hours ago | 0 comments
164Pete Rose among players reinstated by MLB commissioner Rob Manfred (cincinnati.com)
2 points by gscott 7 hours ago | 0 comments
165AI Hallucination in Filings Involving … Law Firm Lead to $31K in Sanctions (reason.com)
1 points by treetalker 7 hours ago | 1 comment
166Cardiac: A CARDboard Illustrative Aid to Computation [pdf] (cs.drexel.edu)
26 points by throwaway71271 7 hours ago | 13 comments
167Y Combinator's Little Tech Summit was a bizarre snapshot of DC (theverge.com)
3 points by baobun 7 hours ago | 1 comment
168Insurers seek to surcharge California homeowners for L.A. County fire costs (latimes.com)
1 points by speckx 7 hours ago | 0 comments
169Research: Gen AI Makes People More Productive–and Less Motivated (hbr.org)
2 points by pseudolus 7 hours ago | 0 comments
170FreeBSD fans rally round zVault upstart (theregister.com)
13 points by rodrigo975 7 hours ago | 0 comments
171Matrix3D: Large Photogrammetry Model All-in-One (nju-3dv.github.io)
2 points by bentocorp 7 hours ago | 0 comments
172Gravity Could Be Proof We're Living in a Computer Simulation (gizmodo.com)
2 points by jchrisa 7 hours ago | 3 comments
173Amazon warns it'll terminate your account for screenshotting Prime Video (neowin.net)
12 points by bundie 7 hours ago | 2 comments
174Adwaita Sans and Mono Typefaces (gitlab.gnome.org)
3 points by cl3misch 7 hours ago | 0 comments
175Hearing Intervention, Social Isolation, and Loneliness (jamanetwork.com)
2 points by bookofjoe 7 hours ago | 0 comments
176ESPN direct-to-consumer streaming service will debut at $29.99 a month (apnews.com)
1 points by geox 7 hours ago | 1 comment
177Show HN: A C-Suite AI Agent Meant for SMB (askcaa.com)
1 points by iamasuperuser 7 hours ago | 1 comment
178Advanced Protection: Google's Strongest Security for Mobile Devices (security.googleblog.com)
2 points by canucker2016 7 hours ago | 0 comments
179Ask HN: Can anybody please explain this hack?
2 points by GWBullshit 7 hours ago | 14 comments
180