β
ππΒ·
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.
π½
β
ππΒ·
A plethora of new puzzles is on the horizon from SmartGames, the hugely successful Belgian puzzle publisher. Raf Peeters, one of their prolific designers, shares details of his process on his
π
β
website and gives us a preview of what's coming. I can't wait to add these to my collection: IQ-Hexagon IQ-Pentagon IQ-Square IQ-Circle IQ-Noodles IQ-Bubbles and Genius Connection
π
β
ππΒ·
Next up in the book of whale sized full-page Nikoli puzzles is a Shakashaka puzzle - I think it's going to be a real challenge!
π£
β
ππΒ·
Edward Gorey should never be forgotten. AI generated books, movies and video games (I'm sure even AI generated reality-TV is coming) will end human work on commercial media (don't forget the
π¦
β
news and the politicians: Trump might have a deepfake version in the works, just to keep his soul alive - you'll be able to see him shaking your hand even if you've never met!) But, for the
π
β
love of it, we can still create.
π£
β
ππΒ·
While I never knew Jim Keller, I did meet him once when I worked at AMD. Starting the effort on the Zen architecture, he made it a point to meet with everybody in engineering in small groups
πͺ
β
(even the GPU folks). From that brief encounter, I'd describe him as a βrock and rollβ kind of guy - unrestrained and ready to shake things up. That'll be good for RISC-V - ARM has been
β
around for 40 years or so (I first worked with it on the 3DO; and x86 is more ancient than, although I have met actual dinosaurs) and the last few years have finally seen some really
β
performant ARM cores. RISC-V, with it's more recent and academic heritage, hasn't been in the competition pressure cooker where an architecture has to deliver exceptional performance.
β
Software maturity is less critical, but cycles of the multi-year feedback loop between compilers and hardware does make a difference - I saw features come and go in GPUs, and the compiler
β
team was integral to generational improvements.
β
ππΒ·
The worlds remaining human coders seem to be transitioning to Rust, but a modern language that doesn't use whitespace to delimit blocks? When will the oppressive reign of curly braces come to
β
an end! Oh well, I may just have to learn it anyway...
β
ππ Β·
I'm enjoying working through βPath Puzzlesβ by Roderick Kimball - highly recommended! Basic clues indicate how many path segments are in a row or column of the grid, but non-rectangular grids
β°
and other variations make for a unique logic puzzling experience.
β
ππΒ·
Procrastinated much of the day by learning to build the Linux Kernel in the hopes of running Debian Trixie (aka Debian 13, currently Debian Testing) on the StarFive VisionFive2 RISC-V Single
β
Board Computer I've got. I upgraded an existing Micro-SD install to Trixie and everything but the GPU seems to work fine. I'll post updates if I get anywhere.
β
ππΒ·
The glorious Brookline Ma local puzzle shop, Eureka! got in copies of IQ-Noodles and IQ-Bubbles. Both combine traditional SmartGames IQ Puzzle challenges with unique design aesthetics, fun
β
and colorful, each featuring 120 new puzzles to keep your brain happy!
β
ππΒ·
I don't know if it was the same for everybody, but on Netflix, watching βMonty Python's Flying Circusβ was always a bit frustrating - the seasons and episodes were indexed backwards and
π
β
trying to binge the show was laborious. Turns out it's available on Prime Video in an amazing restoration: sequences shot on video have been cleaned up and upscaled brilliantly and the
π
β
animations are clean and detailed - if not re-shot, re-scanned meticulously from film. While some may rightfully be offended by βoutdatedβ ideas, the show brilliantly pioneered absurdist
π£
β
humor.
π
β
ππΒ·
A path-tracing processor is an awesome thing - I love it, I want it, I need it. But, given Artificial Neural Networks can generate photorealistic renderings based on textual descriptions, a
π
β
GPU for graphics is only for those of us who are interested in the math and algorithms behind simulating light transport to generate photorealistic imagery. The rest of the world is just
β
going to tell their ChatGPT TV "I wanna see a new Batman movie" and a brand new, never before seen (nor again, probably) movie will flow from their TV into their eyeballs (and an original
β
score to their ears, mind you). It'll be tuned based on their web browsing history: Batman may be a devout Christian, proselytizing with his fists and gadgets by night while Bruce Wayne is an
β
organized crime boss during the day!
β
ππ Β·
I finished βPath Puzzlesβ (everything but the βhintβ ones at the end). Is there another volume?
β
ππ‘Β·
Based on my years in school and working in industry Logitech's program to improve the tech space for women is on the right track. These days, it's important to support those who fight the
β°
good fight.