x13pixels

7 ms·

1. 1.▲
   by x13pixels 6mo ago

   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 https://en.wikipedia.org/wiki/Kintsugi
2. 2.▲
   ArXiv Data Map: a map of papers on ArXiv(lmcinnes.github.io)

   3 points by x13pixels 2y ago|0 comments
3. 3.▲
   by x13pixels 3y ago

   > "...and the PC will shut down every hour" Likely to be as close to a production Windows environment as possible.
4. 4.▲
   by x13pixels 4y ago

   Please see The Thirty Million Line Problem https://www.youtube.com/watch?v=kZRE7HIO3vk
5. 5.▲
   by x13pixels 4y 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
6. 6.▲
   by x13pixels 4y 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!
7. 7.▲
   by x13pixels 5y 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:/&#
8. 8.▲
   by x13pixels 5y ago

   RemedyBG, a from-scratch Windows debugger. https://remedybg.itch.io/remedybg
9. 9.▲
   by x13pixels 8y ago

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