@jhemann.bsky.social
Reposted
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 :)
PLATEAU Workshop | PLATEAU Workshop
Bringing together Programming Languages and Human-Computer Interaction
2026.plateau-workshop.org
November 14, 2025 at 11:47 PM
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.
Man. I've always considered America's higher education institutions as one of the major competitive advantages. I sure hope this is wrong.
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
November 7, 2025 at 5:48 PM
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.
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?
October 27, 2025 at 4:18 PM
@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?
Reposted
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...
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 ...
discourse.haskell.org
October 25, 2025 at 7:28 PM
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.
Helena Rasiowa - Wikipedia
en.wikipedia.org
October 24, 2025 at 1:41 PM
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.
Reposted
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!
October 17, 2025 at 9:40 AM
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!
Reposted
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/
Chateaubriand Fellowship
chateaubriand-fellowship.org
October 17, 2025 at 3:41 PM
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/
Reposted
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
Every programming language has one of two flaws:
* it has macros
* it doesn't have macros
October 16, 2025 at 5:15 PM
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
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.
October 13, 2025 at 10:37 PM
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.
Wowza. What a day. I'm for sure gonna need a double Kopi C to get me going tomorrow morning.
October 13, 2025 at 3:11 PM
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.
Wowza. What a day. I'm for sure gonna need a double Kopi C to get me going tomorrow morning.
Reposted
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-...
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-...
(fifteenth RacketCon)
con.racket-lang.org
October 4, 2025 at 11:46 AM
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-...
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-...
Reposted
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...
2026.splashcon.org/track/oopsla...
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...
2026.splashcon.org
October 2, 2025 at 1:16 PM
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...
2026.splashcon.org/track/oopsla...
Reposted
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...
NSF Graduate Research Fellowship Program (GRFP)
www.nsf.gov
September 26, 2025 at 3:45 PM
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...
Reposted
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
I've attached a short clip from a reenactment of the situation in the documentary The Man Who Saved the World.
1/11
September 26, 2025 at 7:38 AM
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
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?
September 22, 2025 at 10:50 PM
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?
Reposted
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...
Send us your best on the best of both worlds!
functional-logic.org/events/flops...
FLOPS 2026 - Call for Papers | Functional Logic Programming
18th International Symposium on Functional and Logic Programming
functional-logic.org
August 26, 2025 at 6:52 AM
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...
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.
GitHub · Build and ship software on a single, collaborative platform
Join the world's most widely adopted, AI-powered developer platform where millions of developers, businesses, and the largest open source community build software that advances humanity.
Github.com
August 25, 2025 at 9:11 AM
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.
Reposted
The University of Manchester is hiring:
Research Associate - Formal Methods for Autonomous Robotics
Research Associate - Formal Methods for Autonomous Robotics
August 18, 2025 at 7:22 AM
The University of Manchester is hiring:
Research Associate - Formal Methods for Autonomous Robotics
Research Associate - Formal Methods for Autonomous Robotics
Every day I get slightly more tempted by NixOS
August 16, 2025 at 3:28 PM
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.
August 6, 2025 at 1:44 AM
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?
July 31, 2025 at 2:11 PM
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
July 27, 2025 at 11:46 PM
Bug reports are how I give hugs
Reposted
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/
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/
July 27, 2025 at 9:02 AM
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/
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/