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

axiom boosted

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

axiom boosted

@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?

axiom boosted

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

Show more
Mathstodon

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.