Share this page!

Enter URL or ID to Unroll

You can paste full URL like: https://x.com/threadreaderapp/status/1644127596119195649
or just the ID like: 1644127596119195649

How to get URL link on X (Twitter) App

  1. On the Twitter thread, click on or icon on the bottom
  2. Click again on or Share Via icon
  3. Click on Copy Link to Tweet
  4. Paste it above and click "Unroll Thread"!
  5. More info at Twitter Help
Dominic Cummings Profile picture
@Dominic2306
Jun 8, 2021 • 7 tweets • 3 min read • Read on X
Scrolly
1/ Fascinating report by a world leading mathematician, P Scholze, on an open source project to use 'proof assistants' on an important maths proof. Byproduct = the computer improved human understanding. Seems clear these tools will play ever greater role xenaproject.wordpress.com/2021/06/05/hal…
2/ Concept of 'proof assistants' goes back to e.g Hilbert's 1900 question on the possibility of automating maths & Gödel's 1931 proof re incompleteness/undecidability. I got very interested in this history & wrote about it here: dominiccummings.com/2017/06/16/com…
3/ Almost everything you read re Gödel is wrong. Franzen wrote a brilliant book explaining all the misconceptions: Image
4/ Image
5/ When Gödel first read out his famous result, nobody understood what he was on about - except a very young von Neumann who went to talk to him after the talk... Image
6/ Gödel summarised the effect of the combination of his & Turing's 1936 proof: Image
7/ This work led Gödel to formulate the P=NP? problem, central to the potential for 'proof assistants', but it was in an unreported letter to von Neumman as latter lay dying of cancer. It took ~15 years for the problem to be rediscovered rjlipton.wpcomstaging.com/the-gdel-lette… Image

• • •

Missing some Tweet in this thread? You can try to force a refresh
　

Keep Current with Dominic Cummings

Dominic Cummings Profile picture

Stay in touch and get notified when new unrolls are available from this author!

Read all threads

This Thread may be Removed Anytime!

PDF

Twitter may remove this content at anytime! Save it as PDF for later use!

Try unrolling a thread yourself!

how to unroll video
  1. Follow @ThreadReaderApp to mention us!

  2. From a Twitter thread mention us with a keyword "unroll"
@threadreaderapp unroll

Practice here first or read more on our help page!

More from @Dominic2306

Dominic Cummings Profile picture
May 20
1/ Thread on failure of old parties, academia, media, think tanks, government bureaucracies on UKR war

The Cadwalladr of IR, Prof Obrien, has been one of the most extreme and delusional. After every failure he just creates a new fake story, blames a lack of willingness to risk nuclear war, and goes again.

Here he combines two essentials - vast delusion over the counteroffensive, which he kept saying was a triumph long after it had failed - & anybody who disagrees is a Putin stooge.

Irony: many of the most aggressive pro-UKR propagandists like Obrien & Snyder are loudest in denouncing people like @elonmusk (a liberal who voted Obama), @DavidSacks, me who disagree on UKR & think the Idiocracy West has monumentally blundered as 'fascist' and an 'enemy within' -- i.e *exactly what actual fascists did*

Obrien adds snotty credentialism - to people pointing out his blunders he replies that he's a professor and they lack 'credentials' - exactly the attitude among public health 'experts' that was so disastrous in 2020

When others shuffle away from the disaster, he will keep doubling down & demand direct NATO attacks on Russia - if we avoid nuclear war, he will claim in years to come that we 'would have' won if only we'd not been so frightened of nuclear warImage
Image
2/ PM-zero-agency

A crucial aspect of UKR war propaganda and how NPC swarms work is *narrative whiplash* - the Official Line suddenly flips 180 degrees but the old media just download the software patch and parrot the new line without ever explaining how/why it changed

So in Feb 2022, No10 briefed - the war has nothing to do with UKR joining NATO, it isn't our policy, Putin is lying.

Then the line flipped to - obviously UKR shd join NATO.

And Stoltenberg then flipped the script 9/23 to - Putin offered no war if we promised UKR wd NOT be brought into NATO *and we said NO & preferred war*! Obviously this has got no coverage as it totally undermines the entire official NATO story.

