Sign in

Vlad Patryshev aka Juan Gandhi

@vpatryshev.bsky.social
471 followers 272 following 452 posts

Programmer, categorist, blogger, spending time between S.Carolina and Gascogne.

PostsRepliesMedia
Vlad Patryshev aka Juan Gandhi @vpatryshev.bsky.social · 10/08/2026
I’m happy to announce that my book, “Modern Mathematics”, is now available on Amazon (kindle version) www.amazon.com/dp/B0HDML7RCF
amazon.com
Modern Mathematics
Buy Modern Mathematics: Read Books Reviews - Amazon.com
010
Vlad Patryshev aka Juan Gandhi @vpatryshev.bsky.social · 06/07/2026
Typos
010
Vlad Patryshev aka Juan Gandhi @vpatryshev.bsky.social · 23/11/2025
Have you ever heard of this, "concolic fuzzing" or "concolic execution"? www.fuzzingbook.org/html/Concoli...
fuzzingbook.org
Concolic Fuzzing - The Fuzzing Book
In the chapter on information flow, we have seen how one can use dynamic taints to produce more intelligent test cases than simply looking for program crashes. We have also seen how one can use the ta...
020
Vlad Patryshev aka Juan Gandhi @vpatryshev.bsky.social · 10/11/2025
Gisp: Go+Lisp, a brave new language by Serge Vakulenko: github.com/sergev/gisp
github.com
GitHub - sergev/gisp: A Go-style programming language with LISP semantics
A Go-style programming language with LISP semantics - sergev/gisp
020
Vlad Patryshev aka Juan Gandhi @vpatryshev.bsky.social · 06/11/2025
Teraz czas nauczyć się polskiego. www.euronews.com/next/2025/11...
euronews.com
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.
010
Vlad Patryshev aka Juan Gandhi @vpatryshev.bsky.social · 28/10/2025
She's so right!
010
Vlad Patryshev aka Juan Gandhi @vpatryshev.bsky.social · 28/10/2025
Busy Beaver and Collatz: they are related benbrubaker.com/why-busy-bea...
benbrubaker.com
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?
110
Vlad Patryshev aka Juan Gandhi @vpatryshev.bsky.social · 21/10/2025
Impressed by the whole idea: lukeplant.me.uk/blog/posts/k...
lukeplant.me.uk
Knowledge creates technical debt
Some history on term “technical debt” and on better language to use when communicating about it.
000
Reposted by Vlad Patryshev aka Juan Gandhi
Dr. Lucky Tran @luckytran.com · 16/10/2025
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.
Map: Governors Public Health Alliance
* Guam is also a member of the alliance
Updated October 15, 2025
Map: @luckytran • Created with Datawrapper
619153895117
Vlad Patryshev aka Juan Gandhi @vpatryshev.bsky.social · 16/10/2025
It’s 2k miles east of California and Oregon.
010
Reposted by Vlad Patryshev aka Juan Gandhi
José A. Alonso @jalonso.eurosky.social · 16/10/2025
Computing is indeed a discipline in crisis. ~ Moshe Vardi. www.bakerinstitute.org/research/com... #CompSci
bakerinstitute.org
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...
031
Reposted by Vlad Patryshev aka Juan Gandhi
Jason Gorman @jasongorman.bsky.social · 16/10/2025
"prompt engineering"
media.tenor.com
a monkey stuffed animal is hanging from a crane
ALT: a monkey stuffed animal is hanging from a crane
0164
Vlad Patryshev aka Juan Gandhi @vpatryshev.bsky.social · 16/10/2025
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.
100
Vlad Patryshev aka Juan Gandhi @vpatryshev.bsky.social · 15/10/2025
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?
000
Vlad Patryshev aka Juan Gandhi @vpatryshev.bsky.social · 07/10/2025
Just rediscovered gcc.gnu.org/pipermail/gc...
gcc.gnu.org
[WIP 0/8] Algol 68 GCC Front-End
000
Vlad Patryshev aka Juan Gandhi @vpatryshev.bsky.social · 05/10/2025
Il est difficile à vendre ça aux mathématiciens.
100
Reposted by Vlad Patryshev aka Juan Gandhi
Why @why.bsky.world · 04/10/2025
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.com
GitHub - whyrusleeping/konbini
Contribute to whyrusleeping/konbini development by creating an account on GitHub.
18864176
Vlad Patryshev aka Juan Gandhi @vpatryshev.bsky.social · 05/10/2025
Just learned about this amazing project: github.com/zio/izumi-re... See also its claude.md file
github.com
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
010
Vlad Patryshev aka Juan Gandhi @vpatryshev.bsky.social · 02/10/2025
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.
000
Vlad Patryshev aka Juan Gandhi @vpatryshev.bsky.social · 02/10/2025
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...
myjavatools.com
Deneme Bonusu Veren Siteler - Bonus Veren Casino Siteleri 2025
Güvenilir yüksek miktarda deneme bonusu veren siteleri inceleyin giriş yapın kazanmaya hemen başlayın! Bonus veren casino siteleri 2025 güncel listesi için tıklayın
000
Vlad Patryshev aka Juan Gandhi @vpatryshev.bsky.social · 10/09/2025
www.xipu.li/posts/the-la...
xipu.li
The Last Programmers || Xipu Li
We're witnessing the final generation of people who translate ideas into code by hand.
000
Vlad Patryshev aka Juan Gandhi @vpatryshev.bsky.social · 07/09/2025
I find this article very beautiful: www.irif.fr/~mellies/mpr...
irif.fr
000
Vlad Patryshev aka Juan Gandhi @vpatryshev.bsky.social · 07/09/2025
postimg.cc/BtLF5dR6
postimg.cc
IMG 20250907 100615 911 — Postimages
010
Reposted by Vlad Patryshev aka Juan Gandhi
xkcd Bot @xkcd-bot.bsky.social · 06/09/2025
Dimensional Lumber Tape Measure 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: www.explainxkcd.com/wiki/index.php/…
A person with two watches is never sure what time it is, especially if I got them one of the watches.
092
Reposted by Vlad Patryshev aka Juan Gandhi
Kris Nuttycombe @nutty.land · 05/09/2025
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-...
A list of social media and communication platforms being banned in Nepal, including Facebook, Instagram, YouTube, Twitter, Whatsapp, and Signal.
121
Vlad Patryshev aka Juan Gandhi @vpatryshev.bsky.social · 06/09/2025
Well, I would disagree. Some languages bring happiness.
020
Reposted by Vlad Patryshev aka Juan Gandhi
José A. Alonso @jalonso.eurosky.social · 05/09/2025
AI-driven formal theorem proving. leandojo.org #ITP #LeanProver #AI #LLMs
011
Reposted by Vlad Patryshev aka Juan Gandhi
Ólafur Waage @olafurw.com · 03/09/2025
Today I had a TikTok Community Guideline violation by saying "barcode" in a TikTok live chat.
community guideline violation detected "comment details: barcode"
6353
Vlad Patryshev aka Juan Gandhi @vpatryshev.bsky.social · 30/08/2025
Interesting, I’ll think about it.
000
Vlad Patryshev aka Juan Gandhi @vpatryshev.bsky.social · 29/08/2025
lyra.horse/blog/2025/08...
lyra.horse
You no longer need JavaScript
An overview of what makes modern CSS so awesome.
020
Vlad Patryshev aka Juan Gandhi @vpatryshev.bsky.social · 26/08/2025
Until your phone discharges.
000
Vlad Patryshev aka Juan Gandhi @vpatryshev.bsky.social · 25/08/2025
Why exactly? You declare this, you lose shareholders, and feel free to provide your customers with free lunches.
100
Vlad Patryshev aka Juan Gandhi @vpatryshev.bsky.social · 25/08/2025
Definitely sounds too stupid.
000
Vlad Patryshev aka Juan Gandhi @vpatryshev.bsky.social · 18/08/2025
Nice stuff, got some new info, although I don't need anything: qouteall.fun/qouteall-blo...
qouteall.fun
Traps to Developers | qouteall notes
A summarization of some traps to developers. There traps are unintuitive things that are easily misunderstood and cause bugs.
010
Vlad Patryshev aka Juan Gandhi @vpatryshev.bsky.social · 13/08/2025
Impressed by Linear: bytemash.net/posts/i-went...
bytemash.net
Linear sent me down a local-first rabbit hole | Bytemash
A deep dive into local-first architecture, triggered by wondering why Linear feels so fast. Looking at the technical implementation, exploring tools like Jazz and Electric SQL, and explaining why my n...
010
Reposted by Vlad Patryshev aka Juan Gandhi
Sunny Weather @somehowcreative.bsky.social · 07/08/2025
This is a good visualization of when people say that AI saves them time.
101368441
Vlad Patryshev aka Juan Gandhi @vpatryshev.bsky.social · 07/08/2025
Error by one
020
Vlad Patryshev aka Juan Gandhi @vpatryshev.bsky.social · 06/08/2025
I smoked pot as a toddler. My grandpa had taught me. When I learned to read, and found out that smoking is bad for you, I quit.
120
Vlad Patryshev aka Juan Gandhi @vpatryshev.bsky.social · 06/08/2025
scala 2 implicits in scala 3: implicit class turns into extension, implicit val/def turns into a given, and implicit parameter turns into using. (10x @spamegg)
020
Vlad Patryshev aka Juan Gandhi @vpatryshev.bsky.social · 04/08/2025
dig @ch.at "what is life" TXT +short If you are on a plane and don't want to pay for the internet...
000
Vlad Patryshev aka Juan Gandhi @vpatryshev.bsky.social · 01/08/2025
I usually don't post anything not related to professional topics, but this one, I think, is. How a bunch of Scala enthusiasts had destroyed the life of one of them, and only several of them admitted their mistake (or more). pretty.direct/impact
pretty.direct
Pretty.direct
000
Reposted by Vlad Patryshev aka Juan Gandhi
Jorge Sánchez (xurxodev) @xurxodev.com · 01/08/2025
HAY DOS REGLAS EN LA VIDA: Aplican a tu vida privada, al mundo laboral y negocios 1. Nunca des toda la información.
031
Vlad Patryshev aka Juan Gandhi @vpatryshev.bsky.social · 01/08/2025
Interpretations look like classical mechanics www.nature.com/articles/d41...
nature.com
Physicists disagree wildly on what quantum mechanics says about reality, Nature survey shows
First major attempt to chart researchers’ views finds interpretations in conflict.
000
Vlad Patryshev aka Juan Gandhi @vpatryshev.bsky.social · 31/07/2025
The UI and controls; the general convenience; seats, of course; good windows. And the generally decent external look. So the car does not look like it's an idiot.
020
Vlad Patryshev aka Juan Gandhi @vpatryshev.bsky.social · 31/07/2025
terrytao.wordpress.com/2024/10/12/t...
terrytao.wordpress.com
The equational theories project: a brief tour
Almost three weeks ago, I proposed a collaborative project, combining the efforts of professional and amateur mathematicians, automatic theorem provers, AI tools, and the proof assistant language L…
000
Vlad Patryshev aka Juan Gandhi @vpatryshev.bsky.social · 31/07/2025
All equational theories and their interrelations: terrytao.wordpress.com/2024/10/12/t...
terrytao.wordpress.com
The equational theories project: a brief tour
Almost three weeks ago, I proposed a collaborative project, combining the efforts of professional and amateur mathematicians, automatic theorem provers, AI tools, and the proof assistant language L…
000
Vlad Patryshev aka Juan Gandhi @vpatryshev.bsky.social · 28/07/2025
I think it does make sense. A bunch of people I don't know how they got in. Ok, some are friends of the bosses, so there's a red carpet for them. But the others? I would not hire them. Well, whatever. Steve overestimated everything at Google. The company is not that bright, but Steve is emotional.
000
Vlad Patryshev aka Juan Gandhi @vpatryshev.bsky.social · 28/07/2025
Porc?
100
Vlad Patryshev aka Juan Gandhi @vpatryshev.bsky.social · 28/07/2025
Pero hay cosas de cuales las personas intelligentes saben que saben algo.
000
Vlad Patryshev aka Juan Gandhi @vpatryshev.bsky.social · 27/07/2025
Anybody taking an initiative will be punished.
010