Lucas
LightNews LightNews
banner
priime.bsky.social
Lucas
@priime.bsky.social
44 followers 260 following 45 posts
Interested in Racket, Emacs, NixOS
Posts Replies Media Videos
priime.bsky.social
Players of Asahikawa Shihou collected dirt from the Koshien stadium after losing.
August 7, 2025 at 12:31 PM
priime.bsky.social
Koryo (Hiroshima) defeats Asahikawa Shihou (North Hokkaido) in the first round of the Summer Koshien! Great game.
August 7, 2025 at 12:31 PM
priime.bsky.social
"Mori" tea experience at ITO in Makati
Cup of the first infusion of a hot brew tea Third infusion of tea but cold "Mizudashi" -- iced tea brew
January 4, 2025 at 2:06 PM
priime.bsky.social
Filter coffee experience at ITO in Makati
Making cold-brew filter coffee "Experimental Brew - Semi-cold Extraction" A cup of cold coffee "Experimental Brew - Semi-cold Extraction" A cup with hot coffee and some snack "Limited Filter - Hot Brew"
January 4, 2025 at 2:02 PM
priime.bsky.social
Reminds me of this:
Excerpt from "Axiomatic Set Theory", Tom Leinster. I once began a talk to a large roomful of mathematicians by asking everyone to raise their hand if they were sure they knew the definition of group. Everyone’s hand went up. While the hands stayed up, we agreed that the definition began: ‘a group is a set equipped with ...’. So, I said, if you’re confident you know what a group is, and the definition of group depends on the definition of set, then you must be at least as confident that you know what a set is. Nervous laughter. Then I asked the audience to keep their hands up if they were sure they knew what a set was—if they could state a rigorous definition or axioms. More nervous chuckles, and almost every hand went down.
December 22, 2024 at 2:30 PM