iamwil

16 ms·

301.
by iamwil 3y ago
I've been looking at Prolly Trees in-depth and they're pretty neat! They have nice properties like: - self-balancing (probabilistically!) - unicit (the same data in the tree results in the same tree) - fast comparisons (they'
302.
by iamwil 3y ago
Figure 5 kinda reminds me of...Datalog? Where you have rules and a data set. Given the rules, you iteratively compute on the data set until there are no more rules that match the given data--the fixed point. Is that right?
303.
by iamwil 3y ago
This is the stance that https://acko.net/blog/i-is-for-intent/ takes--that there needs to be some way of representing a temporarily illegal state.
304.
by iamwil 3y ago
It's like the Gell-Mann Amnesia for AI.
305.
How to Make Neolithic Flatbread(lostsupper.blog)
3 points by iamwil 3y ago|1 comments
306.
The first four Val Town runtimes(blog.val.town)
2 points by iamwil 3y ago|0 comments
307.
Compiling Composable Reactivity(interjectedfuture.com)
2 points by iamwil 3y ago|0 comments
308.
Comonadic Builders(chshersh.com)
4 points by iamwil 3y ago|0 comments
309.
Not a device. It's an invitation to explore the frontier(interjectedfuture.com)
2 points by iamwil 3y ago|0 comments
310.
Pair programming with GPT-4 and Isabelle(interjectedfuture.com)
2 points by iamwil 3y ago|0 comments
311.
Cascading boundary changes in Prolly Trees(interjectedfuture.com)
1 points by iamwil 3y ago|0 comments
312.
Not a device. It's an invitation to explore the frontier(interjectedfuture.com)
3 points by iamwil 3y ago|1 comments
313.
by iamwil 3y ago
Were you inspired by Git? How did you come up with MD-CRDTs?
314.
by iamwil 3y ago
I think you're correct. Thanks for the correction. I've updated the post. The difference is subtle, and for those interested, the difference is detailed here: https://haslab.wordpress.com/2011/07/08/
315.
by iamwil 3y ago
I thought it was really neat when I came across it. There was a detail that I didn't find in the paper (or might have missed). What if the key you're adding has a lot more (or a lot less) leading zeros in its hash than the number
316.
by iamwil 3y ago
Ah, I'll put it in as a note in the beginning. You can see a more basic introduction in a previous post I wrote: https://interjectedfuture.com/trade-offs-between-different-c... https://news.ycombinator.com&#
317.
CRDTs Turned Inside Out(interjectedfuture.com)
223 points by iamwil 3y ago|32 comments
318.
The state management library front-ends are looking for is a database (2023)(interjectedfuture.com)
1 points by iamwil 3y ago|1 comments
319.
The state management library front-ends are looking for is a database(interjectedfuture.com)
2 points by iamwil 3y ago|1 comments
320.
by iamwil 3y ago
> In Realtalk, most of that code falls away – provided that you represent your objects as individual physical pages. Once you have physical pages, you automatically get the operations of the physical world: placing and picking up objects
321.
by iamwil 3y ago
Not at all. They're currently doing some playtesting with computational biology labs. https://web.archive.org/web/20230514180550/https://dynamicla...
322.
Tree That Owns Itself(en.wikipedia.org)
3 points by iamwil 3y ago|0 comments
323.
CRDTs Turned Inside Out(interjectedfuture.com)
3 points by iamwil 3y ago|0 comments
324.
CRDTs Turned Inside Out(interjectedfuture.com)
2 points by iamwil 3y ago|0 comments
325.
30 Years of Decompilation and the Unsolved Structuring Problem: Part 2(mahaloz.re)
5 points by iamwil 3y ago|0 comments
326.
by iamwil 3y ago
Oh, sure. I didn't think it'd be of interest. It's largely just knowing the names of visual components and art styles, but the generative AI takes it pretty far by itself if you're not too picky about what it gives you.
327.
by iamwil 3y ago
Thanks for pointing out the discrepancy! Some people don't like generative images, but they're pretty fun to generate.
328.
by iamwil 3y ago
And if you really can't wait, I made the mistake of thinking Prolly Trees weren't unicit, but figuring out that they were! https://interjectedfuture.com/lab-notes/lab-note-030-the-tri...
329.
Trade-offs between Different CRDTs(interjectedfuture.com)
145 points by iamwil 3y ago|19 comments
330.
I built an offline smart home, and why you should too(androidauthority.com)
13 points by iamwil 3y ago|0 comments

More ›