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

I am!

But didn't we find out that "classic Google search" isn't classic Google search? Like they got the idea to dumb their search down so that ads were easier to sell?

(fifteenth RacketCon)

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

ICFP/SPLASH 2025 Latest Announcements Information for presenters at NUS (Sunday) and at MBS (Monday-Saturday) is now available! The registration is now open. Early Registration deadline: 31 August 2025. Activities ...

One week until ICFP/SPLASH’25!

conf.researchr.org/home/icfp-sp...

SPLASH 2026 - OOPSLA - SPLASH 2026 Welcome to the website of the SPLASH 2026 conference. We are working hard to fill the website with all related information. Please check back soon! In the meantime, please consider this overview of th...

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

Or is the magic part that prolog is awesome and it's really cool to have an executable specification?

The one I heard that seemed catchy was Properly Implemented Tail Call Handling

R5-D4 R5-D4, also referred to as R5 (Arfive) and called "Red" by Luke Skywalker, was a red and white-striped R5 astromech droid owned by a group of Jawas on Tatooine in the early days of the Galactic Civil ...

I have no idea about the rest of the context. But It's worth noting that R5-D4 deliberately malfunctioned because he knew how important R2-D2's mission was. That self-sacrifice gets an entire section on the Wookiepedia. starwars.fandom.com/wiki/R5-D4.

NSF Graduate Research Fellowship Program (GRFP)

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

Yes

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

con.racket-lang.org ??

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?

Unless it's a line of work by the same cohort of folks, right? Probably not what's happening in the case you have in mind.