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

Who @github.com decided that the default setting for a repo generated from a private template should be to create a public repo? That seems like a dangerous choice.

The University of Manchester is hiring: Research Associate - Formal Methods for Autonomous Robotics

Every day I get slightly more tempted by NixOS

Right now my "look on the bright side" take is that 500 years this will all be condensed down to a single paragraph in history texts.

If you e.g. submit too much text to a ChatGPT prompt, and it errors, at least under certain agent modes, it will wipe all your chats from the UI and you won't be able to access any except those you put into a project or already kept and shared the URL. Bug? Punishment? Ctrl+Alt+Delete?

Bug reports are how I give hugs

Alpaca - Festival of Algorithmic Patterns in the Creative Arts happening 12-14th September, Sheffield UK! If you're curious about patterns in music, visual art, juggling, weaving, braiding etc then come and enjoy concerts, talks and workshops and an algorave: 2025.algorithmicpattern.org/sheffield/

@oclc.org , can you release a shortcut workflow where all I have to do is provide the DOI ? Having to hand copy all of these fields from the DOI-linked URL into a webform, then make up something about "the item where I found the citation" feels really antiquated and mildly irritates.

The agentic mode busy beaver problem. What query and version produce the longest ChatGPT agentic mode execution that eventually halts with an answer? How long does it go for?

Always write it up while you're still excited. When you're in hot pursuit and want to just plow on ahead, that night is the right time to stop and write it up so far. It'll clarify your thinking and it's tough to convey that enthusiasm afterwards, when the result now seems obvious.

Whaddya think about this one? I'm impressed. What struck me here is that the human winner did a grueling 10 hours marathon session, ~narrowly beat o3 which came in 2nd place. It still beat out 10 other humans, and all the coders were qualified pros w/$ on the line. arstechnica.com/ai/2025/07/e...

Wow. What a great endorsement for the UCSD CS program! (TFA is paywalled, sounds like you don't need to bother reading it)

Not the largest villany in the world today, but sites that make you download the citation as a .bib file instead of presenting you the content and letting you choose.

The next sci-hub is a locally hosted tool that does a related work/ref hunt like connected papers or research rabbit, but lets you BYO DB connections (if you have JSTOR, ACM, Springer access) and/or alternative online sources. (BTW Alexandra Elbakyan deserves a SIGSCE award, disagree=coward.)

Howdy all. I'm unfortunately not going to be with my employer for much longer due to team relocation. If anyone has any info on roles that would allow me to continue my Rust compiler work (in New York City), they'd be greatly appreciated.

I think my mistake was instructing it to be explicit.

jameshaydon.github.io/passport/ One of the better examples of the genre I've read in a while, and of course I'd love to see it done in miniKanren!

What's this? An abstract syntax tree? A bytecode? What does that even mean anymore? Next Wednesday, Octave is going to explore those questions in his ICOOOLPS presentation. Our draft paper is online already: 2025.ecoop.org/details/ICOO... #interpreter #design #tradeoffs

Do people ever make the case that MS Teams is a superior product to the alternatives? Or is it only ever the bundle/network effect/Embrace-Extend-Extinguish?

A reminder that our submission deadline is coming up in just over a week on the 3rd July AOE! Get your short papers in, or talk proposals, or a short provocation what's needed for programming languages research to contribute to addressing the climate crisis. propl.dev

PhD and MSc students interested in Theorem Proving or Evolutionary Computation can apply for a Species scholarship to visit and collaborate with me in lisbon: wiki.alcidesfonseca.com/research/tea...

www.theatlantic.com/economy/arch... An off the cuff proposal: what if in the future undergrad CS becomes pre-CS prep for a professional degree, like law, medicine, or business. It would give more time to train students, and might make sense if manually programming becomes a more niche skill.

if you plan to come to the (free for attendees) in-person event of FUN OCaml 2025 in Warsaw, please register to help us plan fun-ocaml.com FYI: you can watch the live stream on FUN OCaml's YouTube channel without registering: you only need to get a free ticket if you plan to attend on-site)