Brandon Kase

@bkase_

Types and FP in weird places. Head of product engineering at on

San Francisco, CA
Vrijeme pridruživanja: prosinac 2013.

Tweetovi

Blokirali ste korisnika/cu @bkase_

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

  1. proslijedio/la je Tweet
    2. velj

    Want to learn more about Coda's tech and how to participate in Genesis, our incentivized testnet program? and go LIVE in 30 min. at Tune in for the free, virtual session 👇

    Poništi
  2. proslijedio/la je Tweet
    2. velj
    Poništi
  3. 27. sij

    New blog post for writer-monad-curious OCamlers. All 3 of you may enjoy this:

    Poništi
  4. 23. sij

    Surprising to me since I've only used each for completely different things. Looks like Purescript's Day library captures this:

    Prikaži ovu nit
    Poništi
  5. 23. sij

    Just realized Day is like a suspended Pairing. This is cool. Note: I rearranged parameters here, but I believe these are isomorphic to their canonical definitions.

    Prikaži ovu nit
    Poništi
  6. proslijedio/la je Tweet
    22. sij

    Introducing Genesis, a token program to prepare the community for 2020 mainnet launch. Up to 1000 community members will be eligible to receive a distribution of 66,000 coda tokens. Apply now:

    Prikaži ovu nit
    Poništi
  7. 20. sij

    Introducing Barbq (and a personal static site for 2020)

    Poništi
  8. proslijedio/la je Tweet
    19. sij

    I’m pleased to present the flame-bait sequel to my previous blog post: “No, dynamic type systems are not inherently more open.” (Please send me your hatemail at your earliest convenience.)

    Poništi
  9. proslijedio/la je Tweet
    27. pro 2019.

    Our SFBW Recap is live! 1⃣ Video of 'Hitchhiker's Guide to Zero Knowledge: How to Use SNARKs' ft. & + workshop instructions 2⃣ DeFi Hackathon Coda Winners 3⃣ Technical Stage highlights, ft. &

    Poništi
  10. 24. pro 2019.

    I no longer need Homebrew when setting up new mac machines. I think I'm all set with my new MacBook, and I've only used Nix! Also, my status bar is useful enough and stable enough that I'm running it full-time now as a keep-alive launchd service!

    Poništi
  11. proslijedio/la je Tweet

    You do not want to miss Playing to Win: Creating the Right Incentives for Competitive Testnets with !

    Poništi
  12. 15. pro 2019.

    Very excited to see 's "modular explicits" PR to OCaml! We'll finally be able to write functions polymorphic over higher kinder types without module functors

    Poništi
  13. proslijedio/la je Tweet
    6. pro 2019.

    Winter break is almost here, which means family, food, and free time to test out new tech! Join us for ❄️Winter Special❄️, a special testnet phase with community challenges & a prize! Sign up before 12/9 10PM UTC -8 to participate:

    Poništi
  14. proslijedio/la je Tweet
    5. pro 2019.

    Two years ago, and myself spoke about how adopted Bazel for iOS at the first BazelCon. It’s awesome to see how the iOS support has grown and the 2019 schedule has multiple conversion stories from Lyft / LinkedIn and a BoF session. Excited!

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

    really excited to share this post! "moxie: incremental declarative UI in "

    Poništi
  16. 20. stu 2019.

    Also I’m using Free applicatives to model the data providers for the different widgets so I can compose them with no IO even though I need it to thread the bits together. It’s really fun to use these things

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

    Just realized Handler and Responder are the same :/

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

    Barbq, my macOS status bar, is starting to become usable: It's written in Haskell with a custom style Comonadic UI layer on top of the "vty" package for the status bar widgets.

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

    Does anyone have a copy of freebroccolo/ocaml-language-server . Looks like deleted their github account? Cc

    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:

    ·