polyglotfacto2

6 ms·

1.
by polyglotfacto2 11mo ago
Use TLA+ (which I thought they did)
2.
by polyglotfacto2 1y ago
> Some prior studies that find speedup do so with developers that have similar (or less!) experience with the tools they use. In other words, the "steep learning curve" theory doesn't differentially explain our results vs.
3.
by polyglotfacto2 2y ago
You are right that it would be great if the code was generated automatically, but wrong that there is no value in using TLA otherwise. When you are writing code, do you have an idea in your mind of what you are trying to implement? TLA is n
4.
by polyglotfacto2 3y ago
Did you use servo in the context of the scaper? In general I'd be happy to hear more about how you use servo, which you could discuss in our zulip: https://servo.zulipchat.com/
5.
by polyglotfacto2 3y ago
Yes it sounds interesting and I wonder what it would take as well, you're welcome to join the chat to discuss in more details: https://servo.zulipchat.com/
6.
by polyglotfacto2 3y ago
Could you tell me more about what you mean with "integrate directly with Servo from Deno" You're welcome to the chat to discuss in more details if you want: https://servo.zulipchat.com/
7.
by polyglotfacto2 3y ago
Ten years ago, I taught myself programming. My first steps were strictly-speaking not programming, they were HTML and CSS. I then moved into programming proper through the study of Javascript, and then Python. This was all in the context of
8.
Modelling Distributed Locking in TLA+(medium.com)
15 points by polyglotfacto2 4y ago|0 comments
9.
Modelling the archetype of a message-passing bug with TLA+(medium.com)
2 points by polyglotfacto2 4y ago|0 comments