I took a course in undergrad called the “theory of positive integers” which started us out by defining “1” and then we spent the entire semester doing proofs of elementary school mathematics. One of the most fun and memorable math classes of my life, tbh.

I wish taggers would target ads instead of public buildings and infrastructure or even normal businesses.

Many years ago I worked for a small research company that was trying to find applications for voice assistant technology. This was before LLMs mind you, so even more useless than today. One of their projects was “make an ai that will talk to your grandparents and transcribe their stories”.

I told them that if my kids did that to me I’d just never speak to them again.

They tried anyway, and surprise — it went nowhere.

I did this years ago for my % of daylight remaining clock with an arduino. It appears that I never published it. If you find yourself still stuck ping me and I can did you the code.