cauterize
- Karma
- 144
- Created
- 11 years ago
Recent Submissions
- 1. ▲ What is the current and accepted definition of formally proved software?
- 2. ▲ Dolphin Progress October and November 2020 (dolphin-emu.org)
- 3. ▲ Xfinity/Comcast to apply data caps nationally starting 2021 (xfinity.com)
- 4. ▲ Analyzing the Effects of Covid-19 on MPulse Traffic (blogs.akamai.com)
- 5. ▲ Thinking with Types: Type-Level Programming in Haskell (leanpub.com)