axiom boosted

Super Mario 64 has been decompiled, in its entirety, basically by hand (writing code until it compiles into the right binary) gbatemp.net/threads/super-mari

axiom boosted

Chinese scientists guilty of ‘researching while Asian’ in Trump’s America: scmp.com/magazines/post-magazi
via news.ycombinator.com/item?id=2

The story focuses on star cancer researcher Xifeng Wu (en.wikipedia.org/wiki/Xifeng_W), forced to resign from the University of Texas, apparently because she fostered collaboration with Chinese cancer research institutions at the behest of her higher administration.

See also "The U.S. Is Purging Chinese Cancer Researchers From Top Institutions", bloomberg.com/news/features/20

@abs @absturztaube @314 what in the world is going on on fedi tonight

@314 explain

where are my glasses

axiom boosted

jeff bezos probs broke up with his wife 'cause that shit technically counts as a union too tbh

@abs death note

I don't read a lot of manga ><

@abs oh, I see. I was just confused about definitions. thanks!

@abs my intuition says that the hard part you're describing is proving that your model really is a model - but that hard part applies both to proving consistency and soundness. I don't see how it separates them

@abs hm, I don't entirely follow but I'll take your word for it!

@abs hmm? I don't see how that can be possible. What are the definitions of those?

@otini spacing before the word "text"

@olligobber well if it's swung then it doesn't seem so bad.....

@christianp wifi while microwaving your breakfast

@abs call them now if you can?

A Mastodon instance for maths people. The kind of people who make $\pi z^2 \times a$ jokes.
Use $ and $ for inline LaTeX, and $ and $ for display mode.