Miles Sabin

@milessabin

I do stuff with Scala. Partner , cofounder, Scala SIP committee member. Type astronaut, shapeless/scalac/dotty hacker. Internationalist.

Brighton, UK
Vrijeme pridruživanja: travanj 2009.

Tweetovi

Blokirali ste korisnika/cu @milessabin

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

  1. Prikvačeni tweet
    12. ruj 2016.

    Everything you wanted to know about but were afraid to ask ... courtesy of

    Poništi
  2. proslijedio/la je Tweet
    prije 24 sata

    I am very happy to share that has found new owners in @Quad4Group, who aim to relaunch Skills Matter soon, to provide continuous learning for and with its community of technology creators and adopters.

    Prikaži ovu nit
    Poništi
  3. proslijedio/la je Tweet

    We have great news. We will be returning in February 2020! For the full statement, please visit

    Poništi
  4. proslijedio/la je Tweet
    4. velj

    Qn for ML aficionados: How would you rate TensorFlow (for LSTM RNNs and similar) - and any others you'd recommend? Am reviving a piece from 2005 deploying ML algorithms and am excited there are so many libraries now to do the heavy lifting. But am woefully out of date.

    Poništi
  5. proslijedio/la je Tweet
    3. velj

    NE Scala's CFP is open now, reminder to also send in your proposals for the Typelevel Summit, which closes tomorrow!

    Poništi
  6. proslijedio/la je Tweet
    2. velj

    This post is for many audiences, and one of them is the folk who honest to god thought leaving the EU would get rid of cookie popups.

    Poništi
  7. proslijedio/la je Tweet
    2. velj

    You can get 50% off Type Driven Development with Idris today at , as well as some nice Haskell books And since it's Groundhog Day you can buy them over and over again! Yay!

    Poništi
  8. proslijedio/la je Tweet
    1. velj

    Announcing MUnit, a new Scala testing library with actionable errors and extensible APIs

    Prikaži ovu nit
    Poništi
  9. proslijedio/la je Tweet
    30. sij
    Prikaži ovu nit
    Poništi
  10. proslijedio/la je Tweet
    30. sij

    GitHub Actions config for a Scala project with JVM, JS, Dotty, MiMa, courtesy of :

    Prikaži ovu nit
    Poništi
  11. proslijedio/la je Tweet
    30. sij

    It's really exciting how quickly Dotty development is moving. This PR and yesterday's follow-up will make my cross-building branches for Cats + related projects so much cleaner:

    Poništi
  12. proslijedio/la je Tweet
    28. sij

    Heya 👋 Want to get research experience at CMU? If you're interested in PL, distributed systems, software engineering, etc we have a program that pays you to come learn to do research with us over the summer! Happy to answer Qs about it! RTs welcome🤗

    Prikaži ovu nit
    Poništi
  13. proslijedio/la je Tweet
    28. sij

    Are there software licenses that are open if they are used for ethical/environmental purposes only? pls RT for reach :D

    Prikaži ovu nit
    Poništi
  14. proslijedio/la je Tweet
    27. sij

    Our latest newsletter: ➡️ Report on EU Settlement Scheme and impact on EU/EEA & Swiss citizens published ➡️ Brexit Day - forget the worries and join us celebrating being European in the Bierschenke, London

    Poništi
  15. 26. sij

    "A version of this argument is available in Agda"

    Poništi
  16. 26. sij

    One upshot is that I've now disabled the wifi-disable timer, which has increased usability at the cost of a noticeable, but not troublesome, reduction in battery life. 4/4

    Prikaži ovu nit
    Poništi
  17. 26. sij

    That done, I've now started to use it again, on the Boox, where it's an absolute joy: readable and distraction free. 3/4

    Prikaži ovu nit
    Poništi
  18. 26. sij

    Over the Xmas break I completely purged my Pocket queue (mutatis mutandis for Instapaper et al) which had accumulated such an enormous backlog that I was unable to even look at it. 2/4

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

    Quick experience report for Boox (and similar) e-reader owners ... 1/4

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

    My brother Nacho just quit his toxic job to find a place that worth it. A journalist focus on digital creation — tons of experience creating YouTube channels from scratch. If you have a digital project, he is your man; if not, an RT would be great. Thanks in advance!

    Poništi
  21. proslijedio/la je Tweet
    25. sij

    Oh em gee whenever I have to mess with Ruby/Python/Node I re-realize how awesome it is that I can build basically everything in the Scala ecosystem with no environment reqs other than JDK≥8. sbt really got this right.

    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:

    ·