28 karma · joined February 12, 2023
Here I present a formal Quint specification for its consensus protocol, model-checked under a Byzantine fault model. Safety was found to be preserved within the fault-bounds and under a constant weight model, and the possibility of FastPay style lockouts was reproduced as expected.
The direction for future research depends on the direction Keeta takes; checkpoints and epochs (similar to Sui) are the features to watch there.
Prerequisite paper: https://keeta.com/whitepaper.pdf
Google marketing slop: https://cloud.google.com/blog/topics/financial-services/how-...
If you want to ‘have it all,’ we’ll need to invest heavily in creating more advanced biomedical research models. This requires strong societal and political willpower.
My setup for the next few years will be: Bitwarden to store passkeys, passwords and sensitive data and a Yubikey that I login to Bitwarden with.
For example, parties are organized in Whatsapp group chats and the local library’s events are posted to Instagram.
You want to organize a protest? Create a Facebook event. You want to keep up with news in your town or neighborhood? Join the local Facebook group. You want to chat with someone? Add them on Facebook Messenger.
These are not enough to make people afraid of catching the virus. The effects are not immediate and humans are bad at long-term risk assessment. See climate change or smoking as examples.