Below you see PM-zero-agency do similar.

In early 2022, PM-trolley cut off Russian energy & bragged it wd scupper the Russian economy & war effort & UK consumers wd suck it up 'for democracy'. I.e WE cut off the gas and bragged about it...

NPCs who'd said repeatedly 'Boris is a liar' instantly believed & retweeted all his faux Churchill bullshit, swallowed claims on sanctions that were obvious rubbish

2022-24 Sanctions main effect was to help *China* (selling Russia loads at higher prices), exploited by India which resold Russian stuff to us mugs at higher prices, laughed at everywhere outside NATO-media-sphere & contributed to rapid decline of NATO/EU diplomatic influence globally, failed to stop Russian war effort which has adapted better than NATO (which continues en masse refusal to change shitshow procurement even after covid & during a war)

As I pointed out wd happen early 2022, e.g


UK 2024, PM-zero-agency says 'PUTIN cut off the gas supplies & it had a devastating impact', UK consumers are sick as chips but blame Putin not HMG!

And obviously the NPCs, often keen on 'fact checking' and 'disinformation', just downloaded the software patch & parroted the new line even though it is blatantly entirely factually untrue. NOBODY CARES ABOUT THE BASIC FACTS because it's a war and we've defined the goodies/baddies. (Do you see likes of Professor Useful Idiot for the Worst Regimes Portes 'fact checking this? Obv not)

You can only understand the war propaganda if you understand that ~100% of hacks just follow *memetic dynamics* - if a meme crosses a threshold in their network, they boost it to signal their agreement with the swarm. The process acts to suppress critical faculties and boost in-group tribalism. Those who disagree are idiots or fascists. Left-Remain-trans academia is particularly prone to this, which is no surprise if you studied Stalin and Soviet propaganda in 1920s/30.

The same happened with extreme-Remain on Brexit in 2019 and led to their self-sabotage, and on covid 2020 where Guardian and Telegraph each mobilised NPC Remain/Brexit networks for ad clicks then *their hacks started believing the fake news* they each generated (e.g Telegraph: 'Boris was pushed into lockdown by scientists' (fact: SAGE et al OPPOSED lockdown); Guardian: rapid tests are more Cummings corruption, they don't work (fact: rapid tests were a huge success & Guardian performed narrative whiplash by flipping to support them, without ever explaining to their readers the flip)


3/ General Ben Hodges, 6 Jan 2023: ’Ukraine is going to liberate Crimea by the end of August [2023]. We know from history war is a test of will and a test of logistics. Clearly Ukrainian soldiers and the Ukrainian people have the superior will. The Russian logistics system is frail… The sanctions are having a significant impact… Not everybody has their head around the idea Russia is actually going to be defeated the old fashioned way on the battlefield.’

On 22 June 2023, he repeated: ‘Ukraine could actually still liberate Crimea by the end of this summer.’

Many, many generals and other senior ranks have said similar things, all across the old media & TV 'news'. The old media NEVER says to them, or academics like Obrien & Freedman & Snyder, 'when you were last on you said X would happen, it didn't, why did you get this wrong, what have you consequently changed your mind about?'
Read 7 tweets
Dominic Cummings Profile picture
Nov 22, 2022
New blog: Midterms. Trump's blunder, DeSantis' chance. Why it's in @AOC's interests to challenge Biden. 2024 dynamics. Elite polarisation, Cicero, fishponds & civil war. Prof Sides' book on 2020...

dominiccummings.substack.com/p/2-regime-cha… Image
2/ Trump favourable ratings still remarkably high with GOP voters. Whether he's beaten for nomination will depend a lot on whether there is a big field he can pick off or GOP elites/Fox can get behind DeSantis dominiccummings.substack.com/p/2-regime-cha…
3/ The midterms was not a vote for Biden to stay after 2024. DEM voters want him to stand down and to see an open primary competition.
But Newsom & Kamala wd be MORE likely to lose to Trump
dominiccummings.substack.com/p/2-regime-cha…
Read 9 tweets
Dominic Cummings Profile picture
Sep 29, 2022
1/ New blog: The Human Handgrenade & Kami-kwasi fiasco - the Remain-PM + ERG totally on brand... Ignore MSM drivel from Telegraph, Economist - 'Truss underrated, will surprise on upside'. No No No
dominiccummings.substack.com/p/snippets-8-t…
2/ NB. How SW1 is largely ignoring that UK pension funds nearly blew up cos of massive hidden leveraged positions that No10/11 didn't know about or understand (like 2007-8)! How many MPs have a Scooby Doo what's going on?!
3/ the Tories installed probably the only MP more media obsessed than even the🛒. Hard to get a worse take than from the pundit with the highest 'pretentious crap to just crap' ratio
Read 11 tweets
Dominic Cummings Profile picture
Jul 30, 2022
New blog: Sunak has run a Cameroon-Establishment campaign, ‘fiscal conservatism’ is a *crazy* focus. 2023: best chance since ?1850s to build a replacement for the Tories when they sink in 2024
dominiccummings.substack.com/p/snippets-7-a…
Particularly crazy for Tory establishment to focus on 'fiscal conservatism' when they're *also* supporting breaking the manifesto guarantee on 'no tax rises'! Why would anyone believe your claims on tax/spend after that?!! dominiccummings.substack.com/p/snippets-7-a…
Tory MPs are *already* discussing a new party for 2024 after the deluge. Good! Why try to rebuild a rotten brand that millions wd never support on principle? Best chance since 19th C to replace it with something focused on public, NOT the rentier class
dominiccummings.substack.com/p/snippets-7-a…
Read 4 tweets
Dominic Cummings Profile picture
Jul 19, 2022
1/ Fantastic to see efforts from so many officials, scientists, deep state, & misfits pay off with something left/right/remain/leave can all support.
Science must be core priority of UK + of No10.
And science funding must become much more diverse with much less friction
#ARIA
2/ For background -
The Power of the Context, Alan Kay
google.com/search?client=…
The Dream Machine, Waldrop.
Interactive computing 1960/68, Licklider & Taylor:
memex.org/licklider.pdf
My paper on ARPA history & why UK needs its own
dominiccummings.files.wordpress.com/2018/09/201809…
#ARIA
3/ Alan Kay, one of the PARC alumni present at the creation: this video explains the history & explores crucial Q: why so little learning from ARPA/PARC?
Read 4 tweets
Dominic Cummings Profile picture
May 12, 2022
1/ How sanctions will soon be seen. Public already shifting cos cost of living (US too). Last to see? Social-science-#FBPE-twatter, always the easiest to fool with propaganda, believe what they read in papers, perpetual groupthink & hysteria dominiccummings.substack.com/p/snippets-4-a…
2/ What happens when you make privileged lefty Ivy league/Oxbridge grads/postgrads super-powerful in politics? E.g a/ Brexit! b/ Trump! Look at DEMs now, *absolute shitshow*. Delusional on Trump, again! The last ppl on earth to trust CNN/NYT 🤡
dominiccummings.substack.com/p/snippets-4-a…
3/ Nuclear war = 100s of Auschwitz's in hours then more from poisoning/starvation. For? East UKR?! NATO expansion?! We shd try to REDUCE potential for disaster from nuclear miscalculation, not EXPAND no of ways we get 100s of Auschwitz's dominiccummings.substack.com/p/snippets-4-a…
Read 5 tweets

Did Thread Reader help you today?

Support us! We are indie developers!

This site is made by just two indie developers on a laptop doing marketing, support and development! Read more about the story.

Become a Premium Member ($3/month or $30/year) and get exclusive features!

Become Premium

Don't want to be a Premium member but still want to support us?

Make a small donation by buying us coffee ($5) or help with server cost ($10)

Donate via Paypal

Or Donate anonymously using crypto!

Ethereum

0xfe58350B80634f60Fa6Dc149a72b4DFbc17D341E copy

Bitcoin

3ATGMxNzCUFzxpMCHL5sWSt4DVtS8UqXpi copy

Thank you for your support!

Follow Us!

Send Email!

:(