Cody

Applied scientist at AWS. Proof theory enthusiast. Ultrafinitist.

Public Key

npub1vh2w8x489dspljv7vmzav9frqrenltzffvzlsdadlxl60z07x63sakc2kp

NIP-05 Address

codyroux_at_mathstodon.xyz@mostr.pub

Profile Code

nprofile1qqsxt48rn2njkcqlex0xd3wkz53spuel43y5kp0cx7kln0a838lrdgc038djv

Author Public Key

npub1vh2w8x489dspljv7vmzav9frqrenltzffvzlsdadlxl60z07x63sakc2kp

Show more details

Last Notes

2024-11-03 21:08:45

Awww...
https://media.mathstodon.xyz/media_attachments/files/113/421/062/895/247/126/original/086bb988ffcaf8ad.jpg

2024-11-03 18:23:28

- reply

@npub1c9m…9xjd kind of weird not to bring up Les Fourmis (though ymmv)

2024-10-17 17:38:07

- reply

@npub1c9m…9xjd also compile a medium size C++ program

2024-10-17 16:32:23

- reply

@npub1c9m…9xjd
> Deceleration into M31 would rely on a similar engagement (but in reverse) with an orbiting BH near the M31 center. Similarly for a return trip, if necessary.
The optimism astounds.

2024-10-17 16:28:54

- reply

@npub1knz…c73p @npub1ky2…ghvc @npub1c9m…9xjd like dinosaur bones!

2024-09-25 12:22:40

@npub1knz…c73p I have a question with probaly no good answer: let's pretend the world is completely classical.
Is there a good way to explain why it "feels" like there's randomness at a macro scale, even though everything is deterministic? It feels like ignorance should be a part of this.
I guess I'm asking for a synthetic theory of probability without random variables that makes some kind of sense.
Maybe this is a well-known solved problem.

2024-09-16 19:22:57

- reply

@npub1ky2…ghvc Isn't a set just a map to booleans?

2024-09-12 18:09:31

- reply

@npub1knz…c73p I'm sure ice-nine will get us first.

2024-09-10 19:02:09

- reply

@npub1c9m…9xjd I wonder how https://github.com/danmar/cppcheck does it.

2024-09-05 22:32:02

- reply

@npub1c9m…9xjd an aglet!