Hacker News

1.		Magistral — the first reasoning model by Mistral AI (mistral.ai)
		411 points by meetpateltech 3 hours ago \| hide \| 155 comments
2.		Show HN: Chili3d – A open-source, browser-based 3D CAD application
		89 points by xiange 2 hours ago \| hide \| 19 comments
3.		A Blacklisted American Magician Became a Hero in Brazil (wsj.com)
		20 points by bookofjoe 47 minutes ago \| hide \| 9 comments
4.		Malleable software: Restoring user agency in a world of locked-down apps (inkandswitch.com)
		43 points by jessmartin 2 hours ago \| hide \| 3 comments
5.		Denuvo Analysis (connorjaydunn.github.io)
		117 points by StefanBatory 4 hours ago \| hide \| 50 comments
6.		Spoofing OpenPGP.js signature verification (codeanlabs.com)
		51 points by ThomasRinsma 3 hours ago \| hide \| 13 comments
7.		Faster, easier 2D vector rendering [video] (youtube.com)
		77 points by raphlinus 4 hours ago \| hide \| 20 comments
8.		Dubious Math in Infinite Jest (2009) (thehowlingfantods.com)
		40 points by rafaepta 2 hours ago \| hide \| 30 comments
9.		Show HN: PyDoll – Async Python scraping engine with native CAPTCHA bypass (github.com/autoscrape-labs)
		67 points by thalissonvs 3 hours ago \| hide \| 18 comments
10.		The Concurrency Trap: How an Atomic Counter Stalled a Pipeline (conviva.com)
		7 points by delifue 1 hour ago \| hide \| 1 comment
11.		Show HN: High End Color Quantizer (github.com/big-nacho)
		83 points by big-nacho 5 hours ago \| hide \| 24 comments
12.		Launch HN: BitBoard (YC X25) – AI agents for healthcare back-offices
		18 points by arcb 2 hours ago \| hide \| 5 comments
13.		Teaching National Security Policy with AI (steveblank.com)
		24 points by enescakir 4 hours ago \| hide \| 11 comments
14.		Containerization is a Swift package for running Linux containers on macOS (github.com/apple)
		687 points by gok 21 hours ago \| hide \| 353 comments
15.		JavelinGuard: Low-Cost Transformer Architectures for LLM Security (arxiv.org)
		17 points by sharathr 1 hour ago \| hide \| 1 comment
16.		Reinforcement Pre-Training (arxiv.org)
		34 points by frozenseven 4 hours ago \| hide \| 10 comments
17.		Tell HN: Help restore the tax deduction for software dev in the US (Section 174)
		2326 points by dang 1 day ago \| hide \| 845 comments
18.		Onlook (YC W25) Is Hiring an engineer in SF
		5 hours ago \| hide
19.		A Primer on Molecular Dynamics (owlposting.com)
		58 points by EvgeniyZh 6 hours ago \| hide \| 7 comments
20.		Wharton Esherick and the Armstrong Linoleum Company (whartonesherickmuseum.org)
		10 points by thomasjb 2 hours ago \| hide \| 2 comments
21.		Animate a mesh across a sphere's surface (bradwoods.io)
		117 points by surprisetalk 13 hours ago \| hide \| 13 comments
22.		Finding Atari Games in Randomly Generated Data (bbenchoff.github.io)
		87 points by wanderingjew 4 hours ago \| hide \| 19 comments
23.		Sly Stone has died (go.com)
		363 points by brudgers 20 hours ago \| hide \| 61 comments
24.		OpenAI dropped the price of o3 by 80% (twitter.com/sama)
		11 points by mfiguiere 17 minutes ago \| hide \| 3 comments
25.		'Proof' Review: Finding Truth in Numbers (wsj.com)
		28 points by Hooke 7 hours ago \| hide \| 17 comments
26.		Why agents are bad pair programmers (searls.co)
		235 points by sh_tomer 18 hours ago \| hide \| 176 comments
27.		Show HN: Munal OS: a graphical experimental OS with WASM sandboxing (github.com/askannz)
		288 points by Gazoche 23 hours ago \| hide \| 93 comments
28.		Apple announces Foundation Models and Containerization frameworks, etc (apple.com)
		804 points by thm 1 day ago \| hide \| 434 comments
29.		Successful people set constraints rather than chasing goals (joanwestenberg.com)
		338 points by MaysonL 12 hours ago \| hide \| 181 comments
30.		CompactLog – Solving CT Scalability with LSM-Trees (github.com/barre)
		24 points by Eikon 7 hours ago \| hide \| 9 comments
		More