Zuka

@_rabzu_

Reactive Systems, Functional programming, Machine learning, Scala, Haskell. 📺 📺

London, England
Vrijeme pridruživanja: rujan 2014.

Tweetovi

Blokirali ste korisnika/cu @_rabzu_

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

  1. 2. velj

    It's rather harsh assessment for a small country protecting it's interests at that time. I think you are missing a point.

    Prikaži ovu nit
    Poništi
  2. 19. sij

    Today, for the first time in 10 years I used a CD Rom. All I can say it was an interesting experience.

    Poništi
  3. proslijedio/la je Tweet
    17. sij
    Poništi
  4. proslijedio/la je Tweet
    2. sij

    Fascinating talk on formalizing mathematics in Lean by Kevin Buzzard: . Worth a listen, if only for a sense of how uninterested many "real mathematicians" are in formal proof, and in particular machine proofs of fifty year old theorems.

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

    Just published a new chapter of the FS2 guide, focused on the fs2-io module:

    Poništi
  6. proslijedio/la je Tweet
    1. sij

    2050 is as far away as 1990

    Poništi
  7. proslijedio/la je Tweet
    31. pro 2019.

    It’s been a big year for Pixelart! We’ve worked really hard to bring you so many great new apps and features. Find out about them in our year-end wrap up! And make sure to stay tuned for even more new stuff in 2020!

    Poništi
  8. proslijedio/la je Tweet
    30. pro 2019.

    🎶IT’S THE FINAL COUNTDOOOWWWN 🎶of the decade! If you’re not already - and we really think you should be - try using our countdown app to usher in the on your screens! Try it here: And of course, from everybody at Pixelart!

    Poništi
  9. proslijedio/la je Tweet
    27. pro 2019.
    Prikaži ovu nit
    Poništi
  10. proslijedio/la je Tweet
    29. pro 2019.

    Show HN: A pure functional programming language targeting decentralized systems

    Poništi
  11. proslijedio/la je Tweet
    28. pro 2019.

    A classic proof without words 1 + 2 + 3 + ... + n = n(n+1)/2

    Prikaži ovu nit
    Poništi
  12. proslijedio/la je Tweet
    27. pro 2019.
    Poništi
  13. proslijedio/la je Tweet
    26. pro 2019.

    And now I'm thrilled to announce that I created a structured list of materials about Software Design and Architecture in Haskell: No papers, no "what is" documentation, only "how to", practice-oriented materials. 1/

    Prikaži ovu nit
    Poništi
  14. proslijedio/la je Tweet
    25. pro 2019.

    Whether home or away, we hope today finds you well & that you take a minute to accept our warmest wishes. from Pixelart! 🎉 You'll be hearing from us very soon! Now...get back to opening presents/bugging your family/eating to excess. That's what we're doing! 🎁🥂

    Poništi
  15. proslijedio/la je Tweet
    20. pro 2019.

    We are proud to announce Dotty as feature complete with our new, 21st, release! 🎉 This release also brings exciting features such as explicit nulls, new syntax for `match` and conditional givens, and more. Read more in our blog:

    Poništi
  16. proslijedio/la je Tweet
    17. pro 2019.

    Chapter 9 is out! 🚀 It comes with a few updates: - Squants is now used for handling money. - Background implementation has been simplified. - Updated tests equality using Cats Eq.

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

    This video on the cost of US healthcare is amazing and not just when that girl says ‘shut the fridge’.

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

    Method chain hints in plugin 2019.3:

    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:

    ·