ArXiv Data Map: a map of papers on ArXivlmcinnes.github.io3 points·by x13pixels·2 jaar geleden·0 comments
x13pixels·4 maanden geleden·discussSomewhat 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 goldhttps://en.wikipedia.org/wiki/Kintsugi
x13pixels·3 jaar geleden·discuss> "...and the PC will shut down every hour"Likely to be as close to a production Windows environment as possible.
x13pixels·4 jaar geleden·discussPlease see The Thirty Million Line Problem https://www.youtube.com/watch?v=kZRE7HIO3vk
x13pixels·4 jaar geleden·discussIf 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
x13pixels·4 jaar geleden·discussIf 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-thinkingGood luck!
x13pixels·4 jaar geleden·discussIf 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/
x13pixels·5 jaar geleden·discussRemedyBG, a from-scratch Windows debugger. https://remedybg.itch.io/remedybg
x13pixels·8 jaar geleden·discussI'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