x13pixels
Joined 8 years ago
Karma
84
Submissions
10
Member since
Jul 13
Recent submissions
Comment · 7 months ago
Comment · 2 years ago
> "...and the PC will shut down every hour"
Likely to be as close to a production Windows environment as possible.
Comment · 4 years ago
Please see The Thirty Million Line Problem https://www.youtube.com/watch?v=kZRE7HIO3vk
Comment · 4 years ago
If you are interested, the write up on the cached software renderer used in Lite is written up here: https://rxi.github.io/cached_software_rendering.html
Comment · 4 years ago
If you are into Coursera / video lectures this lecture series fits the bill for "exceedingly gentle introduction to writing proofs": https://www.coursera.org/learn/mathematical-thinking
Good luck!
Comment · 4 years ago
If you are interested in building programs with proofs of correctness, one of the authors of A Tensor Language (ATL), Adam Chlipala, has a book called "Certified Programming with Dependent Types" that can be read at http://adam.chlipala.net/cpdt/
Comment · 4 years ago
RemedyBG, a from-scratch Windows debugger. https://remedybg.itch.io/remedybg
Comment · 8 years ago
I'm sure this has been said before but this reminds me of https://www.youtube.com/watch?v=CJQU22Ttpwc
> Kintsugi is the Japanese art of repairing broken pottery by mending the areas of breakage with urushi lacquer dusted or mixed with powdered gold
https://en.wikipedia.org/wiki/Kintsugi