Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @codydroux
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @codydroux
-
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
I mean, this is basically already the case with bitcoin...https://twitter.com/jaycech3n/status/1224028025890754566 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
So I tried to implement a straightforward NbE algorithm in Coq for CCCs. It doesn't work. I'm stumped.https://github.com/codyroux/NbE-experiments …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
After having tweeted and blogged about NbE, I have to actually learn about it for a talk



Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
I mean, potentially better than it's ever been, but, you know, still shit.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Dunno if anyone's noticed, but the world is kind of shit right now...
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I'm curious to know how frequently this happens.https://twitter.com/oegerikus/status/1222965666078023680 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Suppose I have a functor F : C -> C' such that for a given base category B, there is a lifting for any fibration C -> B to a fibration C' -> B such that "things commute", whatever the heck that means. Is there a name for this?
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Reading "the undecidable" which is a collection of work edited by Martin Davis. Preliminary remarks: 1. Godel was the God of logic. That is all. 2. It's remarkable how mature the Entsheidungs paper is, but it looks like Church makes a mistake right at the beginning! Hmmm...
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Still feeling some pretty strong residual POPL envy...
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Cody proslijedio/la je Tweet
Me: "A value of type `ref` in OCaml is like a box with a value inside. How do we get it out?" Students: "We bang it!"
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Cody proslijedio/la je Tweet
give this man the job, you cowardshttps://twitter.com/jacksfilms/status/1220392245930496002 …
1:27Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Cody proslijedio/la je Tweet
I saw someone on Reddit saying Q should show up in s2 of Picard with de-aging CGI so he looks like 80s deLancie, then when he sees Older Picard he changes to Current Older deLancie to match, as a way to annoy Picard. I am here to say that: is a great idea
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Turns out proving Coq theorems on a deadline is not much funner than debugging programs on a deadline. Worrisome thought...
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I see these slides, and I deeply want to believe that they mean something, but, I dunno man...https://twitter.com/SchreiberUrs/status/1219745046532104192 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Cody proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.