“ICE > MN”
Our fascist leaders explicitly declaring that their untrained paramilitary of goons, a two-decade agency whose massive budget funds thugs in hoodies and body armor with rifles, is more important than an entire American state of 6 million people.
Have you ever heard of this, "concolic fuzzing" or "concolic execution"?
www.fuzzingbook.org/html/Concoli...
Gisp: Go+Lisp, a brave new language by Serge Vakulenko:
github.com/sergev/gisp
She's so right!
Busy Beaver and Collatz: they are related
benbrubaker.com/why-busy-bea...
Map: Governors Public Health Alliance * Guam is also a member of the alliance Updated October 15, 2025 Map: @luckytran • Created with Datawrapper
15 US states and territories have formed a new Public Health Alliance, which will counter the absence of federal leadership by tracking outbreaks, issuing guidance, buying vaccines and more.
Members of the new alliance include CA, CO, CT, DE, GU, HI, IL, MD, MA, NJ, NY, NC, OR, RI, WA.
It’s 2k miles east of California and Oregon.
Computing is indeed a discipline in crisis. ~ Moshe Vardi. www.bakerinstitute.org/research/com... #CompSci
My las attempt with claude was for it to transform chunks of HTML to .md. It wrote a bunch of regexes. More, e.g. with “<p.*>”, which means <pre> is ignored. That’s the feature of bots: no ability for abstraction.
As Claude wrote me a code for parsing html chunks via regexes, and as it duplicates a bunch of functions, instead of abstracting, I now come closer to the suspicion that bots can'd abstract, and it's a chronic defect. Meaning, the real programming will still require good programmers. For how long?
Il est difficile à vendre ça aux mathématiciens.
A little proof of concept I've been working on, it's a version of Bluesky that you can run locally, even on your laptop, that pulls just the data you care about from the firehose, indexes it, and provides you an interface to view and interact with posts.
Just learned about this amazing project:
github.com/zio/izumi-re...
See also its claude.md file
Imagine, today I asked him to make changes in about 220 .md files. He said: "I'll write a script." I was absolutely impressed: that's what I would do, but I didn't expect it from a machine. My deepest respect to Claud, my colleague.
Friends asked me to restore the code in myjavatools.com
That code was written for Java version 1.3.1 to 6, and it was only running on Windows. But ok, if someone wants it, here it is.
Also, I have to thank Claude that helped me a lot, for just about $10, in two days.
github.com/vpatryshev/m...
I find this article very beautiful:
www.irif.fr/~mellies/mpr...
A person with two watches is never sure what time it is, especially if I got them one of the watches.
Dimensional Lumber Tape Measure
https://xkcd.com/3138/
A person with two watches is never sure what time it is, especially if I got them one of the watches.
Explain xkcd: https://www.explainxkcd.com/wiki/index.php/3138
A list of social media and communication platforms being banned in Nepal, including Facebook, Instagram, YouTube, Twitter, Whatsapp, and Signal.
Nepal is banning a swath of social media and communication platforms. BlueSky is not on the list, but given the scope of the law that’s probably just an oversight. www.medianama.com/2025/09/223-...
Well, I would disagree. Some languages bring happiness.
AI-driven formal theorem proving. leandojo.org #ITP #LeanProver #AI #LLMs
community guideline violation detected "comment details: barcode"
Today I had a TikTok Community Guideline violation by saying "barcode" in a TikTok live chat.
Interesting, I’ll think about it.
Until your phone discharges.
