Super Mario 64 has been decompiled, in its entirety, basically by hand (writing code until it compiles into the right binary) https://gbatemp.net/threads/super-mario-64-has-been-decompiled.542918/
Chinese scientists guilty of ‘researching while Asian’ in Trump’s America: https://www.scmp.com/magazines/post-magazine/long-reads/article/3016267/chinese-scientists-guilty-researching-while
The story focuses on star cancer researcher Xifeng Wu (https://en.wikipedia.org/wiki/Xifeng_Wu), 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", https://www.bloomberg.com/news/features/2019-06-13/the-u-s-is-purging-chinese-americans-from-top-cancer-research
@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?
they/them. undergrad - type theory, software verification, category theory, cryptography, topology.
A Mastodon instance for maths people. The kind of people who make \(\pi z^2 \times a\) jokes.
\) for inline LaTeX, and
\] for display mode.