Ancestors

Written by Dave Anderson on 2025-01-30 at 06:01

The fun thing about skimming the unsafe rust bugtracker is that, aside from wondering how any computer ever works at all, you pick up some fun compsci terms.

Today's term: demonic non-determinism, which describes a program that resolves all non-deterministic execution steps in favor of not halting. Contrast with angelic non-determinism, which given a choice always prefers to halt.

=> More informations about this toot | More toots from danderson@hachyderm.io

Written by Dave Anderson on 2025-01-30 at 06:02

My new canon for Doom is that the future facility on Mars which opens a portal to hell turns out to be a miri extension that got out of hand.

=> More informations about this toot | More toots from danderson@hachyderm.io

Toot

Written by Dave Anderson on 2025-01-30 at 06:03

"You don't understand! We can use the argent energy to stabilize the unsoundness! Without it, the global allocator is an unstable singularity!"

=> More informations about this toot | More toots from danderson@hachyderm.io

Descendants

Written by Dave Anderson on 2025-01-30 at 06:07

Again if this sounds like I'm making fun of rust and its opsem efforts, I'm really not. I'm glad they're doing the thing, and I'm amazed that we seemingly got this far on what seems like quite shaky ground.

But otoh when I come across a bug that starts with "why is const?" followed by an long intricate discussion that loses me in the first paragraph, I can't help but feel like I'm going mad.

=> More informations about this toot | More toots from danderson@hachyderm.io

Written by Nathan Lövsund 🐒 🚀 on 2025-01-30 at 06:40

@danderson Thank you for the SG-1 fuzzies your sentence just gave me :thx:

=> More informations about this toot | More toots from nlovsund@mastodon.acc.sunet.se