I upgraded to Fedora 43 on the Thinkpad. It seems to work well!
I do have the Temurin Java repository activated.
--
Brian Lavender
https://www.brie.com/brian/
"There are two ways of constructing a software design. One way is to
make it so simple that there are obviously no deficiencies. And the other
way is to make it so complicated that there are no obvious deficiencies."
Professor C. A. R. Hoare
The 1980 Turing award lecture
When: Mon November 17, 2025 06:00 PM to 08:00 PM
Speaker: Kevin Brisson
Location: Bel Air #502 S.E.G.R.
https://www.saclug.org/articles/2025/november-2025.html
Kevin will present his Byte Vision local document analysis tool.
https://github.com/kbrisso/byte-vision
This talk will be at the Bel Aire Arden. Note that the meeting will be
on Monday, rather than the usual Tuesday.
4320 Arden Way
Sacramento, CA 95864
Brian
--
Brian Lavender
https://www.brie.com/brian/
"There are two ways of constructing a software design. One way is to
make it so simple that there are obviously no deficiencies. And the other
way is to make it so complicated that there are no obvious deficiencies."
Professor C. A. R. Hoare
The 1980 Turing award lecture
I recently had some issues with an old install, fc 25, and espeak. As a longer term solution, I'll upgrade the OS. But, I got some nice AI help in fixing my current install in the meantime. Although some sequences were out of order, and things like that, given the different functions involved, it saved me a lot of reading and research.
But, I'm digressing.
During the troubleshooting process, it occurred to me that it would be nice to know what my settings had been and how the espeak app was functioning before it just stopped, for no apparent reason.
I was wondering if "fingerprinting" an app on the system is a common thing, or just too much effort to get anything useful in the end, and what other people are doing.
Formal Methods and Program Correctness
When: Tue October 21, 2025 06:00 PM to 08:00 PM
Speaker: Brian E. Lavender
Location: Bel Air #502 S.E.G.R.
4320 Arden Way
Sacramento, CA 95864
We will talk about the use of SPARK/Ada to verify program correctness using automated tools.
--
Brian Lavender
https://www.brie.com/brian/
"There are two ways of constructing a software design. One way is to
make it so simple that there are obviously no deficiencies. And the other
way is to make it so complicated that there are no obvious deficiencies."
Professor C. A. R. Hoare
The 1980 Turing award lecture
I checked perl.org the other day and I found this link to an inteview
with Larry Wall! I now understand his reference to peeling the onion!
https://www.amazon.com/b?node=23983471011&ref_=cs_fdm_7137-23983471011
PERL picked up on the Tiobe index recently!
https://www.tiobe.com/tiobe-index/
Brian
--
Brian Lavender
https://www.brie.com/brian/
"There are two ways of constructing a software design. One way is to
make it so simple that there are obviously no deficiencies. And the other
way is to make it so complicated that there are no obvious deficiencies."
Professor C. A. R. Hoare
The 1980 Turing award lecture
