Sometimes I remember that this exists.
Someone went all out on a speculative biology writing/worldbuilding exercise to create a site for a research group that studies "occlupanids" a.k.a. those plastic bread bag clips, as if they were some family of organism with a multitude of species.
There are some issues. I think some D code asks for way too large of a stack and OpenBSD (rightfully) says no way. Help to remedy this would be much appreciated.
You need a screaming new -current to use it. amd64 only for now.
Hilbert’s Tenth Again: https://rjlipton.wordpress.com/2021/03/13/hilberts-tenth-again/
Matiyasevich famously proved undecidability of Diophantine equations over integers in the 1970s, but the same question over rationals remains open. A new paper by Prunescu makes progress by proving undecidability of exponential equations over rationals. As Richard Lipton explains in this blog post, a key step, parameterization by integers of rational solutions to \(x^y=y^x\), comes from a 30-year-old recreational-mathematics article by Márta Svéd.
A large sockpuppet ring has been caught adding citations of Stephen Wolfram's works to Wikipedia: https://en.wikipedia.org/wiki/Wikipedia:Sockpuppet_investigations/Badtoothfairy
A typical addition: equivalence of the Riemann hypothesis to a tag system (https://en.wikipedia.org/w/index.php?title=Riemann_hypothesis&type=revision&diff=1011413368&oldid=1009272577), a trivial corollary of Minsky's proof of universality of tag systems.
They've been going at it for years, so it will take significant effort to clean up. Technical information that might point to who did this (e.g. an overenthusiastic fan or corporate publicists) is private.
ℹ️ It's near a place called Ouddorp on the (former) island of Goeree-Overflakkee (in the extreme south of South Holland).
Thoughts on the Pythagorean theorem: https://xenaproject.wordpress.com/2020/09/19/thoughts-on-the-pythagorean-theorem/
Or, what did Euclid actually mean by saying that two squares are equal to a third square? And how does this view relate to type-theoretic foundations?
From the xena automatic theorem-proving project. Both the name and the horrifying illustrations for the blog posts come from the author's daughter. For some heavier going, see https://xenaproject.wordpress.com/2020/06/05/the-sphere-eversion-project/ on perfectoid spaces and sphere eversion.
Seems to be this https://github.com/IsmaelMartinez/teams-for-linux/issues/406
A quick question ... not scientific, I know it will be full of selection bias, etc., but I'd be interested in people's answers here. If you can take 30 seconds or so I'd be grateful.
I'd also be grateful if people could boost this to get outside my bubble.
Regards "why now":
The environment has changed.
Previously theoretic risks are now manifest, demonstrated, and cognizable.
Actual riots, insurrection, disruption of government, assaults on law enforcement, damage to government buildings, theft of government property, violence, and deaths, have occurred.
The instigator is unrepentent and non-credible in what are at best tepid disavowals.
The totality of context has changed. If "he has tweeted worse things in the past", the undeniable impact is abundantly clear.
The ban is absolutely warranted. If anything, it is many years too late.
Twitter specifically address these points:
Due to the ongoing tensions in the United States, and an uptick in the global conversation in regards to the people who violently stormed the Capitol on January 6, 2021, these two Tweets must be read in the context of broader events in the country and the ways in which the President’s statements can be mobilized by different audiences, including to incite violence, as well as in the context of the pattern of behavior from this account in recent weeks. After assessing the language in these Tweets against our Glorification of Violence policy, we have determined that these Tweets are in violation of the Glorification of Violence Policy and the user @realDonaldTrump should be immediately permanently suspended from the service.
Facebook gave $50,000 to the Republican Attorneys General Association, who through their 501(c)4 arm Rule of Law Defense Fund helped organize the protest preceding the deadly attack on the U.S. Capitol that took place on January 6, 2021.
Other corporate sponsors of domestic terrorism in US include Koch, Comcast, Walmart, Home Depot, Amazon, TikTok, 1-800 Contacts, Chevron, NRA, Monsanto, Fox, Uber, Coca Cola, and Google.
Like, don't get me wrong, I'm chewing on a thread explaining why Big Tech can also go fuck itself because this shit is far too little, too late and about covering their ass if Section 230 really is on the block.
But come on dawg; first it was "it's newsworthy because he's president" now it's "it could happen to you"
Well mate, it DID happen to me for political speech & I still don't give a fuck cause inciting violence against your political enemies is not a fucking free speech issue ya cracker
Lol at folks worried about free speech because a billionaire reality TV show fascist lost his Twitter account for doing the exact kind of shit that would get literally any random person on Twitter suspended.
Please, sincerely, go fuck yourself because you ain't fooling anyone.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!