Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @derKha
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @derKha
-
Prikvačeni tweet
The compiler warnings about me have been greatly exaggerated
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
-
My crazy, half-finished attempt to embed a Controlled Natural Language into Lean 4 I demoed todaypic.twitter.com/EGsnGtGMyP
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Bonn. Can't read that name without thinking back to my childhood when it used to be the seat of government and the first word spoken in basically every newscast.pic.twitter.com/kf4yRrHDus
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
That level of bullet list nesting is automatically ironic, right?
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Trying to pin down what makes Lean Lean... more or less objectivelypic.twitter.com/m5sRi54phv
Prikaži ovu nitHvala. 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
-
"Alpha Announcement: Coq is a Lean Typechecker"https://coq.discourse.group/t/alpha-announcement-coq-is-a-lean-typechecker/581 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Sebastian Ullrich proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
My roommate just pointed out to me that the Wizard cards actually cover more than 360°, which explains why the lady in #2 is in such a hurry
Prikaži ovu nitHvala. 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
-
Sebastian Ullrich proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Sebastian Ullrich proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Still have no idea how nested quasiquotations should behave
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Sebastian Ullrich proslijedio/la je Tweet
Thoughts on Lean Together 2020:https://xenaproject.wordpress.com/2020/01/14/lean-together-2020/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Btw, that's 30s out of a total layover of 1:50h in Newark. Still better than last time where the gate had been long closed!
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
On the other hand, there's nothing quite like seeing a sign "Moon 1/2 mile" to know you'll arrive in Pittsburgh soon. And that airport!pic.twitter.com/BtwLTqIb3M
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Gotta love taking a connecting flight inside the US. "We know you love the security check, so let's do it twice in the same journey!"
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
taking the "returning ESTA" queue at immigration: -5min Secondary Immigration Screening for no reason: +15min +feeling like a criminal bag check at security for no reason: +10min running through the entire terminal to the very last gate: -5min time left for boarding: 30s
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Sebastian Ullrich proslijedio/la je Tweet
Enough people asked about Coq vs Lean and setoids vs quotients that I tried to summarize what I know:https://gist.github.com/Blaisorblade/78441b030a7c0e20ab1242c8e6662db6 …
Hvala. 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.