HN
Hacker News
Top
New
Best
Ask
Show
Jobs
cauterize
146 karma · joined March 9, 2014
submissions
comments
What is the current and accepted definition of formally proved software?
2 pts
·
cauterize
·
1
Dolphin Progress October and November 2020
dolphin-emu.org
·
1 pts
·
cauterize
·
0
Xfinity/Comcast to apply data caps nationally starting 2021
xfinity.com
·
4 pts
·
cauterize
·
1
Analyzing the Effects of Covid-19 on MPulse Traffic
blogs.akamai.com
·
1 pts
·
cauterize
·
0
Thinking with Types: Type-Level Programming in Haskell
leanpub.com
·
3 pts
·
cauterize
·
0
Programming Language Examples Alike Cookbook
pleac.sourceforge.net
·
2 pts
·
cauterize
·
0
Ask HN: What happened to # in URLs?
1 pts
·
cauterize
·
1