Chris Penner

@chrislpenner

Developer, teacher, aspiring opsimath, if Cunningham's law was a person. Author of Optics By Example:

Vrijeme pridruživanja: ožujak 2012.

Tweetovi

Blokirali ste korisnika/cu @chrislpenner

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

  1. Prikvačeni tweet
    11. pro 2019.

    🔍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 😀

    Poništi
  2. proslijedio/la je Tweet
    prije 43 minute

    Optics By Example: Functional lenses in Haskell by Chris Penner is the featured book on the Leanpub homepage! cc

    Poništi
  3. prije 19 sati

    New optics! An introduction to kaleidoscopes and what they bring to the table 🔍 Interested in optics? Check out my book! Based on recent work by , Derek Elkins &

    Poništi
  4. proslijedio/la je Tweet
    31. sij

    My student Denis wrote a formal semantics for the French tax code, complete with Coq proof of soundness and SMT queries to uncover unfair tax hikes. PL for fiscal justice!

    Prikaži ovu nit
    Poništi
  5. proslijedio/la je Tweet
    2. velj

    am just about to click buy on your ebook and am trying to better understand how optics can help me. I get that it makes data manipulation code simpler and more reusable but do you think I can get an example where this is really obvious?

    Poništi
  6. 2. velj

    Just launched 'lens-csv'; an optics library for manipulating and querying CSVs! It's a pretty natural operation and basically gives you a simple query and mutation language; effectively SQL for CSVs but as optics!

    Poništi
  7. 1. velj

    Really enjoyed this cute little game today!

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

    "dress for the job you want" refers to typesetting all your homework with the LaTeX template of a journal you dream of being published in

    Prikaži ovu nit
    Poništi
  9. proslijedio/la je Tweet
    1. velj

    Remember, when you are dead, you do not know you are dead. It is only painful for others. It’s the same when you use tabs and not spaces.

    Poništi
  10. proslijedio/la je Tweet
    29. sij

    I propose we rename Google messaging services with the year of release, just like a copy of Madden or FIFA. The provides for easier tracking and better communicates the ~yearly lifecycle of these apps.

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

    Here you go, direct pattern matching on strings in Haskell! > case "spotify:user:123:playlist:456" of > [s|spotify:user:$user:playlist:$playlist|] > -> Just (user, playlist) > _ -> Nothing Just ("123","456")

    Poništi
  12. 30. sij

    Second night playing around with ; definitely loving it so far! Still in the "tech-demo" stage, but got tweening and particle effect fade working so far; digging how it looks! (It's slower in pico-8 than in the gif). Next is to actually make a game

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

    "If I were caching data, I would simply invalidate the caches when they became stale."

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

    'Opening from Glasswork' 279 char. Code in next tweet.

    Prikaži ovu nit
    Poništi
  16. proslijedio/la je Tweet
    25. sij

    ....and fullscreen mode is on its way (to popular demand!) (will be released after documentation update...stay tuned)

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

    I swear Spotlight gets worse every day...

    Poništi
  18. proslijedio/la je Tweet
    27. sij

    "may you know the exact name of the document that turns up zero results anyway" - ancient computer hardware curse

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

    manager: seems we're still getting quite a bit of traffic from out-dated browsers...clearly we still need to support those *slyly turns off integration tests running from 2006*

    Poništi
  20. 27. sij

    Who wants to build a crazy TemplateHaskell system to make this work in Haskell?

    Poništi
  21. 27. sij
    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:

    ·