Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @Blaisorblade
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @Blaisorblade
-
Paolo G. Giarrusso proslijedio/la je Tweet
Why programming language X was right for my project: a post-hoc justification of my social group’s aesthetic preferences framed as an engineering exercise.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Paolo G. Giarrusso proslijedio/la je Tweet
Interesting MO question: among hard mathematical results, which can we trust and how can we know? https://mathoverflow.net/q/351640 Question inspired by a talk by Kevin Buzzard (
@XenaProject), with slides online: http://www.andrew.cmu.edu/user/avigad/meetings/fomm2020/slides/fomm_buzzard.pdf …Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Paolo G. Giarrusso proslijedio/la je Tweet
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 -
Paolo G. Giarrusso proslijedio/la je Tweet
Here is my first blog post about the locally nameless approach to substitution:https://boarders.github.io/posts/locally-nameless/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Paolo G. Giarrusso proslijedio/la je Tweet
fun 2 work out why they call PSh(N) the "topos of trees" (with N a thin category under its usual ordering)
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Paolo G. Giarrusso proslijedio/la je Tweet
My student Denis wrote a formal semantics for the French tax code, complete with Coq proof of soundness and SMT queries to uncover unfair tax hikes. PL for fiscal justice! https://blog.merigoux.ovh/en/2019/12/20/taxes-formal-proofs.html …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Paolo G. Giarrusso proslijedio/la je Tweet
It's taken a while, as he decided to make it compatible with 64-bit systems before releasing it, but, as I hinted at Code Mesh, David Turner has now released the Miranda programming language under a BSD licence: http://miranda.org.uk/
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Paolo G. Giarrusso proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
how did I not see that cominghttps://twitter.com/erikcorry/status/1222976250978930690 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Paolo G. Giarrusso proslijedio/la je Tweet
We're on it! Now that Scala 3 is feature complete, we'll be putting in extra effort over the next few months. Additionally, a new developer will be joining our team to focus on the Scala 3 compiler integration specifically. More news later!
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Paolo G. Giarrusso proslijedio/la je Tweet
It's really exciting how quickly Dotty development is moving. This PR and yesterday's follow-up will make my cross-building branches for Cats + related projects so much cleaner:https://github.com/lampepfl/dotty/pull/8082 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Tales from my commit messages: Fix
#Coq Anomaly by adding Proper typeclass instanceHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Paolo G. Giarrusso proslijedio/la je Tweet
I've been seeing claims that ARM CPUs are more power efficient, or draw less power than Intel CPUs. Can someone point me to why this is the case?
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Paolo G. Giarrusso proslijedio/la je Tweet
A photo is a mathematical representation of your face.https://twitter.com/Apple/status/1215289219972849664 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Interesting tip, tracing back to
@johtib: default to StrictData#haskell.https://twitter.com/jacobstanley/status/1222374881070682112 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Paolo G. Giarrusso proslijedio/la je Tweet
Type inference is the failed objective that has inhibited progress for the last four decades.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Paolo G. Giarrusso proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Paolo G. Giarrusso proslijedio/la je Tweet
has anyone out there written up a guided tour and/or set of "look how simple this shit is compared to the usual stuff" encouragements for level (0, 1) / truth-value-enriched category theory, or am i gonna have to do it
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Paolo G. Giarrusso proslijedio/la je Tweet
"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 -
Paolo G. Giarrusso proslijedio/la je Tweet
“Give me your tired, your poor, Your huddled masses yearning to breathe free” Retweet if your immigrant ancestors wouldn’t be let in if this means tested immigration policy was in place then.https://twitter.com/GregStohr/status/1221861932929601536 …
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.