Hacker News

151.		Online Z3 Guide (microsoft.github.io)
		71 points by Bluestein 1 day ago \| hide \| 15 comments
152.		How do we prevent mathemathics from devolving into the Medieval Era of secrecy? (mathoverflow.net)
		153 points by jjgreen 1 day ago \| hide \| 142 comments
153.		Landing the Space Shuttle – A Flying Machine and the Thrill of a Lifetime (eaa.org)
		38 points by JojoFatsani 1 day ago \| hide \| 9 comments
154.		Doing Everyone Else's Job (yosefk.com)
		210 points by luu 2 days ago \| hide \| 109 comments
155.		OpenAI Discloses Six New Incidents of ‘Concerning’ A.I. Behavior (nytimes.com)
		102 points by jbegley 2 days ago \| hide \| 96 comments
156.		Hackers Used Anthropic's Claude to Break into OpenAI (wsj.com)
		12 points by JumpCrisscross 7 hours ago \| hide \| 2 comments
157.		Don't Make Job Referrals Public (melashri.net)
		39 points by elashri 1 day ago \| hide \| 15 comments
158.		Our framework for reporting model misalignment (openai.com)
		105 points by qprofyeh 1 day ago \| hide \| 96 comments
159.		Show HN: I built a new version of my fun spatial 3D online meeting app (flat.social)
		97 points by pawelwentpawel 1 day ago \| hide \| 52 comments
160.		Show HN: Craigslist for agent skills, curated by a human (skillbay.sh)
		25 points by skeptrune 1 day ago \| hide \| 18 comments
161.		An update on Wayback Machine access (blog.archive.org)
		681 points by ChrisArchitect 3 days ago \| hide \| 357 comments
162.		I can't stop thinking about Papua New Guinea (notnottalmud.substack.com)
		1144 points by networked 3 days ago \| hide \| 482 comments
163.		Tell the speakers that you liked their talks (ohhelloana.blog)
		317 points by whisper2020 2 days ago \| hide \| 89 comments
164.		Pentagon weighs pulling nearly a third of U.S. forces from Europe (nbcnews.com)
		76 points by consumer451 1 day ago \| hide \| 57 comments
165.		Mistral X Mozilla: Private, Multilingual AI Browsing (mistral.ai)
		582 points by vertigoruntime 2 days ago \| hide \| 204 comments
166.		Artificial intelligence now beats some of the best human forecasters (economist.com)
		123 points by ddp26 1 day ago \| hide \| 104 comments
167.		Reflections on Trusting Trust, Revisited: Poisoning Self-Modifying AI Coding (arxiv.org)
		11 points by sbulaev 22 hours ago \| hide \| 1 comment
168.		Apple Reference Image: A New Approach for Verified Photography (security.apple.com)
		527 points by imwally 3 days ago \| hide \| 352 comments
169.		My Thoughts on AI and LLMs
		9 points by leonardovb 9 hours ago \| hide \| 20 comments
170.		Bend 2 Is Here (github.com/bendlang)
		17 points by tempaccount420 1 day ago \| hide \| 3 comments
171.		Breaking the 1.58-bit Barrier for Ternary LLMs (arxiv.org)
		242 points by matt_d 2 days ago \| hide \| 40 comments
172.		A Netflix documentary led to resurrecting a 9/11 memorial (gwintrob.com)
		18 points by rafaelc 1 day ago \| hide \| discuss
173.		HarnessTax: How Much Does the Harness Matter for Coding Agents? (harnesstax.github.io)
		226 points by matt_d 2 days ago \| hide \| 93 comments
174.		A single firm is behind OpenAI, Anthropic, and Meta hacking scandals (effort.news)
		683 points by yusufozkan 3 days ago \| hide \| 253 comments
175.		Systemd is a suite of basic building blocks (systemd.io)
		35 points by Bluestein 9 hours ago \| hide \| 54 comments
176.		Code Scans (devin.ai)
		26 points by geoffbp 23 hours ago \| hide \| 9 comments
177.		How big are factorials? (thegreenplace.net)
		94 points by ibobev 2 days ago \| hide \| 41 comments
178.		More than 100k people in Japan are now aged 100 or older (bbc.com)
		209 points by karakoram 1 day ago \| hide \| 261 comments
179.		Ask HN: How to recover Google auth after phone stolen?
		110 points by keymasta 1 day ago \| hide \| 119 comments
180.		New evidence for hidden chambers beyond Tutankhamun's tomb (nature.com)
		18 points by rndsignals 1 day ago \| hide \| 1 comment
		More