Active Threads | Hacker News

61.		Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code (github.com/schildep)
		109 points by permute 21 hours ago \| 48 comments
62.		"Uncensored" open LLMs are measurably more optimistic than their base models (arxiv.org)
		38 points by oleczek 18 hours ago \| 19 comments
63.		What AI developers could learn from Charles Bukowski? (galjot.si)
		69 points by sedovsek 21 hours ago \| 49 comments
64.		If AI Writes All the Code, What Do the Programmers Do? (probablydance.com)
		25 points by ingve 1 day ago \| 43 comments
65.		Ubuntu's TPM encryption switches to snap kernel that blocks deb kernel packages (bare.systems)
		44 points by 6jQhWNYh 18 hours ago \| 22 comments
66.		Mondragon Corporation – a federation of co-operatives (wikipedia.org)
		171 points by brnt 22 hours ago \| 36 comments
67.		Ask HN: Crooked Timber showed showed me a virus captcha, What now?
		43 points by Jgoauh 19 hours ago \| 45 comments
68.		Fast Remediation Is the New Trust Model (JFrog and OpenAI Zero-Day Findings) (jfrog.com)
		57 points by 882542F3884314B 22 hours ago \| 37 comments
69.		What Even Are Microservices? (var0.xyz)
		41 points by tuxie_ 1 day ago \| 72 comments
70.		Sam Altman says people don't want an AI to act as CEO (businessinsider.com)
		13 points by vrganj 3 hours ago \| 11 comments
71.		Israel Is Paying Millions to Train AI Chatbots How to Talk About Gaza (dropsitenews.com)
		40 points by jaykru 5 hours ago \| 10 comments
72.		`bun init` automatically creates a Claude.md file by default (bun.com)
		16 points by achristmascarl 14 hours ago \| 16 comments
73.		Show HN: Beakdown – a game inspired by Joust/Skirmish (beakdown.fun)
		10 points by novlrdotcom 14 hours ago \| 16 comments
74.		Show HN: Flashpaper – Self-destructing secret sharing with no database (flashpaper.app)
		25 points by minpym 18 hours ago \| 11 comments
75.		Anatomy of a Frontier Lab Agent Intrusion: A Technical Timeline of the Incident (huggingface.co)
		78 points by artninja1988 13 hours ago \| 9 comments
76.		Ask HN: I lost any interest in technology. What do I do?
		10 points by fnoef 15 hours ago \| 15 comments
77.		Does every question mark deserve a Betteridge? (dynomight.net)
		11 points by zdw 7 hours ago \| 9 comments
78.		Show HN: Segue – Save context in one AI, load it in another by a short handle (segue.ai)
		31 points by csaguiar 21 hours ago \| 21 comments
79.		Iran Has Figured Out How to Overwhelm U.S. Air Defenses (theintercept.com)
		36 points by Jimmc414 13 hours ago \| 11 comments
80.		Trump administration bans new Chinese humanoid robots (bbc.com)
		20 points by BIackSwan 8 hours ago \| 10 comments
81.		Apple Upgrade (apple.com)
		14 points by johnbona 21 hours ago \| 15 comments
82.		Mark Zuckerberg Blasts Centralization of A.I. Power (nytimes.com)
		9 points by defrost 10 hours ago \| 9 comments
83.		Kids who own phones have poorer reading comprehension scores VS those who don't (phys.org)
		25 points by Markoff 23 hours ago \| 26 comments
84.		[flagged] Many "serious" mathematicians are aghast (twitter.com/lemire)
		21 points by tosh 21 hours ago \| 25 comments
85.		The AI risk is inside the labs (antirez.com)
		41 points by mirzap 1 day ago \| 16 comments
86.		No, You Are Not Living in a Computer Simulation (decodingvibes.com)
		15 points by altmanaltman 15 hours ago \| 10 comments
87.		The tired you can't explain (nathanielfishel.substack.com)
		6 points by bigfish2026 8 hours ago \| 6 comments
88.		Toolcraft (toolcraft.sh)
		52 points by handfuloflight 13 hours ago \| 9 comments
89.		Good CLI Design Is Mostly Silence (yarlson.dev)
		16 points by ankitg12 6 hours ago \| 5 comments
90.		Ask HN: Why so many [dead] replies?
		5 points by cyanclouds 21 hours ago \| 21 comments
		More