Kriti Kathuria

🏳️‍🌈
breaking databases

[Kriti Kathuria @kaykathuria]

@vanlightly operationally simpler to have all the copy creation happen within a single system. better, if the system comes with enterprise guarantees.

[Kriti Kathuria @kaykathuria]

@arpit_bhayani i feel like a library should exist for this. generic workflow pattern. huge gap if it doesn't.

[Kriti Kathuria @kaykathuria]

@arpit_bhayani from the side of the reviewee- https://t.co/heguqQlBfs

[Kriti Kathuria @kaykathuria]

@MarcJBrooker Question: could we say that the given abstraction isn't suited to databases but perfectly suited for filesystems? Should preface it by saying I didn't read the quoted thread.

[Matt Jugo @Jeanvaljean689]

2/ intriguingly, this philosophy (see the above tweet)

can also be summarized as "pretend the next moment doesn't exist"

When you become "preoccupied with execution",

rather than allowing your intention to simply carry you,

You're getting trapped in the NEXT moment ->

[Kriti Kathuria @kaykathuria]

@iavins "many things made sense to me *instantly*" woot woot! Happy New Year! 🎉

[Tim Urban @waitbutwhy]

The brain is our hardware
Human nature is our OS
Culture is our software
Memory is our hard drive
Knowledge is our data
Language is our internet

[Jash Dholani @oldbooksguy]

Napoleon was unstoppable because he understood the paradox of prep

[Kriti Kathuria @kaykathuria]

@iavins From Mathematica by @davidbessis : understanding is having a clear picture in your head. Good explanations are about drawing the same picture in someone else's head. Stunning book.

[Kriti Kathuria @kaykathuria]

"rigorously specify intended system behavior without ambiguity" welcome back, theory!

[Kriti Kathuria @kaykathuria]

@Jeanvaljean689 serendipity?

[Kriti Kathuria @kaykathuria]

@Jeanvaljean689 also because the load bearing parts that we discover, also have load bearing parts. there is always a bigger "dragon"

[Kriti Kathuria @kaykathuria]

@dassicity No. Ordering means any order ops are executed in. Choose an order and stick with it. Axiom don't induce ops, but only define behavior supported.

[Kriti Kathuria @kaykathuria]

another similar aspect is ordering. All systems when they are defined abstractly assume correct ordering. Operations don't arbitrarily rearrange themselves.

https://t.co/R95KxyctoZ

[Kriti Kathuria @kaykathuria]

When you think about it, all systems are intended to be linearizable. The question is if the implementation of the abstract model is linearizable or not.
So, the abstract EDSM is linearizable. And as for ED Raft, the implementation, we need to show that it is linearizable.

[Kriti Kathuria @kaykathuria]

In conclusion: the axiom for edsm needs to impose restriction on history. It will be best if it could be done without affecting the CSM axiom.

[Kriti Kathuria @kaykathuria]

important thing to note about axiomatic spec: they are meant for the functional programming paradigm. this means that operation order is immaterial, bc an op with a particular input will always produce the same output, regardless of ordering. In other words, ordering is implicit.

[Kriti Kathuria @kaykathuria]

but will need to extend it to account for the following: particular spans of history cannot change even if a write operation intercedes.

[Kriti Kathuria @kaykathuria]

second, failures work in a very particular way. either this can be clubbed under history validity or something new.