Stephen

And even more finally, we have the `plait' language for use with Programming Languages, Application and Interpretation, THIRD Edition.
docs.racket-lang.org/plait/

My understanding is one reason the Racket Math library is implemented in Typed Racket is the performance benefits. @samth.bsky.social ?

types, Types, TYPES!

Did you know Racket supports static type checking?

#lisp

Firstly there is Typed Racket (prev. Typed Scheme) and is used to implement the wonderful Plot and Math libraries that ship with Racket.
#typescript

Really?
I know enterprises that are using OVH and STACKIT...seemingly successfully.

European Alternatives We help you find European alternatives for digital service and products, like cloud services and SaaS products.

I believe there are a number of true European owned and operated cloud services: european-alternatives.eu

Hello, Linux Developer. My name is Jigsaw. In this "Saw Trap" (as I've taken to calling them), there is a wheel in front of you. Your challenge is to leave the room without reinventing it. It works fine. It is a perfectly good wheel. The door is unlocked.

In other words, we are in the final few years of pre-AGI civilisation, after which nothing may ever be the same again. To some the prospect is apocalyptic, to others, like Hassabis, it’s utopian. “Assuming we steward it safely and responsibly into the world, and obviously we’re trying to play our part in that, then we should be in a world of what I sometimes call radical abundance,” says Hassabis. He paints a picture of medical advances, room-temperature superconductors, nuclear fusion, advances in materials, mathematics. “It should lead to incredible productivity and therefore prosperity for society. Of course, we’ve got to make sure it gets distributed fairly, but that’s more of a political question. And if it is, we should be in an amazing world of abundance for maybe the first time in human history, where things don’t have to be zero sum. And if that works, we should be travelling to the stars, really.” Is he getting too close to his own technology? There are so many issues around AI, it’s difficult to know where to even begin: deepfakes and misinformation; replacement of human jobs; vast energy consumption; use of copyright material, or simply AI deciding that we humans are expendable and taking matters into its own hands.

“We are going to create a machine that solves all our problems” is a preposterous assertion and should be treated as such. www.theguardian.com/technology/2...

an architect, had committed suicide after a nearly identical blow to his self-respect only a month earlier. Yes, and Frank Pepper would eventually be popped out of his grave by the timequake, so he could blow his brains out while his wife and three kids watched a second time. Here's the thing: Frank went to the drugstore for condoms or chewing gum or whatever, and the pharmacist told him that his sixteen-year-old daughter had become an architect and was thinking of dropping out of high school because it was such a waste of time. She had designed a recreation center for teenagers in depressed neighborhoods with the help of a new computer program the school had bought for its vocational students, dummies who weren't going to anything but junior colleges. It was called Palladio. Frank went to a computer store, and asked if he could try out Palladio before buying it. He doubted very much that it could help anyone with his native talent and education. So right there in the store, and in a period of no more than half an hour, Palladio gave him what he had asked it for, working drawings that would enable a contractor to build a three-story parking garage in the manner of Thomas Jefferson. Frank had made up the craziest assignment he could think of, confident that Palladio would tell him to take his custom elsewhere. But it didn't! It presented him with menu after menu, asking how many cars, and in what city, because of various local building codes, and whether trucks would be allowed to use it, too, and on and on. It even asked about surrounding buildings, and whether Jeffersonian architecture would be in harmony with them. It offered to give him alternative plans in the manner of Michael Graves or I. M. Pei. It gave him plans for the wiring and plumbing, and ballpark estimates of what it would cost to build in any part of the world he cared to name. So Frank went home and killed himself the first time.

Vonnegut timequake 1997

Sigh. What is it about reddit that encourages such atrocious behaviour?

I'm never going back to Matrix I should love Matrix. It is a decentralised, privacy preserving, multi-platform chat tool. Goodbye Slack and your ridiculous free limits. Adiós Discord and your weird gamification. Suck it IRC with your obscure syntax and faint stench of BO. WhatsApp and Telegram can stick their heads in a bucket of lukewarm sick and sing sea shanties! Let's join the future! The problem is - Matrix is shit. Not …

New blog post: I'm never going back to Matrix

https://shkspr.mobi/blog/2025/07/im-never-going-back-to-matrix/

I should love Matrix. It is a decentralised, privacy preserving, multi-platform chat tool. Goodbye Slack and your ridiculous free limits. Adiós Discord and your weird gamification. Suck …

Racket meet-up: Saturday, 2 August 2025 Everyone is welcome to join us for the :racket: Racket meet-up: Saturday, 2 August 2025 at 18:00 UTC image by @pard In your timezone: 2025-08-02T18:00:00Z (UTC). (converter). At this meet-up: …

EVERYONE is WELCOME 😁 to join us for the Racket meet-up: Saturday, 2 August 2025 at 18:00 UTC

Announcement at racket.discourse.group/t/racket-mee...

Certificate of incorporation

corporations have more rights than trans people, so I incorporated as a delaware c corp (this is real, I just got approved)

Will your keynote ‘You don’t have to be a compiler engineer to work on Python’ at @europython.eu be made available?

(in any form: audio, video, even slides)

Was this recorded?

We clearly need a Python-inspired language with significant indentation called ‘Smack the Pony’.

I think we should consider "making our planet uninhabitable" a crime that can be retroactively punished.

Little know this, but you can (relatively viably) use PHP as a preprocessor for C source code.

It's not that hard to make friends in your 30s, you just have to be Delightful

Reminder: code review is not "to catch mistakes", it is a tool for understanding to limit bus/lottery factor first and foremost. When code is written (if you're lucky) by one human, having the second human abdicate their judgment to the machine is actively harmful to your team's code understanding.

Thought experiment: Most programming languages were designed in an era where mostly one programmer coded in isolation. If you were designing a language for modern collaborative programming/commenting/etc., what would you change? How would you *modify* existing languages?

I’d like to make it easier to communicate intent, but I’ll admit I don’t know how. I may be telling on myself but what my code does, and what I think it does are often two separate things. Add dependent types?

Contact me with the address listed at racket-lang.org/friendly.html

YouTube video by QMULOfficial Fresher to Thriver: Cultivating Belonging and Growth in Engineering Education

Fresher to Thriver: Cultivating Belonging and Growth in Engineering Education
youtu.be/Ub_BxRgin9A?...
@qmuleecs.bsky.social

We’ve launched a new set of cartoon-style Computer Science Heroes posters to help young kids see diverse role models in tech! Made by the CS4FN team, illustrated by Richard Butterworth & supported by EPSRC. UK educators can get a free printed set or download them: www.qmul.ac.uk/eecs/news-an...

Racket meet-up: Saturday, 2 August 2025 Everyone is welcome to join us for the :racket: Racket meet-up: Saturday, 2 August 2025 at 18:00 UTC image by @pard In your timezone: 2025-08-02T18:00:00Z (UTC). (converter). At this meet-up: …

Everyone is welcome to join us for the Racket meet-up: Saturday, 2 August 2025 at 18:00 UTC

EVERYONE WELCOME 😁

Announcement at racket.discourse.group/t/racket-mee...

AI for "good", indeed. Glad a journalist picked up on this story and interviewed Abeba. Streisand Effect these asses.

Decades of mechanistic talk about university degrees as if they were bundles of 'skills' and 'prep' are about to be proved completely wrong (obviously). Want to get a real boost? Do History or English.

A very cool technology that allows students to interact with John Maynard Keynes’ ideas as he develops them is called a book

Petition: Repeal the Online Safety Act We want the Government to repeal the Online Safety act.

And if you're a British citizen – living anywhere in the world – or a UK resident, please consider signing this petition to repeal the Online Safety Act:

✍️ petition.parliament.uk/petitions/722903

#OnlineSafetyAct