andsoitis's submissions

1.		AI infighting hits a boiling point (axios.com)
		1 point by andsoitis 6 hours ago \| past \| discuss
2.		Rust Memory Management: The Playroom Analogy (adacore.com)
		1 point by andsoitis 10 hours ago \| past \| discuss
3.		How to Prove the Correctness of AI-Generated Code Using Formal Methods (adacore.com)
		3 points by andsoitis 10 hours ago \| past \| discuss
4.		Formal Methods Practice and Theory (adacore.com)
		2 points by andsoitis 10 hours ago \| past \| discuss
5.		Emmanuel Macron declares a European state of emergency (economist.com)
		6 points by andsoitis 11 hours ago \| past \| 1 comment
6.		Building Netflix (colossus.com)
		2 points by andsoitis 1 day ago \| past \| discuss
7.		When management mantras help–and when they hurt (economist.com)
		1 point by andsoitis 1 day ago \| past \| discuss
8.		Training World Models – Yann Le Cun (drive.google.com)
		1 point by andsoitis 1 day ago \| past \| 1 comment
9.		A History of a Novel Idea (cwu.edu)
		1 point by andsoitis 1 day ago \| past \| discuss
10.		Undifferentiated Phenomenological Continuum (alexbierach.com)
		1 point by andsoitis 1 day ago \| past \| discuss
11.		Decagonal and Quasi-Crystalline Tilings in Medieval Islamic Architecture [pdf] (rutgers.edu)
		2 points by andsoitis 1 day ago \| past \| discuss
12.		What VL-JEPA Could Revolutionize in Multimodal Intelligence (medium.com/harshit.sinha0910)
		2 points by andsoitis 1 day ago \| past \| discuss
13.		VL-JEPA: Joint Embedding Predictive Architecture for Vision-Language (arxiv.org)
		2 points by andsoitis 1 day ago \| past \| discuss
14.		xAI Merger Poses Bigger Threat to OpenAI, Anthropic (bloomberg.com)
		4 points by andsoitis 3 days ago \| past \| discuss
15.		Adults are propping up the toy industry (economist.com)
		3 points by andsoitis 4 days ago \| past \| discuss
16.		Web of Knowledge (autonoma.ca)
		3 points by andsoitis 4 days ago \| past \| discuss
17.		Elon Musk is betting his business empire on AI (economist.com)
		9 points by andsoitis 5 days ago \| past \| 4 comments
18.		Roman industrial hub discovered on banks of River Wear (durham.ac.uk)
		79 points by andsoitis 5 days ago \| past \| 17 comments
19.		1995: 16M People on the Web (medium.com/data-is-beautiful)
		2 points by andsoitis 5 days ago \| past \| discuss
20.		Input Latency 1977 – 2017 (danluu.com)
		2 points by andsoitis 5 days ago \| past \| discuss
21.		US launches plan to tackle China's critical minerals dominance (bbc.com)
		2 points by andsoitis 5 days ago \| past \| discuss
22.		Peak Human (cato.org)
		1 point by andsoitis 5 days ago \| past \| discuss
23.		A plea for lean software [pdf] (cr.yp.to)
		2 points by andsoitis 5 days ago \| past \| discuss
24.		Why more companies are recognizing the benefits of keeping older employees (stanford.edu)
		298 points by andsoitis 6 days ago \| past \| 145 comments
25.		The world is more equal than you think (economist.com)
		23 points by andsoitis 6 days ago \| past \| 74 comments
26.		A new nuclear arms race beckons (economist.com)
		2 points by andsoitis 6 days ago \| past \| 1 comment
27.		Elon Musk's mega-merger makes little sense business sense (economist.com)
		6 points by andsoitis 6 days ago \| past \| 2 comments
28.		Haven 1 – the first commercial space station (vastspace.com)
		1 point by andsoitis 7 days ago \| past \| 1 comment
29.		Affordable, rapid bootstrapping of space industry and solar system civilization (arxiv.org)
		3 points by andsoitis 7 days ago \| past \| discuss
30.		NASA Enables Construction Technology for Moon and Mars Exploration (nasa.gov)
		6 points by andsoitis 7 days ago \| past \| discuss
		More