Cliff

@field_strength

Covariant-programmer. Curry-Howard practitioner. Writing Haskell for Snoop Dogg at Klarna. Into high-energy physics, math, public policy, art, sound... [he/him]

Stockholm, Sweden
Vrijeme pridruživanja: lipanj 2009.

Tweetovi

Blokirali ste korisnika/cu @field_strength

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

  1. Prikvačeni tweet
    11. lis 2018.

    I've recently gotten a new appreciation for these beaut's. Some of the baddest higher-order functions since {fmap, >>=, <*>}! Quite a clear and general framework for recursion and corecursion

    Poništi
  2. 1. velj

    I must highlight this great post about covariance and contravariance, and not just for . The fact that co/contravariance have an even/odd parity structure (where odd*odd = even, etc) is key to many confusions Ive had in the past in math/physics,etc

    Poništi
  3. 11. stu 2019.

    'Hackdays' is one of my favorite workplace concepts ever, and often it yields really useful stuff!

    Poništi
  4. 24. lis 2019.
    Poništi
  5. 18. lis 2019.

    Really like this talk by Emily Riehl inviting us to consider Lawvere theories as a (nearly) equivalent abstraction to monads for computational effects. Chapter 30 from seems a great companion resource

    Poništi
  6. 17. lis 2019.

    Hey, any of my haskell/fp tweeps at ? Do say hi! 😀👍

    Poništi
  7. 31. kol 2019.

    Don't learn category theory/algebra just to do one kind of programming, but to understand and model the world in general!

    Poništi
  8. 14. kol 2019.

    We have some awesome people and projects here if any of y'all fancy moving to beautiful Stockholm to write Haskell 😍

    Poništi
  9. 8. kol 2019.

    I'm pumped to try out this homotopy type theory language/IDE. About time we're able to code in a language whose core idea is from this millennium!

    Poništi
  10. proslijedio/la je Tweet
    5. svi 2019.

    Learning math, physics etc is not much harder than learning how to play the guitar. And the world has few extremely good guitar players but a ton of mediocre ones still having a ton of fun with it, while math and physics are seen as overwhelming monsters to steer clear of 🤷‍♂️

    Poništi
  11. 25. tra 2019.

    Just made some code about 10x easier to grok by making it idiomonadic

    Poništi
  12. 11. ožu 2019.

    Having written a fair amount of Idris (v1) this welcome banner for the second implementation is quite on-point 😅

    Poništi
  13. 24. velj 2019.

    Found some other Stockholmers getting pretty wild about the reappearance of the sun and blue sky (at )

    Poništi
  14. 17. velj 2019.
    Prikaži ovu nit
    Poništi
  15. 17. velj 2019.

    Found a pretty great way to define API instances together at once with ! Replaces either error-prone hand-written instances or annoying TemplateHaskell. Kudos et all for the feature and somebody on function prog Slack (I think @PttPrgrmmr) for the idea

    Prikaži ovu nit
    Poništi
  16. 13. velj 2019.

    I use JavaScript and JQuery every day at work! You see it holds my laptop screen closed...

    Poništi
  17. 30. sij 2019.

    Portal was a magnificent game for how it challenged your spatial intuition to grasp a new geometry/topology. But I'm really hoping for a sequel where the portals take you to the reflected version of the normal world, making space a non-orientable manifold...

    Tweet je nedostupan.
    Poništi
  18. proslijedio/la je Tweet

    Richard Dimbleby’s report from in 1945 after British soldiers liberated it. Dimbleby thought he was going to a Prisoner of War camp. When the BBC refused to broadcast this Dimbleby threatened to resign. WARNING GRAPHIC

    Poništi
  19. 27. sij 2019.

    I like this crisp pdf on tradeoffs in ML ethics. TL/DR: "Formalize your ethical principles as terms in your utility function... It is nearly certain that tradeoffs between these principles exist, and if we don’t acknowledge this, we run the risk of ... engaging in bad actions."

    Poništi
  20. proslijedio/la je Tweet
    27. sij 2019.

    Is there a version of mathematical induction that can be used to prove facts about the *real* numbers? Yes there is! See Pete Clark’s “The Instuctor’s Guide to Real Induction”.

    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:

    ·