Of course, at that time the Establishment promptly told us—at least they told me quite frequently —that a computer could not write a program; it was totally impossible; that all that computers could do was arithmetic, and that it couldn't write programs; that it had none of the imagination and dexterity of a human being. I kept trying to explain that we were wrapping up the human being's dexterity in the program that he wrote, the genera-tor, and that of course we could make a computer do these things so long as they were completely defined. We did run up against that problem. I think I can remember sometime along in the middle of 1952 that I flatly made the alarming statement that I could make a computer do anything which I could completely define. I'm still of course involved in proving that because I'm not sure if anybody believes me yet.
I’ve been sharing this paragraph a lot
2 days ago
10
3
0
0
After six months of work and writing, The Sojourn Audio Drama Season Two Volumes Three and Four are now in production! Thank you so much for all your support! We’ll see you later this year with more news!
#TheSojourn #scifi #audiodrama #sciencefiction #scifibooks
5 days ago
22
4
0
2
I'm really glad to hear it 😊
Consider joining the fun next year and contributing your own essay!
1 week ago
2
0
0
0
The Self-Cancelling Subscription
When family TV show night became systems debugging night.
One Friday night a few months ago, my family sat down to enjoy a TV show. We were surprised to see "Start your free trial." instead of "Continue watching."
Things escalated from there! Enjoy this 100% true story, part of #aprilcools!
predr.ag/blog/the-sel...
1 week ago
10
3
2
1
April Cools' Club
If you haven't heard of April Cools, it's an annual tradition where we post genuine essays on surprising topics. Anyone can join!
Check out the other posts here:
www.aprilcools.club
1 week ago
2
0
0
0
Advertisement
The Self-Cancelling Subscription
When family TV show night became systems debugging night.
One Friday night a few months ago, my family sat down to enjoy a TV show. We were surprised to see "Start your free trial." instead of "Continue watching."
Things escalated from there! Enjoy this 100% true story, part of #aprilcools!
predr.ag/blog/the-sel...
1 week ago
10
3
2
1
An Incoherent Rust
Coherence and the orphan rules are a frequent source of complaints about Rust, and a common topic of language proposals. This post covers most of the existing proposals around coherence and my vision ...
A new Rust language design post from boxy (my ???): www.boxyuwu.blog/posts/an-inc...
TL;DR: coherence (which is responsible for the orphan rule about trait impls) causes problems with ecosystem lock-in. If we introduce the idea of named trait impls we might be able to do away with it!
2 weeks ago
42
3
3
0
I have availability for Rust coaching, or consulting on Rust strategy from early April; from a single call to ongoing 2 days/week. I can help your team get things done, adopt Rust and use it more effectively, or to accurately evaluate Rust as a new technology.
2 weeks ago
22
12
1
1
You can write about *anything* you find fun.
For example, this essay is one of my most fun ones:
bsky.app/profile/pred...
3 weeks ago
2
1
0
0
April Cools' Club
Reminder: April 1st is coming up.
That means it'll once again be time for April Cools' Club, where we all write genuine, 100% true articles on topics outside our usual beat.
Everyone is welcome to join the #aprilcools club!
www.aprilcools.club
3 weeks ago
6
0
1
0
When someone says „Scientists do not want you to know“ you can dismiss everything from there on. Scientists want you to know. They are desperate that you know. They can’t shut up about what they found out and want you to know.
1 month ago
9598
4129
76
162
Here's a tiny bit of hopium:
In 2024 we were planning on adding 160 GW of renewable energy to the grid by 2030.
As of the start of this year, we had added 100 GW and are planning on adding 220 GW more by 2030.
(In 2022 we planned for 60 GW in 2030. We hit that by the end of 2023)
1 month ago
67
11
1
1
Advertisement
This is wild, nice find! I see why you describe it as a rustc bug.
1 month ago
0
0
0
0
It would still be helpful to know the "what did the upstream crate have, and what changed to trigger the bug" though.
You've thought 1000x more about this than any of the cargo-semver-checks contributors. So things that are obvious to you are quite opaque to us, even with the playground link :/
1 month ago
0
0
1
0
I'd love some help from @radbuglet.bsky.social to help me understand this better. We definitely don't catch this now, but I'd like to fix that!
It'd be helpful to frame this as "here's code that existed initially, then X got added, and behold how that caused breakage."
1 month ago
1
0
1
0
Episode 2: The History of Cats on Ships by The Untitled History Podcast
From as early as 7000 years before the common era, we have evidence suggesting cats served alongside humans on ships. This isn’t just in a civilian capacity. As long as there have been warships, cats ...
Important news!
I am delighted to announce the launch of my new podcast: The Untitled History Podcast.
It's me, and guests, falling down all the history rabbitholes you can imagine.
Please, please spread the word, subscribe and listen. Because... SHIPS CATS!! cms.megaphone.fm/channel/the-...
1 month ago
602
249
56
32
RustConf 2026: Call for Proposals
Join us in beautiful Montréal, Canada or online for 2+ days of excellent Rust programming language content, Rust training/workshops, an "UnConference"...
⏰️ 1 day left to submit a talk!
The #rustconf program is shaped by the Rust community — and the CFP closes tomorrow @ 11:59pm PST.
If you’ve been building, experimenting, debating, or refining how Rust is used in practice, this is your chance to put that work!
1 month ago
1
1
0
0
ngl when I saw this, I thought espresso must be a new library for working with gRPC over HTTP2 via tonic...
2 months ago
6
0
0
0
Ugh, you're telling me that "great landing" and "good landing" are not `Ord`.
In retrospect this makes sense. This plane is clearly a float.
2 months ago
13
0
1
0
Advertisement
A rare case of a great landing (you can reuse the airframe after landing) that wasn't necessarily also a good landing (you can walk away from the airframe after landing).
2 months ago
34
7
1
0
Hey chat is it good when your security audit recommends this?
2 months ago
204
54
3
3
Image from the Trail of Bits report showing the offending code associated with the second high-severity vulnerability. It includes an empty "else" branch with a "to-do" comment that reads: "TODO (eventually) reject if signature is missing"
Why was this code ever shipped?!
This is from the second vuln, where keys' signatures aren't checked before they're stored in the trusted key store.
Why would you ever ship a "TODO, actually validate signatures lol" in your secure messenger?!
2 months ago
82
22
4
10
Folks, there's an impersonation scam on Discord (and possibly elsewhere) that uses tech people's names and photos to slide into your DMs.
If you get a friend request / DM from "me" out of the blue:
(1) it's almost certainly not me
(2) feel free to ping me here to check!
2 months ago
6
1
0
1
There’s so much demand for a T that’s so fundamentally disappointing.
2 months ago
32
7
3
1
