axiom boosted
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
axiom boosted
axiom boosted
axiom boosted
axiom boosted
This is kinda disturbing, actually? In process memory encryption to keep the spectrehammers at bay.

https://marc.info/?l=openbsd-cvs&m=156109087822676&w=2
axiom boosted

University of Strathclyde proposes to axe combinatorics and their three strong combinatorics faculty members: cameroncounts.wordpress.com/20
via gowers.wordpress.com/2019/06/1

This comes despite the group being both strong in research and important in undergraduate education. The apparent cause is Strathclyde's placement of combinatorics in computer science rather than in mathematics and in their use of standards aimed more at computer science than mathematics (like bringing in large grants).

axiom boosted

Integer linear programming, change-making, and Presburger arithmetic: gilkalai.wordpress.com/2019/03

Integer arithmetic problems with O(1) variables and one level of quantifiers (example: given O(1) coin types, find the largest amount of money for which you cannot make change) have long been known to be polynomially solvable, but in FOCS 2017 Nguyen and Pak proved that only two levels of quantifiers make the problem hard. See also review mathscinet.ams.org/mathscinet- and paper math.ucla.edu/~pak/papers/hard

axiom boosted

Some company is advertising by handing out USBs that look like thumb drives, but actually act as keyboards and open the company's webpage on any OS, sometimes by using the windows run dialog. This has given the attack vector more publicity and hopefully will remind people not to plug in random USBs they find. v.redd.it/6aygvuaqdq431

axiom boosted

What's written: WLOG

My brain: without loss of generality

Also my brain: wuh-log

axiom boosted
"A Google employee spoke with the Bay Area Reporter on the condition of anonymity about the current mood among LGBTQ Googlers, saying by phone that, "I'm really worried that they [company leadership] don't know how unsustainable this is. They want to have it both ways: to monetize the engagement that comes from really odious content, but to bear no responsibility for it. And all of us queers who work here see how they're getting away with making money off people who hate us while doing nothing to stop them. Meanwhile, most queer creators' channels are demonetized or marked 'adult' because they use words like 'trans.' Google has no right to be at Pride. They're just capitalists. They don't care."

https://www.ebar.com/news/latest_news//277351/activists_ask_sf_pride_to_ban_google_after_homophobic_youtube_dust-up
axiom boosted

If you're interested in the game of Hex, Matthew Seymour's online strategy book is the best one-stop guide to practical play that I know of (and it's not too easy to stumble across):
mseymour.ca/hex_book/hexstrat.

axiom boosted
axiom boosted
axiom boosted

The next time someone tries to use mathematical induction around you, just admonish them for making a slippery slope argument and move on

before they named it "Baba is You" it was called "True Facts about Keke"

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.