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!

How long are you in town?

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/

Isabelle (proof assistant) - Wikipedia

Am I thinking of the same isabelle? en.wikipedia.org/wiki/Isabell...

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!

NSF pares down grant-review process, reducing influence of outside scientists Memo cites overburdened staff, but some say move also aims to elevate White House priorities

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

Download Racket

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.

A nice listen on the details of that: www.npr.org/sections/mon...

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.

What do you think about WASI as a potential rescue?

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 :)

@ccshan.woof.group.ap.brid.gy you seem to be doing amazing numbers here.

US students are voting with their feet – and global universities are ready The Trump administration's HE policies are making both domestic students think twice about studying in the US, writes Shaun Carver. Could universities in other parts of the world stand to benefit?

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.

Cannot reproduce.

@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?

Ghc now runs in your browser ghc itself can now run purely client-side in the browser, here’s a haskell playground demo. terms and conditions apply, and i’ll write up more detailed explanation some time later, but i thought this ...

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

I think I might enjoy porting this program to Prolog.

Helena Rasiowa - Wikipedia

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.

Being able to yell at my electronics to remind me about X at Y o'clock while drifting off has really been a game changer for me.

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!

Chateaubriand Fellowship

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.

Your description kinda reminds me of Alvin Cheung &co's work on verified lifting. Is that sort of the right idea?

Oh, interesting thought. My first guess was they originally went with Quadafny , and then a reviewer said it sounded like a former Libyan dictator. So they had to do a last minute s/Quad/Q/g.

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.

This seems like a terrible policy that's the result of terrible meta-policy: arstechnica.com/tech-policy/...