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.
If you admin a server, I'd recommend going invite only for a while till we work out whether the fash will try an make inroads on Fediverse after all this censorship that's going down.
#SolarWinds wrote a blog post a in 2019 about how #FLOSS is dangerous because anyone can push malicious code to FLOSS projects:
The irony could not be sweeter.
Nextcloud released easy one click migration from Google, Dropbox, OneDrive and others https://nextcloud.com/blog/easy-migration-to-nextcloud-from-insecure-and-privacy-unfriendly-platforms-now-available/
A mathematician’s unanticipated journey through the physical world, https://www.quantamagazine.org/a-mathematicians-adventure-through-the-physical-world-20201216/
Quanta profiles Lauren Williams and discusses her work on enumerating cells of Grassmannians and its unexpected connections with intersection patterns of solitons
Success! Even though my fountain pen is shaped so weirdly that it requires some, um, improvisation after all...
Freakonomics: Does Advertising Actually Work? (Part 1: TV) (Ep. 440)
Companies around the world spend more than half-a-trillion dollars each year on ads. The ad industry swears by its efficacy — but a massive new study tells a different story. ...
Freakonomics: Does Advertising Actually Work? (Part 2: Digital) (Ep. 441)
Google and Facebook are worth a combined $2 trillion, with the vast majority of their revenue coming from advertising. In our previous episode, we learned that TV advertising is much less effective than the industry says. Is digital any better? Some say yes, some say no — and some say we’re in a full-blown digital-ad bubble. ...
Ad-tech as a bubble overdue for a bursting
Tadelis designed another experiment and found that these ads were actually responsible for 0.5% of [eBay's] revenue – an order of magnitude less than their estimate – and that every $1 they spent generated $0.60 in losses. They cut $100m from their ad-spending.
But despite publication of these findings, the world increased its ad-tech spending. Tadelis attributes this to the fact that the major players in ad-tech are all incentivized to repeat the unsubstantiated tale of ad-tech's efficacy.
Ad-tech companies, publishers, and ad-tech buying consultancies are all compromised and unable to objectively assess whether ads work (cue Upton Sinclair: "It's difficult to get a man to understand something when his salary depends on his not understanding it").
HN discussion: https://news.ycombinator.com/item?id=25325974
I just finished the Natural Number Game: https://wwwf.imperial.ac.uk/~buzzard/xena/natural_number_game/ Each level is a proof that you have to write such that #leanprover can check it. It works in the browser and starts basically at zero with "Tutorial World".
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!