moons6pool

112 posts

moons6pool

moons6pool

@moons6pool

Beigetreten Haziran 2011
77 Folgt1 Follower
moons6pool
moons6pool@moons6pool·
@JustDeezGuy @CoqLang @DrAllyLouks I think the focus of lean on mathematics in general has been very successful but led to this chasm with formal methods and PLT people when lean decided to just make setoids work and damn the (admittedly rare) theoretical issue
English
0
0
0
19
jeremy
jeremy@jeremylovesyall·
god, sci-fi blockbusters and disaster movies post 9/11 really loved showing swathes of innocent people getting killed. they only really stopped after man of steel was the first to get criticised heavily for this
Neb | 🏳️‍🌈@NebsGoodTakes

Green Lantern (2011)

English
75
444
13.9K
420.5K
moons6pool
moons6pool@moons6pool·
@are_muc @JDHamkins I am sure you know all these facts, I just want to present this narrative: the halting problem should have produced a paradigm shift just like Russel’s paradox, but it was dodged.
English
1
0
0
3
Joel David Hamkins
Joel David Hamkins@JDHamkins·
Quiz in my Infinity class. Give a self-contained argument that the set of real numbers is uncountable. Be sure to state exactly what this means, and probably it would be good to mention the name of the kind argument you are providing.
English
12
1
45
7.8K
moons6pool
moons6pool@moons6pool·
@are_muc @JDHamkins Not constructively. There are only countably many, but you can’t actually count them out.
English
0
0
0
8
moons6pool
moons6pool@moons6pool·
@SnowFake3 @JDHamkins Because all the added ones are fake you can put in as many as you like. This problem infects everything from then on. The culprit is classical logic, the solution is understanding that LEM died with Hilbert when Turing found a counterexample
English
0
0
0
4
moons6pool
moons6pool@moons6pool·
@SnowFake3 @JDHamkins No, we can discuss hypothetical objects and sometimes manipulate them symbolically. I will make an explicit claim: the reason the continuum hypothesis is indeterminate is because the continuum is subcountable existing reals and then a bunch of fake ones.
English
2
0
0
10
moons6pool
moons6pool@moons6pool·
@BasedPota18 Bizarrely they decided boba fett was not a “real mandalorian” when mandalorians only exist as a concept because of how cool he looked
English
1
0
35
1.8K
Pota Norimaki
Pota Norimaki@BasedPota18·
It’s funny In Star Wars that typically whenever a member of an alien species first appears in the films, most subsequent media will proceed to portray whatever occupation they had as a major part of their species’ lore and have other members in that job There’s a joke to be made there
English
28
46
1.9K
72.1K
BEN77
BEN77@blsm77·
@HubPointless First cartoon race you encountered? 🤣
BEN77 tweet media
English
4
0
41
3.9K
moons6pool
moons6pool@moons6pool·
@ThatchEffendi GRRM is so good at plotting he just left mereen alone before deciding the series was not fixable and abandoning it wholesale
English
0
0
0
122
Alexander Thatcher
Alexander Thatcher@ThatchEffendi·
I'm not sure Dune inspired Game of Thrones. I think what happened is that both GRRM and Herbert are eccentric hyper-horny autodidacts who had their childhoods ruined by Catholicism and made it the world's problem. They're similar people, even if GRRM is better at plotting and Herbert is better at world building and vastly more intelligent.
The Jobfather™️ 🇯🇲🇨🇦🇬🇧@TheJobfather__

Dune inspired Game of Thrones and Star Wars. Frank Herbert is they pappy

English
39
30
965
74K
moons6pool
moons6pool@moons6pool·
@scheminglunatic Everyone wants to hear when somebody comes up with something more than had waving to base ultrafinitism on
English
0
0
0
11
moons6pool
moons6pool@moons6pool·
@realcopeaganda @CountDankulaTV Was he practicing Judaism when he said “before Abraham was, I AM” or “eat my flesh” or didn’t observe the sabbath regulations
English
1
0
0
106
CopeAganda
CopeAganda@realcopeaganda·
@CountDankulaTV Jesus was Jewish dude. Jesus practiced Judaism and observed all the Jewish holidays. This is all written in the Bible you should try reading it.
English
1
0
7
892
Count Dankula
Count Dankula@CountDankulaTV·
Christianity was "invented" by Jesus Christ you literal fucking retard.
David@RealDave1977

@travisrusko @mattsheffield No, Christianity was invented by white supremacists to hate. They don’t preach a type of God but they’re evil

English
247
707
14.8K
285.5K
moons6pool
moons6pool@moons6pool·
@LogicPractice Girard claims if you try make a paraconsistent logic you throw away everything (paraphrase). I’m not a good enough logician to know if he’s right
English
0
0
0
10
Logic & Applications
Logic & Applications@LogicPractice·
'Ex falso quodlibet.' From a false assumption, anything follows.
English
1
10
24
1.3K
moons6pool
moons6pool@moons6pool·
@realLPBeria In Orion’s Arm after the first mental singularity is breached creating intelligences that are incomparably more “aware” than previously, there is a current of thought that S<1 beings are not really conscious. The the second singularity is breached 👌
English
0
0
2
486
Woke Beria 🇬🇪
Woke Beria 🇬🇪@realLPBeria·
Silicon Valley’s best and brightest are using the simulation hypothesis to argue that the rest of us aren't actually conscious. Ofc, they don't want to act on this. For now, at least. We can *definitely* trust the people who secretly suspect this to give us UBI in perpetuity.
Woke Beria 🇬🇪 tweet media
English
69
97
807
33.9K
moons6pool
moons6pool@moons6pool·
@Ngnghm If you write your system as functions and then prove those functions correct separately, you will have a better time than if you try to make types that cannot be used correctly. Cool when it works but every change requires an artisanal data type at best
English
0
0
1
95
💻🐴Ngnghm
💻🐴Ngnghm@Ngnghm·
My experience with less-than-dependent types is that of "The Bear and the Gardener": an idiot friend who does heavy lifting for you, but will kill you trying to eliminate a bug. My experience with dependent types is that they are too much work for an overly rigid result.
English
7
4
35
4K
moons6pool
moons6pool@moons6pool·
@timotheeology These letters are before the Disputation Of Paris when the Talmud became widely known to Christendom thanks to a convert, Nicolas Donin, who informed the pope. Much writing before then was people assuming “Jews” were still doing some sort of second temple thing.
English
0
0
0
122
Timothy Gordon (Rules for Retrogrades Show)
Timothy Gordon (Rules for Retrogrades Show)@timotheeology·
Jews are indeed our "elder brothers in the Faith." But not in the way John Paul II tried to finagle it: Pope Innocent III taught that Jews bear the "mark of Cain," murderous elder brother who squandered his faith-inheritance and passed it on to his faithful younger brother.
Timothy Gordon (Rules for Retrogrades Show) tweet media
English
23
37
203
9.8K
moons6pool
moons6pool@moons6pool·
@analytichegel If your takedown of rust starts with “no HKT, not as good as dependent types” you have already admitted defeat no matter how true that is
English
0
0
21
629

Entdecken

@JustDeezGuy @CoqLang @DrAllyLouks @hardrocktelaviv @jeremylovesyall @are_muc @JDHamkins @cthorrez