I’m happy to announce that my book, “Modern Mathematics”, is now available on Amazon (kindle version) www.amazon.com/dp/B0HDML7RCF
Modern Mathematics
Buy Modern Mathematics: Read Books Reviews - Amazon.com
amazon.com
Vlad Patryshev aka Juan Gandhi
@vpatryshev.bsky.social
Programmer, categorist, blogger, spending time between S.Carolina and Gascogne.
I’m happy to announce that my book, “Modern Mathematics”, is now available on Amazon (kindle version) www.amazon.com/dp/B0HDML7RCF
Modern Mathematics
Buy Modern Mathematics: Read Books Reviews - Amazon.com
amazon.com
Have you ever heard of this, "concolic fuzzing" or "concolic execution"? www.fuzzingbook.org/html/Concoli...
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...
fuzzingbook.org
Teraz czas nauczyć się polskiego. www.euronews.com/next/2025/11...
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.
euronews.com
Busy Beaver and Collatz: they are related benbrubaker.com/why-busy-bea...
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?
benbrubaker.com
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.
Computing is indeed a discipline in crisis. ~ Moshe Vardi. www.bakerinstitute.org/research/com... #CompSci
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...
bakerinstitute.org
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?
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 - whyrusleeping/konbini
Contribute to whyrusleeping/konbini development by creating an account on GitHub.
github.com
Just learned about this amazing project: github.com/zio/izumi-re... See also its claude.md file
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
github.com
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...
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
myjavatools.com
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
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-...
AI-driven formal theorem proving. leandojo.org #ITP #LeanProver #AI #LLMs
Today I had a TikTok Community Guideline violation by saying "barcode" in a TikTok live chat.
Nice stuff, got some new info, although I don't need anything: qouteall.fun/qouteall-blo...
Traps to Developers | qouteall notes
A summarization of some traps to developers. There traps are unintuitive things that are easily misunderstood and cause bugs.
qouteall.fun
Impressed by Linear: bytemash.net/posts/i-went...
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...
bytemash.net
This is a good visualization of when people say that AI saves them time.
This is incredible
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)
dig @ch.at "what is life" TXT +short If you are on a plane and don't want to pay for the internet...
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
HAY DOS REGLAS EN LA VIDA: Aplican a tu vida privada, al mundo laboral y negocios 1. Nunca des toda la información.