Viewing profile — x13pixels

Somewhat related is Kintsugi > Kintsugi is the Japanese art of repairing broken pottery by mending the areas of breakage with urushi lacquer dusted or mixed with powdered gold http…

> "...and the PC will shut down every hour" Likely to be as close to a production Windows environment as possible.

Please see The Thirty Million Line Problem https://www.youtube.com/watch?v=kZRE7HIO3vk

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

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-thi…

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 D…

RemedyBG, a from-scratch Windows debugger. https://remedybg.itch.io/remedybg

I'm sure this has been said before but this reminds me of https://www.youtube.com/watch?v=CJQU22Ttpwc