macleginn's submissions

1.		Can Opus 4.6 Do Category Theory in Lean? (stephendiehl.com)
		1 point by macleginn 7 minutes ago \| past \| discuss
2.		OpenAI Tapped for Voice Control Tech in US Drone Swarm Challenge (bloomberg.com)
		1 point by macleginn 11 hours ago \| past \| 1 comment
3.		SpaceX to Compete in Pentagon Contest for Autonomous Drone Tech (bloomberg.com)
		2 points by macleginn 11 hours ago \| past \| 2 comments
4.		AI-supported mammography screening leads to better patient outcomes (thelancet.com)
		2 points by macleginn 18 days ago \| past
5.		Howard Lutnick: Why the Trump administration is going to Davos (ft.com)
		2 points by macleginn 27 days ago \| past \| 1 comment
6.		Louis Mosley of Palantir at the Science, Innovation and Technology Committee (committees.parliament.uk)
		3 points by macleginn 45 days ago \| past
7.		Construction of ubiquitous surveillance has proceeded unhindered for many years (computer.rip)
		3 points by macleginn 51 days ago \| past
8.		How Quake.exe got its TCP/IP stack (fabiensanglard.net)
		2 points by macleginn 3 months ago \| past \| 1 comment
9.		The fall of Icarus: A skydiver captured falling in front of the Sun's surface (iflscience.com)
		2 points by macleginn 3 months ago \| past
10.		One battle after another: using RL-guided reasoning for next-token prediction (nvidia.com)
		1 point by macleginn 4 months ago \| past
11.		Silicon Valley enabled brutal mass detention and surveillance in China (apnews.com)
		29 points by macleginn 5 months ago \| past \| 3 comments
12.		DeepSeek failed to train a new model without using Nvidia hardware (ft.com)
		4 points by macleginn 6 months ago \| past \| 2 comments
13.		The second attempt by Birmingham to implement Oracle Fusion remains at risk (theregister.com)
		7 points by macleginn 6 months ago \| past
14.		Stock trading AIs are naturaly prone to collusion (ssrn.com)
		4 points by macleginn 6 months ago \| past
15.		Environmental Costs of Lithium Mining (bbc.co.uk)
		5 points by macleginn 7 months ago \| past
16.		Fast Speculative Decoding Algorithms for Heterogeneous Vocabularies (icml.cc)
		2 points by macleginn 7 months ago \| past
17.		EU guidelines and age verification app prototype for protection of children (europa.eu)
		2 points by macleginn 7 months ago \| past
18.		Klarna CEO says AI helped company shrink workforce by 40% (cnbc.com)
		2 points by macleginn 9 months ago \| past
19.		Meta warns of 'worse' experience for European users (bbc.co.uk)
		4 points by macleginn 9 months ago \| past
20.		China tests non-nuclear hydrogen bomb (scmp.com)
		9 points by macleginn 10 months ago \| past \| 2 comments
21.		The Return of the Dire Wolf (time.com)
		5 points by macleginn 10 months ago \| past \| 1 comment
22.		Copilot gaming experience: Quake 2 (copilot.microsoft.com)
		2 points by macleginn 10 months ago \| past \| 1 comment
23.		Remote Access Backdoor Discovered in Chinese Robot Dog Unitree Go1 (cyberinsider.com)
		28 points by macleginn 10 months ago \| past \| 3 comments
24.		OpenAI plans to release open-weight language model in coming months (reuters.com)
		2 points by macleginn 10 months ago \| past \| 1 comment
25.		Rehabilitating DeepSeek (chinamediaproject.org)
		1 point by macleginn 11 months ago \| past
26.		System prompts in LLMs do not reliably override user prompts (arxiv.org)
		1 point by macleginn 11 months ago \| past
27.		Comment on "InAs-Al hybrid devices passing the topological gap protocol" (arxiv.org)
		1 point by macleginn 11 months ago \| past
28.		Tactical Developments During the Third Year of the Russo–Ukrainian War [pdf] (rusi.org)
		2 points by macleginn 12 months ago \| past
29.		Solo: AI-Generated Websites by Mozilla (soloist.ai)
		1 point by macleginn on Feb 5, 2025 \| past \| 1 comment
30.		ChatGPT search is now available for all (chatgpt.com)
		2 points by macleginn on Feb 5, 2025 \| past \| 1 comment
		More