cauterize | Dark Hacker News

1.	What is the current and accepted definition of formally proved software? 2 points by cauterize 261 days ago \| 1 comment
2.	Dolphin Progress October and November 2020(dolphin-emu.org) 1 points by cauterize 5 years ago \| 0 comments
3.	Xfinity/Comcast to apply data caps nationally starting 2021(xfinity.com) 4 points by cauterize 5 years ago \| 1 comment
4.	Analyzing the Effects of Covid-19 on MPulse Traffic(blogs.akamai.com) 1 points by cauterize 6 years ago \| 0 comments
5.	Thinking with Types: Type-Level Programming in Haskell(leanpub.com) 3 points by cauterize 7 years ago \| 0 comments