mindcrime's submissions

1.		OpenGauss: An open source, state of the art autoformalization harness for Lean (math.inc)
		2 points by mindcrime 3 days ago \| past \| discuss
2.		A2A Protocol Ships v1.0: Production-Ready Standard for Agent-to-Agent (a2a-protocol.org)
		2 points by mindcrime 9 days ago \| past \| discuss
3.		Cisco Donates Project CodeGuard to Coalition for Secure AI (oasis-open.org)
		2 points by mindcrime 19 days ago \| past
4.		David Shapiro - We Just Took the Dark Timeline [video] (youtube.com)
		3 points by mindcrime 20 days ago \| past
5.		Running a One Trillion-Parameter LLM Locally on AMD Ryzen AI Max+ Cluster (amd.com)
		75 points by mindcrime 21 days ago \| past \| 25 comments
6.		ArXiv preprint server clamps down on AI slop (science.org)
		4 points by mindcrime 37 days ago \| past \| 1 comment
7.		AMD ROCm 7.2 Released (phoronix.com)
		2 points by mindcrime 59 days ago \| past
8.		The Sandman – E.T.A. Hoffmann (gutenberg.org)
		1 point by mindcrime 59 days ago \| past
9.		AI and the Next Economy (oreilly.com)
		3 points by mindcrime 73 days ago \| past \| 1 comment
10.		Free Universal Construction Kit (wikipedia.org)
		2 points by mindcrime 76 days ago \| past \| 1 comment
11.		Venture capital outlook for 2026: 5 key trends (law.harvard.edu)
		1 point by mindcrime 84 days ago \| past
12.		A Message from AI Research Leaders: Join Us in Supporting OpenReview (openreview.net)
		1 point by mindcrime 3 months ago \| past
13.		Yale Shooting Problem (wikipedia.org)
		3 points by mindcrime 3 months ago \| past
14.		Intercepting Satellite Data with Trash – Gabe Emerson – SecretCon 2025 [video] (youtube.com)
		4 points by mindcrime 4 months ago \| past
15.		What Really Happens at Defcon ( @NetworkChuck) [video] (youtube.com)
		3 points by mindcrime 4 months ago \| past
16.		Index of /Ufocollect/UFO (textfiles.com)
		2 points by mindcrime 4 months ago \| past
17.		Algebraic Curves: An Introduction to Algebraic Geometry. William Fulton [pdf] (umich.edu)
		5 points by mindcrime 5 months ago \| past
18.		Rule-Based Expert Systems: The Mycin Experiments (1984) (shortliffe.net)
		92 points by mindcrime 5 months ago \| past \| 24 comments
19.		Amber and Valhalla – Incremental Design and Feature Arcs – Inside Java Podcast [video] (youtube.com)
		1 point by mindcrime 5 months ago \| past
20.		DEF CON 33 - 40 Years of Phrack: Hacking, Zines and Digital Dissent [video] (youtube.com)
		6 points by mindcrime 6 months ago \| past
21.		Groovy 5.0 Release Notes (groovy-lang.org)
		2 points by mindcrime 6 months ago \| past
22.		Happy 70th Birthday, Artificial Intelligence [pdf] (stanford.edu)
		4 points by mindcrime 6 months ago \| past \| 2 comments
23.		ACP Joins Forces with A2A Under the Linux Foundation's LF AI and Data (lfaidata.foundation)
		4 points by mindcrime 6 months ago \| past
24.		Can We Fix Social Media? Testing Prosocial Interventions Using Generative Sims (arxiv.org)
		4 points by mindcrime 6 months ago \| past \| 1 comment
25.		Inside Pantheon, the Cult Cartoon That's Blowing Minds in the AI Industry (vanityfair.com)
		5 points by mindcrime 7 months ago \| past \| 1 comment
26.		GSlip – GNU SLIP (Symmetric LIst Processor) in C++ (gnu.org)
		4 points by mindcrime 7 months ago \| past \| 1 comment
27.		Debian GNU/Hurd 2025 released (lwn.net)
		3 points by mindcrime 7 months ago \| past \| 1 comment
28.		Essential Books on the Science of Reading (imse.com)
		2 points by mindcrime 7 months ago \| past
29.		Why is it worth spending time on type theory? (2013) (math.stackexchange.com)
		89 points by mindcrime 7 months ago \| past \| 45 comments
30.		Frontier AI's Impact on the Cybersecurity Landscape (rdi.berkeley.edu)
		1 point by mindcrime 7 months ago \| past
		More