wasp.sh/blog/2026/05... Really thought provoking piece, about a real world use case. The temptation to draw broader lessons ot1h, and otoh, both survivorship bias and Sustrik's Law.

Pop quiz. Who wrote this, and what was the context?

www.science.org/content/arti... This doesn't sound good.

Why is it so difficult for me to find a youtube video explaining insertion sort as a right-fold? Dozens and dozens implementing it as a left-fold. Am I missing something fundamental?

After getting to learn all about tranches and credit default swaps during the last big financial crisis, I'm so excited to find out what decision-makers with less understanding of even more complex and baroque systems are going to be able to do this time around.

I'm looking for a PhD student to work with me on formal verification for cryptographic protocols. This is a 4-year position at VU Amsterdam, co-supervised with Kristina Sojakova. Send me an email if you want to know more!

cacm.acm.org/blogcacm/the... I do believe we're going to be spending a good deal of time in the near future figuring out just what "neurosymbolic" is supposed to mean in practice.

This is NOT a formal job posting, just testing waters. I have a year of post-doc money. Esp. int'd in formal methods + applied cogsci + diagramming. If you do work tied to my research, reach out (see my page). Must have US work auth, sorry. Please feel free to share/boost!

www.washingtonpost.com/technology/2... Yeah, I wonder what happened. Total mystery. Can't figure it. No correlations with anything that I can think of.

Mermaid diagrams are just _great_ you all.

Job ID: 16166 Extract: The Programming Systems Group at ORNL seeks a Postdoctoral Researcher to advance research in Agentic AI and high-productivity programming systems, focusing on code generation and HPC system co-design.

Boy, I sure do hate this.

The deluge of disruptive news from around the globe is making it hard for researchers to focus on their day-to-day work go.nature.com/4s5bGSc

Reading GEB yesterday taught me something I'd missed until now. Nats are a minimally expressive set of values that your PL needs to express quines; a program that prints its own Godel number is a quine; the Godel number is its printed repr. Many langs use other hacks just bc they under support nats.

I sure find it interesting to see what other disciplines are doing in these troubled times. www.scientificamerican.com/article/why-...

I knew about steganographic images, but I didn't know about this similar phenomenon in music: mixmag.net/feature/spec.... It really kind of reminds me of GEB, somehow. But I have GEB on the brain this semester.

slop.zackg.me I don't like that my score was measurably improved because I knew some of the papers by title. Jeez.

Man alive, if your job is to produce 85%-correct software, you must be loving life right now.

www.quantamagazine.org/the-man-who-... Wow, this rewrites history. I skipped forward a bit, but the parts I didn't know were fascinating.

Don't like the sound of that. www.insidehighered.com/news/governm...

I will need a post doc position in May-ish. Topics I want to work on are, lax functors, 2-categories/bicategories, generalized multicategories, double categories, other stuff on graded monads, and anything similar. Does anyone want to pay me to do this?

❤️ Happy I Love Free Software Day! OpenProject is fully GPLv3 Free Software – across all editions. But free software doesn’t maintain itself. It takes dedicated maintainers, contributors, and long-term commitment. Thank you to everyone who makes it possible 💙 #ilovefs #GPLv3 #OpenSource

Young graduate students---if you're stuck and having difficulty reading a paper, it can be useful to set that ambition aside, read broadly in the nearby area purely for the sake of general enlightenment, and then approach again in 6mo-1year. The paper doesn't change in the meantime, but you will!

Please help us publicize TEAL: Tools for Educational Activities in Logic, a workshop associated w/ FLoC26. We have a novel design, focused on demos, discussion, and generally high-quality interaction rather than weak papers. See full details on our site! teal.cs.brown.edu/floc2026/

I assume that there was some very well intentioned reasoning at play behind something so silly. blog.adafruit.com/2025/12/30/n...

