Ben Kolera

@benkolera

FP Full Stack Dev & Mentor at | Co-organiser of | Crossfitter & Yogi | May contain traces of brony

Brisbane, AU
Vrijeme pridruživanja: srpanj 2009.

Tweetovi

Blokirali ste korisnika/cu @benkolera

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

  1. Prikvačeni tweet
    21. tra 2014.

    is to type systems as is to type inference.

    Poništi
  2. proslijedio/la je Tweet
    4. stu 2019.

    Signal boosting: Kenny Foner's amazing talk on mental health in grad school . Thanks to for the link

    Poništi
  3. proslijedio/la je Tweet
    16. kol 2019.

    I've published my short book! 🎉 Property-Based Testing in a Screencast Editor: Case Studies from Komposition Get it on Leanpub ($10):

    Poništi
  4. proslijedio/la je Tweet
    29. srp 2019.

    The Future Will Be Formulated Using Category Theory We already knew this of course :^)

    Prikaži ovu nit
    Poništi
  5. proslijedio/la je Tweet
    30. tra 2019.

    Trinity: "I know what you've been doing … why you hardly sleep, why you live alone, and why night after night, you sit at your computer." Neo: "It's true. I am working on my LambdaJam workshop..."

    Poništi
  6. 20. tra 2019.
    Poništi
  7. proslijedio/la je Tweet
    21. ožu 2019.

    CFP closes today, looking forward to seeing all your lazily evaluated submissions!

    Poništi
  8. proslijedio/la je Tweet
    14. ožu 2019.

    Seven days remain on the CFP. You should submit a proposal! See you at Lambda Jam

    Poništi
  9. 12. stu 2018.
    Poništi
  10. proslijedio/la je Tweet
    5. stu 2018.
    Poništi
  11. proslijedio/la je Tweet
    27. lis 2018.

    "... what can be done about a programmer’s limited time to write correct software? ... a very effective solution is to use typed functional programming"

    Poništi
  12. proslijedio/la je Tweet
    16. ruj 2018.
    Prikaži ovu nit
    Poništi
  13. 28. kol 2018.

    A NEW SHIRT ARRIVED IN THE MAIL!! TODAY IS A GOOD DAY!!! :D :D :D

    Poništi
  14. proslijedio/la je Tweet

    We often talk about the importance of women as role models for girls. This IS very important! But consider women as role models for boys too. It's a wonderful thing for boys to look up to women as their heroes rather than subconsciously learning women are only heroes for girls!

    Prikaži ovu nit
    Poništi
  15. proslijedio/la je Tweet
    6. kol 2018.

    “Schrag says that keeping temperature increases below 2 ˚C is already “a pipe dream,” adding that we’ll be lucky to prevent 4 ˚C of warming this century.”

    Tweet je nedostupan.
    Poništi
  16. proslijedio/la je Tweet
    24. srp 2018.

    Weekend fun: Ported 's circular buffer from "Testing the Hard Stuff and Staying Sane" () to , and tested it in using inline-java and hedgehog's state machine facilities. Got the same sequence of failures and shrinks as in the paper. 👍

    Poništi
  17. 26. srp 2018.

    I created a new Slack channel at work. I just know whichever people join me are gonna be awesome! XD #🐶🐶61

    Poništi
  18. proslijedio/la je Tweet

    sv now lets you build "named decoders" that work by column name

    Prikaži ovu nit
    Poništi
  19. proslijedio/la je Tweet
    22. srp 2018.

    when I'm depressed I remember the time Bear Grylls was stung by a bee and morphed into Benedict Cumberbatch and I find that that helps a lot

    Prikaži ovu nit
    Poništi
  20. 29. lip 2018.

    Still early days, but my typing tutor / layout configurator is starting to take shape. Will open source soon when it's not an ugly demo. 😁

    Poništi
  21. proslijedio/la je Tweet
    26. svi 2018.

    Brisbane - last call to see tomorrow night! Her keynote at was amazing, so don't miss your chance to see it in person...

    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:

    ·