x13pixels
Re:Ju Ci (锔瓷): The Ancient Art of Repairing Porcelain
on Monday March 23, 2026 @08:22PM (#47497051)
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
Re:Get a Windows 11 development environment
on Monday January 15, 2024 @08:17AM (#39000598)
> "...and the PC will shut down every hour"
Likely to be as close to a production Windows environment as possible.
Re:From zero to 10M lines of Kotlin
on Tuesday October 25, 2022 @08:11PM (#33337987)
Please see The Thirty Million Line Problem https://www.youtube.com/watch?v=kZRE7HIO3vk
Re:Lite: A lightweight text editor written in Lua
on Tuesday October 11, 2022 @10:14PM (#33171944)
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
Re:Ask HN: How to learn mathematical proofs from scratch?
on Sunday June 19, 2022 @01:58PM (#31801683)
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!
Re:A new programming language for high-performance computers
on Friday February 11, 2022 @10:05PM (#30309544)
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/
Re:Ask HN: Those making $500/month on side projects in 2022 – Show and...
on Wednesday January 19, 2022 @12:53PM (#29997247)
RemedyBG, a from-scratch Windows debugger. https://remedybg.itch.io/remedybg
Re:Web Architecture 101
on Thursday July 12, 2018 @07:58PM (#17519587)
I'm sure this has been said before but this reminds me of https://www.youtube.com/watch?v=CJQU22Ttpwc