an arbitrary sequence of characters
╭
𝟘𝟙·
Happy 2025!
┊
𝟘𝟡·
The “Nonstandard Notebook”, created by Tim Chartier and Amy Langville, is an art object as published. Shamefully, I'm going to mark up my copy by experimenting with diagrams and mind-maps.
𝕁
┊
𝟚𝟙·
Performance of the StarFive VisionFive2 is underwhelming at this point: my kludged Python-based builds are about 6 times slower on it than my Pi5, at about the same price point. But it runs!
𝕒
┊
Despite my preference for open technology (RISC-V), the ARM based Pi5 is still the best platform for a neo-retro connect-to-your-TV-and-start-coding computer.
𝕟
┊
𝟛𝟘·
Digging into inferencing over first order logic, this paper looks like it could help stretch my formula simplification muscles.
┊
𝟛𝟘·
I love “An Illustrated Theory of Numbers”, published by the AMS. You can check out the first chapter, available as a pdf for free download.
╰
𝟛𝟙·
According to an article on The Guardian, a malicious pdf file could install aggressive spyware. Are Linux pdf tools and web browsers vulnerable?
╭
𝟘𝟠·
I'm moving Peter Smith's “Beginning Mathematical Logic” upward in my TBR pile.
┊
𝟙𝟡·
AI trained on Internet content is being used to generate Internet content - a global AI feedback loop. Human generated content will dwindle, and the computers will mostly be talking to each
𝔽
┊
other. What will AI gossip of the future look like, when nothing has been written by humans for some time?
𝕖
┊
𝟚𝟙·
I had thought Linus Torvalds had a reputation for ‘my way or the highway’ but his handling of conflict over Rust additions to the Linux kernel turns that on its head. I figure it won't be
𝕓
┊
long before humans don't write code anymore - except for fun - until then, this is good leadership.
┊
𝟚𝟙·
Otep has grown on me. Metal+Female Vocals has been my go-to for a couple of years now, but Otep had felt strained - maybe it's a sound for our times.
┊
𝟚𝟙·
Speaking of things growing on me, LITS puzzles are nice to work on. Full page puzzles can be found in a whale of a puzzle book that, sadly, appears to be out of print. Hopefully more Nikoli
╰
puzzles will become available in the US.
