Tweetovi

Blokirali ste korisnika/cu @haskmancer

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

  1. proslijedio/la je Tweet
    Poništi
  2. proslijedio/la je Tweet
    30. sij

    Thank you everyone for coming to London last night! Slides:

    Poništi
  3. proslijedio/la je Tweet
    21. sij
    Poništi
  4. proslijedio/la je Tweet
    23. sij

    I wrote a secret scanner tool and published it under my employer's GitHub org. Since I don't have much Twitter reach I appreciate any RTs! It currently will scrape Git, S3, and GDocs for secrets, and written in Rust for high performance.

    Prikaži ovu nit
    Poništi
  5. proslijedio/la je Tweet
    21. sij

    Crash course on higher-order logic, type theory, etc. ~ Theodore Sider. via

    Poništi
  6. proslijedio/la je Tweet
    23. sij

    I always do year end retrospective about , but decided to do a forward looking piece instead. Haskell Problems For a New Decade

    Poništi
  7. 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
  8. proslijedio/la je Tweet
    19. sij

    How To Write Fast Rust Code by Christopher Sebastian:

    Poništi
  9. proslijedio/la je Tweet
    15. sij

    My tutorial today at is being live streamed in 4h! "Introduction to Rust (for people who have never used a compiler)"

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

    Videos from Rust Belt Rust 2019 are now available! Thanks again to all our attendees, speakers, and sponsors!

    Poništi
  13. proslijedio/la je Tweet
    9. sij

    New Video, on deriving the SDF of a Line Segment. It's an introductory tutorial, but contains some useful info I think: I hope you enjoy it!

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

    Many aspiring AI engineers ask me how to take the next step and join an AI team. This report from , a affiliate, walks you through how AI teams work and which skills you need for different AI career tracks. Download it here:

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

    "hrepl is a tool that lets you interactively develop Haskell code using Bazel. It uses Bazel to compile your code's dependencies, and then loads your modules into an interpreter."

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

    The first lecture by David Spivak about sets and categories in Programming with Categories is out:

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

    Here's the introductory lecture of Programming with Categories divided between Brandon, David, and me. More to come regularly.

    Prikaži ovu nit
    Poništi
  18. proslijedio/la je Tweet
    1. sij

    Free and cheat sheet; please share with your friends & coworkers! Includes a bunch of helpful nuggets from

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

    Happy New Year Haskellers!

    Poništi
  20. proslijedio/la je Tweet
    30. pro 2019.

    Happy New Year! A bunch of us are trying to develop "applied category theory" - and now we've started a new journal on this subject, called "Compositionality". It's free to publish in, and free to read. The first issue just came out! (1/n)

    Prikaži ovu nit
    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:

    ·