Mistral Contrastin

@madgen_

I like maths, philosophy, modern art, jazz, running, functional and logic programming. I implement Datalogs for a living at . he/him

Cambridge, UK
Vrijeme pridruživanja: srpanj 2009.

Tweetovi

Blokirali ste korisnika/cu @madgen_

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @madgen_

  1. Prikvačeni tweet
    4. lis 2019.

    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.

    Poništi
  2. 1. velj

    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.

    Poništi
  3. proslijedio/la je Tweet
    20. sij
    Prikaži ovu nit
    Poništi
  4. 17. sij

    For those who might have missed it, there is a very entertaining thread under this tweet between and that has been going on since November 25th.

    Poništi
  5. proslijedio/la je Tweet
    13. sij

    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:

    Poništi
  6. 12. sij

    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.

    Poništi
  7. proslijedio/la je Tweet
    4. sij

    me: oh cute a Polaroid camera in a game me, 10 seconds later: WHAT DEVILRY IS THIS

    Poništi
  8. proslijedio/la je Tweet
    27. pro 2019.
    Prikaži ovu nit
    Poništi
  9. proslijedio/la je Tweet
    18. pro 2019.
    Poništi
  10. 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

    Prikaži ovu nit
    Poništi
  11. proslijedio/la je Tweet
    2. pro 2019.
    Poništi
  12. proslijedio/la je Tweet
    27. stu 2019.

    Scientist: carefully designs experiment Participant:

    Poništi
  13. proslijedio/la je Tweet

    Wrote a course proposal, CS 101: Introduction to Hammering

    Poništi
  14. 20. stu 2019.

    People rightly complain that Haskell lacks resources for intermediate users. This is a neat exception.

    Poništi
  15. proslijedio/la je Tweet
    19. stu 2019.

    bond, james bond

    Poništi
  16. 17. stu 2019.

    Curry-Howard*

    Prikaži ovu nit
    Poništi
  17. proslijedio/la je Tweet
    17. stu 2019.
    Prikaži ovu nit
    Poništi
  18. 17. stu 2019.

    Someone next to me in a café is on a date and explaining Curry-Howards correspondence. Godspeed! I love Cambridge.

    Prikaži ovu nit
    Poništi
  19. 13. stu 2019.

    More traditional look without currying. Not sure if this is better or worse?

    Prikaži ovu nit
    Poništi
  20. 13. stu 2019.

    More syntactic regularity upon ’s request. Since facts are just clauses with trivial bodies, `Fact|> fact` can be epxressed as `fact |- true`.

    Prikaži ovu nit
    Poništi
  21. 13. stu 2019.

    Taking a step backwards and abusing ASCII less…

    More descriptive Query & Fact delineation
    Prikaži ovu nit
    Poniš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.

    Možda bi vam se svidjelo i ovo:

    ·