Submissions from sri.com

		TerraVision: A Terrain Visualization System (1994) [pdf] (sri.com)
		1 point by yubblegum 5 months ago \| past
		Reliability Issues from Computer Date and Time Problems (sri.com)
		1 point by thunderbong on Jan 13, 2025 \| past
		SRI’s radioactive contamination treatment is now in its first-in-human trial (sri.com)
		67 points by zdw on May 25, 2023 \| past \| 23 comments
		SRI researchers seek to produce food with just air water and electricity (sri.com)
		2 points by nothrowaways on April 25, 2023 \| past
		Palo Alto Research Center (PARC) to join SRI International (sri.com)
		257 points by sonoffett on April 24, 2023 \| past \| 118 comments
		An Analysis of Conficker (2009) (sri.com)
		13 points by hyperific on Jan 30, 2023 \| past \| 2 comments
		Trimmer: Context-Specific Code Reduction [pdf] (sri.com)
		3 points by ingve on Oct 3, 2022 \| past
		Structured Evidential Argumentation System (sri.com)
		1 point by tosh on July 22, 2020 \| past
		Pathway logic: modeling biological entities and processes (sri.com)
		3 points by harperlee on April 6, 2020 \| past
		Timeline for Logic, λ-Calculus, and Programming Language Theory (2012) [pdf] (sri.com)
		200 points by adamnemecek on Sept 2, 2019 \| past \| 34 comments
		Timeline for Logic, λ-Calculus, and Programming Language Theory [pdf] (sri.com)
		2 points by adamnemecek on Aug 30, 2019 \| past
		Design and Verification of Secure Systems (sri.com)
		2 points by octosphere on Jan 6, 2019 \| past
		TRIMMER: Application Specialization for Code Debloating [pdf] (sri.com)
		1 point by mpweiher on Aug 7, 2018 \| past
		TRIMMER: Application Specialization for Code Debloating [pdf] (sri.com)
		1 point by BerislavLopac on Aug 6, 2018 \| past
		TRIMMER: Application Specialization for Code Debloating [pdf] (sri.com)
		1 point by ingve on Aug 1, 2018 \| past
		Use of the Hough transformation to detect lines and curves in pictures (1971) [pdf] (sri.com)
		4 points by whatsoever on March 19, 2016 \| past
		Summer School on Formal Techniques (sri.com)
		1 point by vinchuco on June 28, 2015 \| past
		The Yices SMT Solver (sri.com)
		1 point by luu on June 20, 2014 \| past
		TCP/IP 40th Anniversary Multi-Generational Picnic (sri.com)
		2 points by promocha on May 6, 2014 \| past
		Magnetically controlled swarms of micro-robots (sri.com)
		3 points by netrc on April 22, 2014 \| past \| 1 comment
		Engelbart and the Dawn of Interactive Computing: 40th Anniversary Celebration (sri.com)
		1 point by gruseom on July 5, 2013 \| past \| 1 comment
		Peter G. Neumann's RISKS forum (sri.com)
		2 points by niels_olson on Oct 30, 2012 \| past
		Cognitive Assistant that Learns and Organizes (sri.com)
		3 points by hack_rohan on Nov 5, 2010 \| past \| 1 comment
		Happy Birthday ARPANET - 1st msg sent Oct 29 1969 (sri.com)
		46 points by jedwhite on Oct 29, 2010 \| past \| 13 comments
		An Analysis of the iKeeB (duh) iPhone Botnet (sri.com)
		2 points by r11t on Jan 6, 2010 \| past
		An Analysis of the iKeeB (duh) iPhone botnet (sri.com)
		7 points by bensummers on Dec 21, 2009 \| past \| 1 comment
		Practical composability for trustworthy architectures (sri.com)
		1 point by morpheism on Oct 31, 2009 \| past
		Overview of Confiker Variant C, the post-April 1st Virus (sri.com)
		3 points by tdonia on March 31, 2009 \| past \| 2 comments
		An Analysis of Conficker (sri.com)
		6 points by trop on March 20, 2009 \| past
		An Intelligent Personal Assistant for Task and Time Management (sri.com)
		3 points by njrc on March 12, 2009 \| past \| 1 comment

HN For You