cauterize's submissions

1.		What is the current and accepted definition of formally proved software?
		2 points by cauterize 5 months ago \| past \| 1 comment
2.		Dolphin Progress October and November 2020 (dolphin-emu.org)
		1 point by cauterize on Dec 10, 2020 \| past
3.		Xfinity/Comcast to apply data caps nationally starting 2021 (xfinity.com)
		4 points by cauterize on Nov 22, 2020 \| past \| 1 comment
4.		Analyzing the Effects of Covid-19 on MPulse Traffic (akamai.com)
		1 point by cauterize on May 11, 2020 \| past
5.		Thinking with Types: Type-Level Programming in Haskell (leanpub.com)
		3 points by cauterize on Nov 9, 2018 \| past
6.		Programming Language Examples Alike Cookbook (sourceforge.net)
		2 points by cauterize on Sept 23, 2014 \| past
7.		Ask HN: What happened to # in URLs?
		1 point by cauterize on April 24, 2014 \| past \| 1 comment