Submissions from darpa.mil

		DARPA christens unmanned ship aimed at revolutionizing naval capability (darpa.mil)
		1 point by geox 32 days ago \| past
		Cyber First Aid (darpa.mil)
		2 points by DARPANews 40 days ago \| past \| 1 comment
		Tractor: Translating all C to Rust (darpa.mil)
		2 points by hhs 60 days ago \| past
		ExpMath: Exponentiating Mathematics (darpa.mil)
		1 point by bookofjoe 75 days ago \| past
		DARPA to demonstrate revolutionary drone capabilities for warfighters (darpa.mil)
		5 points by geox 79 days ago \| past
		DARPA program sets distance record for power beaming (darpa.mil)
		152 points by gnabgib 3 months ago \| past \| 106 comments
		expMath: Exponentiating Mathematics (darpa.mil)
		3 points by felineflock 3 months ago \| past
		HACMS: High-Assurance Cyber Military Systems (darpa.mil)
		3 points by mmooss 4 months ago \| past
		The Heilmeier Catechism (darpa.mil)
		3 points by 1970-01-01 5 months ago \| past
		DARPA eyes companies targeting industrially useful quantum computers (darpa.mil)
		2 points by mathgenius 5 months ago \| past
		Nomars: No Manning Required Ship (darpa.mil)
		25 points by croes 6 months ago \| past \| 50 comments
		DARPA selects two utility-scale quantum computing approaches for evaluation (darpa.mil)
		1 point by mathgenius 7 months ago \| past
		Technology research and development effort aims to tackle illicit finance (darpa.mil)
		1 point by rntn 7 months ago \| past
		Research – DARPA (darpa.mil)
		1 point by rolph 9 months ago \| past
		Voices from DARPA Podcast Episode 83: When Should Machines Decide? (darpa.mil)
		1 point by Bender 10 months ago \| past \| 1 comment
		A Selected History of DARPA Innovation (darpa.mil)
		2 points by sandwichsphinx 10 months ago \| past
		Dart and Coordinated Robotics Take Top Spots in the DARPA Triage Challenge (darpa.mil)
		3 points by Bender 11 months ago \| past
		ROCkN: Providing GPS-quality timing accuracy with portable optical atomic clocks (darpa.mil)
		1 point by fanf2 11 months ago \| past
		Harnessing Enzymatic Activity for Lifesaving Remedies (Healr) (darpa.mil)
		2 points by keepamovin 11 months ago \| past
		Teaching AI What It Should and Shouldn't Do (darpa.mil)
		1 point by Bender 11 months ago \| past
		Teaching AI What It Should and Shouldn't Do (darpa.mil)
		1 point by Bender 11 months ago \| past
		A New Kind of Hidden Networking Science (darpa.mil)
		4 points by Bender 11 months ago \| past
		DARPA Invites Proposals for AI Biotechnology Pitch Days Dec. 5-6 (darpa.mil)
		1 point by Bender 12 months ago \| past
		Resilient Anonymous Communication for Everyone (RACE) (darpa.mil)
		94 points by keepamovin on Aug 30, 2024 \| past \| 73 comments
		Eliminating Memory Safety Vulnerabilities Once and for All (darpa.mil)
		1 point by nercury on Aug 21, 2024 \| past
		Translating All C to Rust (Tractor) (darpa.mil)
		2 points by ivanleoncz on Aug 15, 2024 \| past
		Liberty Lifter (darpa.mil)
		1 point by rbanffy on Aug 14, 2024 \| past
		Eliminating Memory Safety Vulnerabilities Once and for All (darpa.mil)
		3 points by Tomte on Aug 4, 2024 \| past
		Eliminating Memory Safety Vulnerabilities Once and for All (darpa.mil)
		2 points by Bender on Aug 3, 2024 \| past
		Eliminating Memory Safety Vulnerabilities Once and for All (darpa.mil)
		1 point by keepamovin on Aug 1, 2024 \| past
		More