Vlad Patryshev aka Juan Gandhi

GitHub - sergev/gisp: A Go-style programming language with LISP semantics A Go-style programming language with LISP semantics - sergev/gisp

Gisp: Go+Lisp, a brave new language by Serge Vakulenko:
github.com/sergev/gisp

Polish is the most effective language for prompting AI, study reveals A group of researchers studied which language is best understood by artificial intelligence, with Polish in the lead and English only ranking at sixth place.

Teraz czas nauczyć się polskiego.

www.euronews.com/next/2025/11...

She's so right!

Why Busy Beaver Hunters Fear the Antihydra In which I explore the biggest barrier in the busy beaver game. What is Antihydra, what is the Collatz conjecture, how are they connected, and what makes them so daunting?

Busy Beaver and Collatz: they are related

benbrubaker.com/why-busy-bea...

Impressed by the whole idea:

lukeplant.me.uk/blog/posts/k...

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 | Baker Institute While Silicon Valley invests tens of billions in artificial intelligence, U.S. academic computing research faces declining funding, fewer international students, and uncertain career prospects. In thi...

Computing is indeed a discipline in crisis. ~ Moshe Vardi. www.bakerinstitute.org/research/com... #CompSci

a monkey stuffed animal is hanging from a crane ALT: a monkey stuffed animal is hanging from a crane

"prompt engineering"

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?

Just rediscovered

gcc.gnu.org/pipermail/gc...

Il est difficile à vendre ça aux mathématiciens.

GitHub - whyrusleeping/konbini Contribute to whyrusleeping/konbini development by creating an account on GitHub.

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.

GitHub - zio/izumi-reflect: TypeTag without scala-reflect. Supports Scala 2 and Scala 3. TypeTag without scala-reflect. Supports Scala 2 and Scala 3. - zio/izumi-reflect

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...

www.xipu.li/posts/the-la...

I find this article very beautiful:

www.irif.fr/~mellies/mpr...

IMG 20250907 100615 911 — Postimages

postimg.cc/BtLF5dR6

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.

lyra.horse/blog/2025/08...

Until your phone discharges.

Why exactly? You declare this, you lose shareholders, and feel free to provide your customers with free lunches.

Definitely sounds too stupid.