Sign in

radbuglet

@radbuglet.bsky.social
22 followers 134 following 55 posts
PostsRepliesMedia
radbuglet @radbuglet.bsky.social · 15/09/2026
010
radbuglet @radbuglet.bsky.social · 09/09/2026
The “i” in DSi stands for iPhone.
001
radbuglet @radbuglet.bsky.social · 04/09/2026
estrace? Nah, sorry, you gotta disable system integrity protection to use that.
000
radbuglet @radbuglet.bsky.social · 02/09/2026
moove semantics
0260
radbuglet @radbuglet.bsky.social · 25/08/2026
play.rust-lang.org?version=stab...
play.rust-lang.org
Rust Playground
A browser interface to the Rust compiler to experiment with the language
000
radbuglet @radbuglet.bsky.social · 10/08/2026
I just learned about availability bias and, man, it sure does seem to pop up everywhere!
000
radbuglet @radbuglet.bsky.social · 09/08/2026
Guys stop joking about the death penalty. The death penalty killed my grandma.
000
radbuglet @radbuglet.bsky.social · 21/06/2026
Highlighter for sensitive skin
a picture of a secure marker redacting a document
000
radbuglet @radbuglet.bsky.social · 14/06/2026
Since the days of the American revolution, the British government has strongly opposed tea blockers.
010
radbuglet @radbuglet.bsky.social · 22/05/2026
That sentence might have been a bit of word salad since I was trying to code-golf an explanation. I added some comments to the playground itself... play.rust-lang.org?version=stab...
play.rust-lang.org
Rust Playground
A browser interface to the Rust compiler to experiment with the language
000
radbuglet @radbuglet.bsky.social · 22/05/2026
I always assumed Rust had to do something like this in order to type-check… play.rust-lang.org?version=stab... …since it type-checks the body in lexical order and knows the type of projections that were created before the types required to resolve it were known at the point they’re finally used.
play.rust-lang.org
Rust Playground
A browser interface to the Rust compiler to experiment with the language
100
radbuglet @radbuglet.bsky.social · 21/05/2026
Die space? You mean a graveyard?
021
radbuglet @radbuglet.bsky.social · 09/05/2026
brb pronouncing antelope like Penelope.
010
radbuglet @radbuglet.bsky.social · 08/04/2026
Hey, that's what Racket is for! racket-lang.org
racket-lang.org
Racket
051
radbuglet @radbuglet.bsky.social · 07/04/2026
Heartwarming.
A screenshot of a new diagnostic for the same code snippet as earlier. The diagnostic reads “error: could not unify `(&'_ for<T> crate::Trait<((),)>,)` and `(&'_ for<T> crate::Trait<(HrtbVar(DebruijnRelative { raw: 1 }),)>,)`,” suggesting that higher-ranked trait bound variable leaks are now fixed.
010
radbuglet @radbuglet.bsky.social · 07/04/2026
Tragic.
A screenshot of some Clay code from https://github.com/caelunshun/clay/blob/fc16d39a7de7e57447cb2e59ce6fed929ed402af/crates/frontend/samples/test29.fir#L12-L32 with a setup to attempt to leak a higher-ranked trait bound variable from the binder.A diagnostic stating that the compiler “could not unify `HrtbVar(DebruijnRelative { raw: 1 })` and `()`,” confirming that, indeed, the higher-ranked trait bound variable has been leaked.
110
radbuglet @radbuglet.bsky.social · 04/04/2026
The followup www.youtube.com/watch?v=zDbs...
youtube.com
these hoes lookin' thirsty
YouTube video by dakooters alt
000
radbuglet @radbuglet.bsky.social · 04/04/2026
I remember seeing an article about this problem on lobsters a while ago. It’s relatively short but links to a bunch of Swift design documents in case you want to learn more. danielchasehooper.com/posts/why-sw...
danielchasehooper.com
Why Swift’s Type Checker Is So Slow
How a 10 year old design choice for Swift’s type checker still haunts us to this day
0100
radbuglet @radbuglet.bsky.social · 19/03/2026
Novel drag queen names, a 🧵: Aunt Iniquity
010
radbuglet @radbuglet.bsky.social · 12/03/2026
Is your ampersand key broken? No worries! Rust's got you covered! play.rust-lang.org?version=stab...
A screenshot from the playground linked above. It achieves the same as the first post in the thread but does so without using ampersands.
010
radbuglet @radbuglet.bsky.social · 12/03/2026
Now, say you wanted to write `let mut c = &mut *d;` using patterns. Not to worry! Just enable the unstable `mut_ref` feature and write `let &mut mut ref mut c = d;`. It's a cinch! play.rust-lang.org?version=nigh...
A screenshot from the playground linked in the post demonstrating that exact pattern.
110
radbuglet @radbuglet.bsky.social · 12/03/2026
Novel Rust reborrowing technique play.rust-lang.org?version=stab...
A screenshot from the linked Rust playground of the `bar` function, which reborrows a mutable reference to a variable using a pattern.
110
radbuglet @radbuglet.bsky.social · 10/03/2026
I'm gonna go to bed for the day, be right back.
010
radbuglet @radbuglet.bsky.social · 05/03/2026
My mascara is so good today. istg, if I cry I’m gonna cry.
010
radbuglet @radbuglet.bsky.social · 01/03/2026
“You'd have to do a lot of crocheting to make ends meet.”
030
radbuglet @radbuglet.bsky.social · 26/02/2026
Here's a playground link which illustrates how this could be a breaking change a bit more clearly. Then again, this is caused by a bug in rustc and cargo-semver probably shouldn't warn on this—I'm sorry you got pinged about that! play.rust-lang.org?version=stab...
play.rust-lang.org
Rust Playground
A browser interface to the Rust compiler to experiment with the language
110
radbuglet @radbuglet.bsky.social · 26/02/2026
*adding projection types
010
radbuglet @radbuglet.bsky.social · 26/02/2026
An actually minimized version of the bug can be found here. play.rust-lang.org?version=stab...
play.rust-lang.org
Rust Playground
A browser interface to the Rust compiler to experiment with the language
110
radbuglet @radbuglet.bsky.social · 26/02/2026
I was being very tongue-in-cheek with the whole “semver breakage” thing. The real bug is that `meow` and `mewo` should compile but only the former actually does. The “surprise semver breakage” quip is just about how seemingly innocuous changes in an upstream crate can cause this bug to occur.
110
radbuglet @radbuglet.bsky.social · 26/02/2026
Novel semver violation: adding associated types to type aliases which previously didn't have them. play.rust-lang.org?version=stab...
A screenshot of the code from the linked playground. The `mewo` function has an error squiggle despite being near identical to the `meow` function above.
260
radbuglet @radbuglet.bsky.social · 17/02/2026
Lily the Immortal by Kylie Lee Baker
Screenshot of https://www.businessinsider.com/meta-granted-patent-for-ai-llm-bot-dead-paused-accounts-2026-2, with the headline “Death isn't the end: Meta patented an AI that lets you keep posting from beyond the grave.”
010
radbuglet @radbuglet.bsky.social · 07/02/2026
en.wiktionary.org/wiki/exsangu...
en.wiktionary.org
exsanguinate - Wiktionary, the free dictionary
010
radbuglet @radbuglet.bsky.social · 07/02/2026
Mankind is dead. Blood is fuel. Thank goodness for fire exsanguishers.
110
radbuglet @radbuglet.bsky.social · 02/02/2026
010
radbuglet @radbuglet.bsky.social · 27/01/2026
Sorry. Can't. Have to go to sleep tomorrow.
010
radbuglet @radbuglet.bsky.social · 21/01/2026
First-person shooter maps if they were named like Mario levels: flagrant con conflagration.
010
radbuglet @radbuglet.bsky.social · 15/01/2026
nowadays, they call it GA(H)T.
020
radbuglet @radbuglet.bsky.social · 02/01/2026
010
radbuglet @radbuglet.bsky.social · 23/12/2025
So the answer is yesn’t? Like, the logic for checking whether a `#[repr(transparent)]` ADT will reveal the layout of your type to the type checker with no regards for visibility but an end user in another crate will at least get a lint.
030
radbuglet @radbuglet.bsky.social · 23/12/2025
Here is the compiler’s logic for checking whether a transparent structure has a legal layout. github.com/rust-lang/ru... It seems to have the notion of an unsuited type, which is a non-local ADT with private fields or a `non_exhaustive` attribute, and will lint if you use it as a ZST.
github.com
130
radbuglet @radbuglet.bsky.social · 21/12/2025
020
radbuglet @radbuglet.bsky.social · 06/09/2025
A screenshot from Girls' Last Tour episode 5. Chito is dreaming of the ocean, with Yuuri depicted as a big fish. The skeleton of the small fish they ate a few days ago is circled in red. Hidden in the image is a picture of Goku.
020
radbuglet @radbuglet.bsky.social · 05/09/2025
Snap! is amazing.
A screenshot of a Snap! project. When the green flag is clicked, the program says meow for two seconds, moves 10 steps forwards, waits 2 seconds, sets the "factorial" variable to a recursive implementation of factorial using the Y-combinator, and uses that variable to evaluate 5 factorial.
130
radbuglet @radbuglet.bsky.social · 29/08/2025
A lawyer, increasingly frustrated by the constant interruptions of her cadre of loyal paralegals, asks for parapets to be installed around her office. Somewhere, the monkey paw curls.
010
radbuglet @radbuglet.bsky.social · 16/08/2025
What are little boys made of? What are little boys made of? Three-in-one Snips, snails And puppy-dogs' tails That's what little boys are made of.....
010
radbuglet @radbuglet.bsky.social · 12/08/2025
In for a dollar, in for a dime, that’s why I mess up age-old adages on company time.
020
radbuglet @radbuglet.bsky.social · 31/05/2025
In addition to the human factors, single-use explosives are terrible for the environment.
010
radbuglet @radbuglet.bsky.social · 17/05/2025
Background music used: www.youtube.com/watch?v=micG...
010
radbuglet @radbuglet.bsky.social · 17/05/2025
110
radbuglet @radbuglet.bsky.social · 17/05/2025
010