iamwil

17 ms·

331.
by iamwil 3y ago
Wait, is it a reimplementation of TLA+ in Isabelle?
332.
by iamwil 3y ago
Reminds me of the project where someone got a big eInk display to show the front page of every newspaper in the morning. Could be awesome to apply here to get a Calvin and Hobbes a day on the wall.
333.
CRDTs Turned Inside Out(interjectedfuture.com)
1 points by iamwil 3y ago|0 comments
334.
Trade-offs between Different CRDTs(interjectedfuture.com)
2 points by iamwil 3y ago|0 comments
335.
by iamwil 3y ago
Just a book not by its cover.
336.
CRDTs Turned Inside Out(interjectedfuture.com)
7 points by iamwil 3y ago|0 comments
337.
CRDTs turned inside out(interjectedfuture.com)
3 points by iamwil 3y ago|0 comments
338.
Trade-offs between Different CRDTs(interjectedfuture.com)
1 points by iamwil 3y ago|2 comments
339.
Communal Computing for 21st Century Science [pdf](dynamicland.org)
1 points by iamwil 3y ago|0 comments
340.
Trade-offs between Different CRDTs(interjectedfuture.com)
4 points by iamwil 3y ago|0 comments
341.
Freelance Data Visualisation(jasondavies.com)
2 points by iamwil 3y ago|1 comments
342.
Why is the page size of Linux (x86) 4 KB, how is that calculated?(stackoverflow.com)
2 points by iamwil 3y ago|1 comments
343.
Trade-offs between Different CRDTs(interjectedfuture.com)
1 points by iamwil 3y ago|0 comments
344.
by iamwil 3y ago
Those interested in a formal proof, Automerge has a set of formal proofs in Isabelle. This is an Op-based CRDT. https://github.com/trvedata/crdt-isabelle/tree/master
345.
Building Differential Dataflow from Scratch(materialize.com)
3 points by iamwil 3y ago|0 comments
346.
by iamwil 3y ago
You know how people try to see if they can recreate modern technologies from basic tools? It'd be an interesting experiment to see if you can get ChatGPT to reason out modern knowledge based on the things that it knows in the 17th cent
347.
by iamwil 3y ago
This is one of my few pet peeves on the internet. The periodic table of X often isn't periodic, and shouldn't look anything like the periodic table of elements.
348.
by iamwil 3y ago
One way I think about it is that unit tests help me maintain invariances that the compiler for the current language can't do for me. That saves me from having to test every combination of inputs.
349.
by iamwil 3y ago
I think we can. Following all the implications down the rabbit hole, you end up with a system architecture where there's no front-end, and there's no back-end. Since CRDTs are still kinda new for most people, the discussion hasn&#
350.
by iamwil 3y ago
> Ever-growing state: for CRDTs to work well they need to keep a record of both what exists, and what has been deleted (so that the deletes aren’t accidentally added back in later). This means that CRDT state will continually expand. I g
351.
The Design of SQLite4 (2014)(sqlite.org)
41 points by iamwil 3y ago|13 comments
352.
by iamwil 3y ago
I worked with someone whose reason for choosing a tech stack amounted to "everyone else is doing this". I wished I called 'em out for it at the time.
353.
by iamwil 3y ago
I've racked up over 900 hours on Team Fortress 2 and I'm still terrible at it. I also wonder what I would have learned or built in the time that I've played that game.
354.
by iamwil 3y ago
Same. Why is having the schema in the db a bad idea?
355.
by iamwil 3y ago
what is noisy neighbors, and what's the issue with consistency?
356.
Rules of schema growth (2017)(blog.datomic.com)
172 points by iamwil 3y ago|105 comments
357.
by iamwil 3y ago
Correction. Based on his talk, the merkle tree isn't used to implement sets, but used as a quick way for you to know what timestamps have been applied across all clients.
358.
by iamwil 3y ago
What made that one PM great? What did they do or what was their philosophy? The outcome was that they got the team to be more productive, but what was the input that differed from the other PMs?
359.
by iamwil 3y ago
Ah, ok. I guess you can implement sets with a merkle tree, so a grow-only set makes sense.
360.
by iamwil 3y ago
What kind of CRDT is it using? It looks like a merkle tree from the filename, but I'm not familiar with the implementation (like it's not a typical LWW, Grow-only sets, RGA, etc). Anyone know what it is?

More ›