Tweetovi

Blokirali ste korisnika/cu @steshaw

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

  1. 2. velj

    Merging unrelated Git repositories into subdirectories? Want to pretend your code has always lived in a subdirectory (so you don't need to rely on `git log --follow`)? Git history slicing and dicing. I highly recommend

    Poništi
  2. 23. sij

    If I could, I'd revisit undergrad to learn my favourite subject, become an excellent student, and hope to join the Nottingham FP Lab. It'd be returning home as I was born next door in Ilkeston.

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

    "The Tao of Types", a talk by on the best subject in the world.

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

    We have PhD studentships available . If you're interested, in type systems (dependent types especially), metaprogramming or compilation, please get in touch!

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

    Alright, I had some time to look at ghc-nix (name pending) proper, and it works *really well*. Here's a recording of where we are at the moment:

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

    Interested in a PhD studentship in the Functional Programming lab in Nottingham? 10 PhD studentships for international applicants are currently being advertised. Deadline 17 January 2020. Please share, and encourage excellent students to apply!

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

    There are a lot of type-safe SQL libraries in Haskell. I wrote example projects in each to help you choose

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

    Don't worry about resources in ! In we have huge plans to write a lot of beginner-friendly blog posts and tutorials about best-practices in Haskell, OSS, libraries, common idioms and programming patterns in FP! 2020 is going to be productive ✍️📚🤓

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

    Version 12.0.0 of the standard is out ☑ Integers no longer opaque ☑ Several new Prelude utilities ☑ Spaces allowed around "::" Full changelog here:

    Poništi
  10. proslijedio/la je Tweet
    30. stu 2019.

    Excited to say I’ll be starting a new job at on Monday writing open source Haskell for a living :)

    Poništi
  11. proslijedio/la je Tweet

    PSA: The 1.9 release of `time` changed the `Read` instance for `UTCTime` such that time zones are now required. If you are upgrading to new Stackage Nightlies and running into `error: : no parse` this may be why.

    Poništi
  12. proslijedio/la je Tweet
    18. stu 2019.

    This talk by from Compose Melbourne on Propagators is an _excellent_ introduction to the topic. I confess he does a much better job motivating "why" to think this way than I do!

    Poništi
  13. proslijedio/la je Tweet
    18. stu 2019.

    How about this as the advertisement of our MIT course "Categories and Programming", with David Spivak and Brendan Fong?

    Poništi
  14. proslijedio/la je Tweet

    Please be notified we have decided to officially rename the field, since after 50 years we can finally claim such a thing and people won't burst out laughing. You read it here first.

    Poništi
  15. proslijedio/la je Tweet

    Today and I are proud to announce the release of fused-effects v1.0!

    Poništi
  16. proslijedio/la je Tweet
    29. lis 2019.

    There's a 3 year postdoc position available, to work with me on Interactive Type Driven Development in Idris. Closing date 26th November, please spread the word!

    Poništi
  17. proslijedio/la je Tweet
    21. lis 2019.

    New release today! ✨ 0.19.1 ✨ Faster builds than ever, but most excited about the new syntax errors! Hoping they will help folks get past The Syntax Cliff.

    Poništi
  18. proslijedio/la je Tweet
    24. lis 2019.

    I'm happy to (belatedly) announce that the non-moving garbage collector that and I have been working on for the last two years has been merged to GHC's master branch!

    Prikaži ovu nit
    Poništi
  19. proslijedio/la je Tweet
    9. lis 2019.
    Poništi
  20. proslijedio/la je Tweet
    14. lis 2019.
    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:

    ·