Tweetovi

Blokirali ste korisnika/cu @paf31

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

  1. Prikvačeni tweet
    27. svi 2018.

    Here are my slides on comonadic UIs from my talk at this weekend. Unfortunately I messed up the video recording :(

    Poništi
  2. 1. velj

    A good haul from the CUP bookshop today. Been wanting the synthetic diff geom book since I graduated and finally decided to treat myself.

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

    Updatable views are a powerful feature in Postgres that make it possible to read & write to views. 🐘 In this deep-dive, explores the pros and cons of updatable views. Read on to learn more about it & the caveats 👉

    Poništi
  4. 29. sij

    It's been so long since I did any React programming in any sort of standard way. What's the state of the art these days for doing React directly in JS? (quietly hoping the answer isn't Redux)

    Poništi
  5. 29. sij

    Feeling 🤒, going to have to cancel after all, sorry folks :(

    Poništi
  6. 27. sij

    In case it wasn't clear for anyone who hasn't seen it, this is nabbed from SPJ's Haskell slide decks:

    Prikaži ovu nit
    Poništi
  7. 27. sij

    Wait, I should be using Comic Sans for that text, hold on.

    Prikaži ovu nit
    Poništi
  8. 27. sij

    Putting together some high quality slides on PureScript

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

    I'm in London for a bit this week and next, and happily, there is a London Haskell meetup on, so hopefully I'll meet some Twitter folks there.

    Poništi
  10. 14. sij

    Is this being done already? Maybe I just missed it :)

    Prikaži ovu nit
    Poništi
  11. 14. sij

    Something like this seems like the real win of wasm to me, not compiling big apps written in Go, or whatever.

    Prikaži ovu nit
    Poništi
  12. 14. sij

    So during each render cycle, you'd allocate a new heap which just grows dynamically as needed, and then when the render's done, you blow it away and start again. Any data you need to keep around gets put in local storage. I think Ur/Web did something like this, maybe?

    Prikaži ovu nit
    Poništi
  13. 14. sij

    So wasm doesn't have GC, but that seems like an opportunity in a way. I'd love to see an app arch like Redux built on wasm without GC, with all persistent data in an external store (local storage?) and all ephemeral data in a temporary heap that only exists during that render.

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

    Today's talk is 's journey of Purescript on the BEAM! This is a must-see for anyone working on producing typed languages on the BEAM! 👀 Watch it now!

    Poništi
  15. 27. pro 2019.

    So I think you have to do all the things well - good design, and careful implementation of that design, and teaching it well - or you're never going to scale your team regardless of skill level of new hires.

    Prikaži ovu nit
    Poništi
  16. 27. pro 2019.

    I actually feel like higher-level languages can even make this problem worse. It's _so easy_ to move quickly with lots of confidence that it's too easy to forget to do the planning stages properly. In langs where you have to write many tests, I feel like maybe you're less likely.

    Prikaži ovu nit
    Poništi
  17. 27. pro 2019.

    I don't think "fancy Haskell" is what makes it hard for beginners to get up to speed, but rather a lack of focus on good domain modeling and design. Teaching advanced features is possible and good, but all the fancy types in the world won't save you from bad planning/design.

    Prikaži ovu nit
    Poništi
  18. 18. pro 2019.

    What does it even mean to say you believe the axiom of choice? Like the theory of the simulation we're all living inside admits it or something?

    Prikaži ovu nit
    Poništi
  19. 18. pro 2019.

    The only valid answer to "do you believe LEM/choice/CH/...?" seems to be "depends what I'm doing".

    Prikaži ovu nit
    Poništi
  20. 18. pro 2019.

    Seeing this on HN reminded me how strange it seems to hear someone say e.g. "I _believe_ the axiom of choice is true" or "LEM is intuitively obvious". Because presumably there is a model you might actually care about where those things are false.

    Prikaži ovu nit
    Poništi
  21. 16. pro 2019.

    cc remember how we tried to whiteboard this at ? You might find this interesting.

    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:

    ·