pvh

8 ms·

31.
by pvh 6y ago
Close! In math lingo, you can only have a bijective function for domains with equal cardinality. In other words, you couldn't have a bijective function between an integer and a boolean, because there are fewer possible boolean values t
32.
by pvh 6y ago
YAML is a convenient stand-in for a better syntax and was chosen for being less tedious to type than JSON itself, while still supporting JSON Schema to make our editor integration work. Long run, I expect neither JSON nor YAML are really th
33.
by pvh 6y ago
Muse is our first commercial spin-out from the lab, a spatial canvas to collect your thoughts: https://museapp.com/
34.
by pvh 6y ago
For those interested, the code for the library behind the project is available at https://github.com/inkandswitch/cambria
35.
by pvh 6y ago
I'm not an expert on Haskell, but as I understand it, Haskell lenses are a distinct and independent derivation of the same research work by Pierce et al at UPenn: https://www.cis.upenn.edu/~bcpierce/papers/ind
36.
by pvh 6y ago
I love the analogy, but no! First, XSLT is unidirectional and although I have built some tree-like XSLT processing systems, Cambria is explicitly graph-based and bidirectional. In other words, with Cambria you can build a graph of lenses th
37.
by pvh 6y ago
Hello, we've published some more work in this space -- no HTML version yet, but here's a more recent paper on our PushPin project. https://martin.kleppmann.com/papers/pushpin-papoc20.pdf You can also try Push
38.
by pvh 7y ago
Counterargument: China
39.
by pvh 7y ago
Just for kicks, I tried using internet explorer for a few weeks a while back. It seemed like every Google property was constantly prompting me to switch to Chrome. I mention this not to defend Microsoft, whose behavior here it intolerable,
40.
by pvh 7y ago
The new terminal is pretty good, but what's more impressive to me about this is how bad it is. It's so clearly incomplete that opening the preferences launched a JSON editor window in Visual Studio (not VSCode). The level of openn
41.
by pvh 8y ago
The character who speaks that line (Polonius) says so in the midst of a rambling and contradictory monologue, though we can certainly give Shakespeare credit for coining it.
42.
by pvh 8y ago
Worth noting that Electron and native apps both only need to run at the frame rate of your monitor, and do the actual work within your users' expected response times. The quality of your applications is primarily determined by what you
43.
by pvh 9y ago
I'm told OT gets very complicated, and I hoped a good CRDT would be general-purpose enough to cover a variety of applications and domains. Also, I like not needing a central server to coordinate action. Would love to compare notes -- f
44.
by pvh 9y ago
In fact, one of the purposes of this project was to test exactly what it was like to use a Trello-like tool implemented this way. What happens is that humans have intuitive coordination systems and tend to fix the same problems. In other wo
45.
by pvh 9y ago
Automerge uses vector clocks internally to track visibility and minimize conflict and retains all alternative values in the _conflicts list for that value. Automerge must select one result to be the default consistently across all uncoordin
46.
by pvh 9y ago
CRDTs generally benefit from "intent preservation" in their design. In automerge's case, this would mean that instead of storing a "set" value, you'd store either an "increment" value or a "set&q
47.
by pvh 9y ago
Conflicts are surprisingly rare, and when they are detected they show up in the _conflicts list for resolution per your needs. What automerge guarantees is that unless you care about the conflict you don't need to take any action.
48.
by pvh 9y ago
ShareDB looks quite interesting. We wanted similar capabilities but without a central authority, thus automerge was born.
49.
by pvh 9y ago
Ink and Switch | P2P Research (Electron, React/Redux, IPFS/Dat, CRDTs) | Freelance Contract (6wks) | Remote (working with PST) Ink & Switch is an industrial research lab focused on improving creative productivity through bette
50.
by pvh 9y ago
Postgres doesn't have anything built in today, though a single node will comfortably scale to ... let's say somewhere between 100GB and 10TB depending on your use-case. Beyond that you can do read scaling with replicas, implement
51.
by pvh 9y ago
I see in the FAQ that Tapoueh promises to refund anyone who isn't satisfied for any reason.
52.
by pvh 10y ago
Oh, hey, these are my slides. Let me know if you have questions and I'll do my best to help out.
53.
by pvh 11y ago
This is why Facebook recently added a variety of new ways to illustrate your disappointment on posts.
54.
by pvh 11y ago
Hi there - can you email me at pvh (at) heroku with a link to the ticket where you had a bad experience? This sounds like a bad UX bug that we need to fix, and I will make sure any unintended charges are taken care of. I've also asked
55.
by pvh 11y ago
Our research suggests that almost all low traffic apps should continue to run fine on the `free` dynos. If yours don't, send me an email: pvh at heroku
56.
by pvh 11y ago
We looked at the numbers and it's actually a very, very small percentage of applications that run between 18 and 24 hrs per day. Eighteen hours a day is enough to keep your app running from 9AM to 3AM every day, and unless your applica
57.
by pvh 11y ago
A better static files offering is definitely something we've been asked for a few times. Near-term, if you put a CDN in front of a static app your dyno will wake up on release, fill the cache, and go to sleep. You shouldn't see mu
58.
by pvh 11y ago
Hobby dynos are real dynos. :) Professional dynos, like the new `standard-1x` will have scale-out, Heroku Metrics, preboot, and mix with other dyno types: all features we have found are most useful for apps at scale. We hope that between th
59.
by pvh 11y ago
You could call it a side-grade. We're also allowing users to add a worker dyno and use up to 18hrs/day of `heroku run` and scheduler one-off dynos as well. All told you can get quite a few more compute-hours for free applications
60.
by pvh 11y ago
Hey there, we absolutely want to make this the smoothest, easiest pricing change you've ever been through. We're just announcing the beta today and almost every single customer we have will see savings in some form here. We'l

More ›