Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @madgen_
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @madgen_
-
Prikvačeni tweet
Preparing for tech job interviews led me to verify leftist heaps using fancy types in Haskell (not kidding). Here’s a blog post explaining that and most type-level computation features of Haskell. https://dodisturb.me/posts/2019-10-03-Verifying-the-Titular-Properties-of-a-Leftist-Heap.html …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
This is so good! More concretely, they use an SMT solver to find that a pretty typical family with kids might lose €60 per month as a result of getting a raise of €40 per month.https://twitter.com/_protz_/status/1223263479873921024 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Mistral Contrastin proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
For those who might have missed it, there is a very entertaining thread under this tweet between
@Rey_Skywalker8 and@wtgowers that has been going on since November 25th.https://twitter.com/johncarlosbaez/status/1197942697929007104 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Mistral Contrastin proslijedio/la je Tweet
Next time someone asks you to name a computable irrational number that has been proved *not* to be normal in any base (i.e. does *not* contain every finite sequence of digits with equal density) you can turn to this beautiful example from Greg Martin: https://arxiv.org/abs/math/0006089 …pic.twitter.com/1iL9fpFadm
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I grew up with a relatively obscure French name in Turkey&Britain. People get it wrong in more ways than you'd imagine. I see brains as pattern matching machines and Mistral is unfamiliar. So I'm not bothered as long as I can recognise my name. To me, that's its only function.https://twitter.com/notypes/status/1216027700441309184 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Mistral Contrastin proslijedio/la je Tweet
me: oh cute a Polaroid camera in a game me, 10 seconds later: WHAT DEVILRY IS THIShttps://twitter.com/mattstark256/status/1213156890475212800 …
0:59Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Mistral Contrastin proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Mistral Contrastin proslijedio/la je Tweet
Recursion Schemes cheat sheet. https://github.com/sellout/recursion-scheme-talk/blob/master/cheat%20sheet.pdf …pic.twitter.com/Fi1tAa2uDD
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Mistral Contrastin proslijedio/la je Tweet
At conferences, I use Inigo Montoya’s guide to Networking Success (Yes, really. Otherwise I always forget to say my name
)
1. Greeting
2. Name
3. Relevant personal connection
4. What to expect from the encounter
#BSI2019pic.twitter.com/RzSDjvUS5F
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Mistral Contrastin proslijedio/la je Tweet
Higgs boson confirmed to be a monadhttps://twitter.com/annannabarth/status/1201296872045834241 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Mistral Contrastin proslijedio/la je Tweet
Scientist: carefully designs experiment Participant:pic.twitter.com/1a8FqbfCZc
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Mistral Contrastin proslijedio/la je Tweet
Wrote a course proposal, CS 101: Introduction to Hammering https://www.williamjbowman.com/blog/2019/11/20/cs101-introduction-to-hammering/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
People rightly complain that Haskell lacks resources for intermediate users. This is a neat exception.https://twitter.com/StrathCS316/status/1197141243798667264 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Mistral Contrastin proslijedio/la je TweetHvala. 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
-
Mistral Contrastin proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Someone next to me in a café is on a date and explaining Curry-Howards correspondence. Godspeed! I love Cambridge.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
More traditional look without currying. Not sure if this is better or worse?pic.twitter.com/SDdA8mPPj5
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
More syntactic regularity upon
@dorchard’s request. Since facts are just clauses with trivial bodies, `Fact|> fact` can be epxressed as `fact |- true`.pic.twitter.com/nWg8BuVY5D
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
Č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.
哈哈