moons6pool

[moons6pool @moons6pool]

@Don_Daijobu @Eclipse_cAnon They die and go to Heaven. It’s not subtle at all

[moons6pool @moons6pool]

@MazmorraStudio What does splitting the abdomen and the straps get you over leaving them connected? Easier to hide the support contacts?

[moons6pool @moons6pool]

@LGcommaI Me looking into the dimension where Gentzen wasn’t starved to death by commies

[moons6pool @moons6pool]

@SpartanB3126 Isn’t Altansar just hanging out near Sol completely unmolested? It looks like someone told Onyx Patrol there are actual problems to deal with

[moons6pool @moons6pool]

@zetalyrae >literally write the book on the continuum
>still conclude god made only the integers

[moons6pool @moons6pool]

@HSVSphere Running Plan 9?

[moons6pool @moons6pool]

@EricRSammons Wait til they find out Mary is also the ark of the covenant

[moons6pool @moons6pool]

@glosseantics This is pretty much how people describe anarchocapitalist policing, if you were wondering, except instead of votes you just pay them

[moons6pool @moons6pool]

@maxvonhippel @tenobrus Honestly I thought it just wasn’t possible to do that in ACL2. I’m learning more about the family for a personal project though.

[moons6pool @moons6pool]

@maxvonhippel @tenobrus Formal methods has always eagerly adopted any automation technology that actually worked. You don’t have much of a choice. Twitter is full of people (and bots) talking about tokenmaxxing and not about what they actually made

[moons6pool @moons6pool]

@diagram_chaser I suppose this would work but isn’t this putting the entirety of chromium into the spec?
I favor just making the graphics card driver spec include “user space can’t break it” but I know graphics devices have special circumstances.

[moons6pool @moons6pool]

@TheEduardoRFS “The natural numbers are formed by intersecting every inductive set (whose existence is given by the axiom of infinity).” Why would you think this is a good idea or better than just inductive peano

[moons6pool @moons6pool]

@TheEduardoRFS Because most type theory is done by constructivists and impredicative anything is suspect

[moons6pool @moons6pool]

@schizothotep He ran out of runway when he decided not to just cut the “Mereenese knot” and wasted ten years trying and fifteen years lying about trying

[moons6pool @moons6pool]

@schizothotep Let me clarify that I am a GRRM hater. “How the story ends”? He doesn’t know. He was just throwing shit at the wall guided heavily by writing torture and rape scenes. He even wrote fanfic about how his gritty universe is better than high fantasy!

[moons6pool @moons6pool]

@p_droabreu0 Are you an American citizen? I kind of got the idea you were Brazilian from your podcast

[moons6pool @moons6pool]

@manicode C has a better semantics story than many other languages. It’s laborious to write memory-safe C but entirely possible to do so with verified safety.

[moons6pool @moons6pool]

@Smith_Everitt Catholicism retained everything from the old covenant.