ironyman's submissions

1.		Formalizing a proof in Lean using Claude Code [video] (youtube.com)
		5 points by ironyman 1 day ago \| past \| discuss
2.		Open Source Models Score Low on ARC-AGI-2 Reasoning Benchmark (xcancel.com)
		2 points by ironyman 7 days ago \| past \| discuss
3.		X Is Drowning in Disinformation Following US and Israeli Attack on Iran (wired.com)
		12 points by ironyman 7 days ago \| past \| 1 comment
4.		Michael Burry Reveals Accounting Tricks of Mag 7 Firms to Inflate Earnings (ibtimes.co.uk)
		3 points by ironyman 12 days ago \| past \| discuss
5.		xAI and Pentagon reach deal to use Grok in classified systems (axios.com)
		61 points by ironyman 13 days ago \| past \| 63 comments
6.		It is time for Europe to weaponise its chokepoints (ft.com)
		2 points by ironyman 15 days ago \| past \| 1 comment
7.		U.S. releases new details on alleged secret Chinese nuclear test (npr.org)
		9 points by ironyman 20 days ago \| past \| 1 comment
8.		Hyperscaler Spending to Hit over $600B (axios.com)
		1 point by ironyman 26 days ago \| past
9.		Dream engineering can help solve 'puzzling' questions (northwestern.edu)
		3 points by ironyman 27 days ago \| past
10.		Alphabet selling rare 100-year bonds to help fund AI investment (arstechnica.com)
		5 points by ironyman 27 days ago \| past
11.		US Accuses China of Secret Nuclear Explosive Tests (newsweek.com)
		6 points by ironyman 31 days ago \| past \| 2 comments
12.		Economy Layoffs in January were the highest to start a year since 2009 (cnbc.com)
		5 points by ironyman 32 days ago \| past
13.		Majority of Trump voters back solar power, poll finds (axios.com)
		20 points by ironyman 33 days ago \| past \| 5 comments
14.		AI Bots Are Now a Significant Source of Web Traffic (wired.com)
		5 points by ironyman 33 days ago \| past
15.		Elon Musk Has Grand Plans for Data Centers in Space. Experts Are Skeptical (pcmag.com)
		4 points by ironyman 33 days ago \| past \| 1 comment
16.		Astronauts Are Going Back to the Moon for the First Time in Half a Century (time.com)
		2 points by ironyman 39 days ago \| past \| 5 comments
17.		Africa's installed PV capacity estimated above 63 GW (pv-magazine.com)
		1 point by ironyman 45 days ago \| past
18.		Discovery of Naturally Occurring Single-Walled Carbon Nanotubes on the Moon (acs.org)
		1 point by ironyman 47 days ago \| past
19.		Trump wants tech companies to foot the bill for new power plants because of AI (cnbc.com)
		9 points by ironyman 52 days ago \| past \| 2 comments
20.		Gen Z are arriving to college unable to even read a sentence (fortune.com)
		7 points by ironyman 58 days ago \| past \| 1 comment
21.		It seems inevitable that all the GPUs are going to live in space (xcancel.com)
		2 points by ironyman 59 days ago \| past \| 1 comment
22.		Will memory fail the AI boom? (sdxcentral.com)
		1 point by ironyman 60 days ago \| past
23.		AI chip frenzy to wallop DRAM prices with 70% hike (theregister.com)
		6 points by ironyman 61 days ago \| past
24.		CIA Source Inside Venezuelan Government Helped Track Maduro (nytimes.com)
		6 points by ironyman 65 days ago \| past \| 1 comment
25.		MrBeast's former manager says the age of social-media superstars is fading (businessinsider.com)
		3 points by ironyman 71 days ago \| past
26.		What the Smartest Minds Think About AI (wsj.com)
		2 points by ironyman 78 days ago \| past
27.		Mitt Romney: Tax the Rich, Like Me (nytimes.com)
		15 points by ironyman 80 days ago \| past \| 4 comments
28.		Western carmakers 'in fight for lives' against Chinese rivals, says Ford boss (theguardian.com)
		5 points by ironyman 3 months ago \| past \| 3 comments
29.		Why U.S. senator in top Intel post wants more spying on Chinese companies (cnbc.com)
		2 points by ironyman 3 months ago \| past
30.		Australian teens are planning to get around their social media ban (newscientist.com)
		6 points by ironyman 3 months ago \| past \| 2 comments
		More