I can't quite believe that we're now announcing the eighth Programming Language Implementation Summer School (PLISS), but we are --- in May next year, if you want to learn more about programming language implementations, this is the place to come!

www.science.org/content/arti... Also worth mentioning is the benefit of the reviews for proposal authors. Having more well written reviews helps authors improve and leads to more better science, faster. I can imagine the difficulty of finding qualified panelists, but it's a real opportunity too.

Wow, congratulations to @wingolog.org and Guile for the award! www.fsf.org/news/2024-fr...

Racket - the Language-Oriented Programming Language - version 9.0 is now available from download.racket-lang.org See blog.racket-lang.org/2025/11/rack... for the release announcement and highlights.

The smaller the repro, the bigger the headache

Does anyone else feel the analogy between chatting with an LLM service and looking into a palantir? Like there's the seductive possibility of learning more, but with potential downside of getting sucked in. Also that sentiment of not being sure what's happening with that chat data on the other side.

Are you working on making human-friendly programming tools? Or some other HCI-PL crossover work? Come join us at PLATEAU! 2026.plateau-workshop.org The deadline is Dec 17, and the workshop is Mar 9-10. See you there :)

thepienews.com/us-students-... Man. I've always considered America's higher education institutions as one of the major competitive advantages. I sure hope this is wrong.

@shriram.bsky.social , did you once upon a time implement your own hiring portal at Brown using the Racket server library, and used that instead of whatever the institutional platform was? Am I getting my wires crossed?

This is not a drill: GHC (the #Haskell compiler) now runs in your browser. See the announcement (and please report any bugs) here: discourse.haskell.org/t/ghc-now-ru...

Today I'm one of the lucky 10,000 who learned about en.wikipedia.org/wiki/Helena_..., who independently introduced Harrop formulae, and sounds like a pretty bad-ass lady.

You have one more month to submit a talk or tutorial proposal to #BOBkonf2026: the deadline is 17 November 2025. We look forward to hearing from you!

Are you a PhD student registered in a US institution and interested in conducting part of your doctoral research (4-9 months) in France? Then consider applying for a Chateaubriand Fellowship! https://chateaubriand-fellowship.org/

I saw a post that claimed they saw a post, but I couldn't find a citation. The post was: Every programming language has one of two flaws: * it has macros * it doesn't have macros

Wow, the AI responds just like when I try and talk with real people. What a time to be alive.

Ho. Ly. Smokes. I haven't seen too many tags about #icfpsplash25 over here, but I _gotta_ believe it's because people were too excited and in the moment to be able to stop and microblog about it. Wowza. What a day. I'm for sure gonna need a double Kopi C to get me going tomorrow morning.

42 min till RacketCon starts FREE live stream at con.racket-lang.org we have a #racketcon chat channel on the racket discord at discord.gg/UCFKsryPkW If you can afford it: please register for $10 USD to help support the livestream www.eventbrite.com/e/racketcon-...

One week until ICFP/SPLASH’25! conf.researchr.org/home/icfp-sp...

OOPSLA 2026 deadline is just a week away! Can you please help us get the word out by sharing? Thanks! 2026.splashcon.org/track/oopsla...

New: After a long wait, the GRFP solicitation is live! Deadlines have been extended to early November, so applicants have a bit over a month to submit. www.nsf.gov/funding/oppo...

Happy Petrov Day to those who celebrate. On September 26, 1983, Stanislav Petrov made the correct decision to not trust a computer. I've attached a short clip from a reenactment of the situation in the documentary The Man Who Saved the World. 1/11

My Bleeps, do you have any git games you find better learning tools or more fun than ohmygit ? What else is there in this space?

The Call for the 2026 International Symposium on Functional and Logic Programming (FLOPS) is open - the symposium will be May 26-28 in Akita, Japan. Deadline for the CfP is Dec 8 (abstracts) / Dec 16 (submissions). Send us your best on the best of both worlds! functional-logic.org/events/flops...