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

Teraz czas nauczyć się polskiego. www.euronews.com/next/2025/11...

Busy Beaver and Collatz: they are related benbrubaker.com/why-busy-bea...

Impressed by the whole idea: lukeplant.me.uk/blog/posts/k...

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

"prompt engineering"

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

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

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

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

Impressed by Linear: bytemash.net/posts/i-went...

This is a good visualization of when people say that AI saves them time.

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

HAY DOS REGLAS EN LA VIDA: Aplican a tu vida privada, al mundo laboral y negocios 1. Nunca des toda la información.

Interpretations look like classical mechanics www.nature.com/articles/d41...

All equational theories and their interrelations: terrytao.wordpress.com/2024/10/12/t...

Sun ejecting Plasma, as captured by the Parker Solar Probe. -Credits: NASA

I enjoyed this blog.outlandish.claims/p/raft-conse...

This Thursday #scala #meetup #SanFrancisco 👇👇

I think this is important, although it may look funny: Forsp: A Forth+Lisp Hybrid Lambda Calculus Language xorvoid.com/forsp.html

The White House Office of Management and Budget has announced a plan to shut down 41 NASA space missions including somewhere they've already built the spacecraft. There's a list of missions to be cut at www.planetary.org/articles/bil...

A friend is building an app to help immigrants detained by ICE. They're a web app dev & need help with the mobile app. Anyone have experience building/deploying mobile apps and interested in volunteering time to help a new app with a good cause? Feel free to share with others or boost for reach.

How come there seems to be no monad for ThreadLocal in Scala? Or?

I like the term "semantic pareidolia". It's a very powerful and underappreciated concept.

A keen introduction to Scala 3's context functions. Can they replace traditional monadic error handling? #scala youtu.be/yJrVmrXpQ0E

Just read this: en.wikipedia.org/wiki/G%C3%B6... The article states that what is not provable in natural numbers are still "truths" - because, I guess, they are true in other axiomatic systems. I'm pretty much tired of these XIX-century style beliefs, like Euclides' Fifth, etc. What do you think?

Something almost incredible regarding time and memory size www.quantamagazine.org/for-algorith... arxiv.org/abs/2502.17779

sttp client 4 - the #Scala HTTP client you always wanted: streaming bodies using fs2

410 GB of heap dumps from Signal published micahflee.com/ddosecrets-p...

I love the way things are explained here: en.wikipedia.org/wiki/Inner_m...

the list of prime numbers on Wikipedia en.wikipedia.org/wiki/List_of...