Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @paf31
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @paf31
-
Prikvačeni tweet
Here are my slides on comonadic UIs from my talk at http://coday.today this weekend. Unfortunately I messed up the video recording :(https://speakerdeck.com/paf31/the-future-is-comonadic …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
A good haul from the CUP bookshop today. Been wanting the synthetic diff geom book since I graduated and finally decided to treat myself.pic.twitter.com/LIBN685A9c
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Phil Freeman proslijedio/la je Tweet
Updatable views are a powerful feature in Postgres that make it possible to read & write to views.
In this #PostgreSQL deep-dive,@paf31 explores the pros and cons of updatable views. Read on to learn more about it & the caveats
https://blog.hasura.io/the-pros-and-cons-of-updatable-views …
@amplifypostgresHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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)
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Feeling
, going to have to cancel after all, sorry folks :(https://twitter.com/paf31/status/1220361741781098497 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
In case it wasn't clear for anyone who hasn't seen it, this is nabbed from SPJ's Haskell slide decks:pic.twitter.com/Fq8An9lkrp
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Wait, I should be using Comic Sans for that text, hold on.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
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.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Is this being done already? Maybe I just missed it :)
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Something like this seems like the real win of wasm to me, not compiling big apps written in Go, or whatever.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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 nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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 nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Phil Freeman proslijedio/la je Tweet
Today's
#CodeMeshLDN talk is@RobAshton'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!Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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 nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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 nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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 nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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 nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The only valid answer to "do you believe LEM/choice/CH/...?" seems to be "depends what I'm doing".
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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. https://en.wikipedia.org/wiki/List_of_statements_independent_of_ZFC …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
cc
@BartoszMilewski remember how we tried to whiteboard this at@Lambda_World? You might find this interesting.Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoniš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.