Vladimir Ciobanu

@cvlad

Haskell, PureScript, Formal Verification

Vrijeme pridruživanja: rujan 2009.

Tweetovi

Blokirali ste korisnika/cu @cvlad

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

  1. Prikvačeni tweet
    10. kol 2018.

    Wrote down some thoughts on my journey from a .NET dev to my first full-time Haskell job

    Poništi
  2. 24. sij

    Happened overnight. I think I've had this for little over an year. There was nothing connected to those ports, and it's burnt on the back as well, in the same area. 👎

    Poništi
  3. 22. sij

    I just published a short explanation of Profunctors, with exercises that should help understand the concept. Make sure to read the prerequisites if you're not familiar with the concepts.

    Poništi
  4. 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
  5. 7. sij

    I wrote a short post about Contravariant functors in Haskell, along with some exercises

    Poništi
  6. proslijedio/la je Tweet
    2. sij
    Poništi
  7. 2. sij

    I wrote a small introductory piece about Bifunctors in Haskell, along with some exercises:

    Poništi
  8. 30. pro 2019.

    Hire Haskell Junior developers, but also make sure you set them up for success:

    Poništi
  9. 28. pro 2019.

    What if the actual problem there's no junior level Haskell jobs is that there's no junior level Haskell jobs? We assume they wouldn't be able to handle our fancy code, but do we give them a fighting chance? Do we train, encourage, and support them enough to succeed?

    Poništi
  10. 20. pro 2019.

    Never trust your browser. Try httpie/curl/etc before anything else. (message brought to you by an hour of being scammed by my browser's cache)

    Poništi
  11. 11. pro 2019.

    Great content, fun exercises on a topic that's generally hard to approach (due to the complicated types and GHC errors). Highly recommended!

    Poništi
  12. proslijedio/la je Tweet

    🔍Optics By Example has LAUNCHED! 🥳🎉 Go grab your copy! Learn about the magic of Lenses, Traversals and Folds ✨ Thanks to everyone in the community who's helped make this a reality 😀 RTs appreciated ✅

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

    Today we launch Unhack AI, a GitHub App that fixes bugs and security vulnerabilities in JavaScript code. Unhack all the code!

    Poništi
  14. proslijedio/la je Tweet
    1. stu 2019.

    I am excited to announce the third annual State of Haskell Survey! If you have opinions about , please take a few minutes to fill it out. Thanks!

    Poništi
  15. 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
  16. proslijedio/la je Tweet
    21. lis 2019.

    I'm interested to hear from anyone with experience deploying web applications with . What are the biggest pain points?

    Poništi
  17. proslijedio/la je Tweet
    20. ruj 2019.

    Wow, has gone all in on Purescript, 200k lines in production, in 240 million apps. Very encouraging! 👏🏻👏🏻

    Prikaži ovu nit
    Poništi
  18. proslijedio/la je Tweet
    13. ruj 2019.

    Twitter account for my upcoming Lenses and Optics book is live! Follow there for tips, tricks, challenges and updates on the book! Excited to announce early access will launch sometime in a week or two! ✨RT to help me spread the word plz 🌟

    Poništi
  19. proslijedio/la je Tweet
    6. ruj 2019.

    I've been obsessed with propagators for two months; come see how deep the rabbit hole goes! 🐇 Thanks to + 's lattice work, I'll be giving a very visual intro to the topic through some very amateur 2D animation! 🎨🕸️

    Poništi
  20. proslijedio/la je Tweet
    28. kol 2019.

    Hi friends! I've got a book on optics/lenses along the way and want to make it the best it can be, maybe the canonical guide to optics! What would you want from a lens book? Let me know and sign up for updates! RT's appreciated😀Thanks!

    Poništi
  21. 15. kol 2019.

    Can we do this instead of undefined?

    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:

    ·