axiom boosted

Knots and Narnias, mathenchant.wordpress.com/2018

Riffing on a video of a Bill Thurston lecture, Jim Propp explains that when a portal to another dimension has a knotted boundary, it can actually be a portal to several other dimensions.

Sensitivity Conjecture resolved
scottaaronson.com/blog/?p=4229

axiom boosted

Type-checking the session-typed pi-calculus in Coq (master's thesis)

github.com/umazalakain/session

axiom boosted

Oh my god, this made my evening

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

where are my glasses

axiom boosted

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

axiom boosted

remote code execution vulnerability says trans rights

axiom boosted

bunposting

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."

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.