abiro

8 ms·

1.
Liveness Proofs in Veil, Part I: The First Step(proofsandintuitions.net)
4 points by abiro 10d ago|0 comments
2.
by abiro 1mo ago
For the tmux crowd: please consider sponsoring the author https://github.com/nicm https://liberapay.com/tmux
3.
Formal Verification of Cryptographic Protocol Implementations in Rust(dl.acm.org)
2 points by abiro 2mo ago|0 comments
4.
by abiro 7mo ago
A lot of the apparel being destroyed is unsold inventory of up-market brands to protect their pricing power. If they shipped that to less affluent countries for destruction, it's unlikely that they'd be destroyed, because those it
5.
Zero Knowledge Encryption: Analysis of Three Cloud-based Password Managers(eprint.iacr.org)
3 points by abiro 7mo ago|0 comments
6.
by abiro 3y ago
I thought it weird that the post didn’t mention RustCrypto. It’s legit.
7.
by abiro 3y ago
> The second step failed almost immediately, with an error telling me that a replayed log entry was recording data belonging to a machine which didn't exist. This provoked some head-scratching until I realized that this was introdu
8.
by abiro 3y ago
What to read on the slice universe?
9.
by abiro 3y ago
Any details on how passkeys sync using external providers?
10.
AMA with a WoW botter / gold seller(old.reddit.com)
2 points by abiro 3y ago|0 comments
11.
by abiro 3y ago
Very cool project, congrats to the author! Baaed on the comments, I feel that people are both under and overestimating this. On the one hand it replaces the manual tasks of searching for a template and then googling errors and this is huge!
12.
Why the golden ratio is mostly non-sense by a Fields Medal winner [video](youtube.com)
4 points by abiro 3y ago|0 comments
13.
Free42 – An HP-42S Calculator Simulator(thomasokken.com)
80 points by abiro 3y ago|35 comments
14.
Exploring Ethereum Token Transfers with TLA+ for Wallet Security(sealvault.org)
1 points by abiro 3y ago|0 comments
15.
How do you reason about a probabilistic distributed system? (2020)(ahelwer.ca)
3 points by abiro 4y ago|0 comments
16.
by abiro 4y ago
Another thing to keep in mind is that if you want the data to be end-to-end encrypted, then you need both devices to be online at the same time to sync with Automerge.
17.
by abiro 4y ago
SwiftUI and UIKit compose well in both directions, so if you choose SwiftUI as your framework, but then run into a wall, it's an option to partially rewrite that difficult part with UIKit. Of course if the problem is with the core of y
18.
Construction of the St. Lawrence Seaway (Walter Cronkite, 1958)(youtube.com)
2 points by abiro 4y ago|0 comments
19.
by abiro 4y ago
This is great. I'd recommend the Learn Rust With Entirely Too Many Linked Lists [0] tutorial as the next step. It really helps you grok the borrow checker. [0]: https://rust-unofficial.github.io/too-many-lists/inde
20.
by abiro 4y ago
This is pretty cool: > Before we jump in, I wanted to share some history with you. Back in 2009 when we first built 1PasswordAnywhere, it wasn’t possible to use it with Dropbox. We couldn’t use Dropbox at the time because each file reque
21.
by abiro 4y ago
Shopify supporting Passkeys for all merchant sites could be a great driver for adoption.
22.
by abiro 4y ago
If you liked this, you'll probably like this interview with Diffie too: https://www.youtube.com/watch?v=DJxOz0I6z5A
23.
by abiro 4y ago
Would be curious to see this broken down by fiction vs non-fiction. I read very few non-fiction books cover-to-cover. Most of them could be probably cut by 50% and not lose much.
24.
by abiro 4y ago
Web3 refers to the emerging shift in internet value chains from permissioned, centralized databases to permissionless, decentralized databases where users own their data. The driving force behind Web3 is that we can now enforce invariants o
25.
by abiro 4y ago
Re costs: it’s decreasing rapidly. Solana is within 100x of DynamoDB prices so costs are soon becoming negligible. At that point costs can be taken over by the app developer or paid by users on a subscription basis. There are also decentral
26.
by abiro 4y ago
The new thing with blockchain tech is that we can now enforce invariants on state transitions in a decentralized manner. Paired with non-interactive zero-knowledge cryptography, we can also enforce those invariants while keeping the confide
27.
by abiro 4y ago
Yes, it's ready. Read Zero To Production In Rust by Luca Palmieri for best practices: https://www.zero2prod.com/
28.
Our Web3 Vision: Ubiquitous Decentralized Databases(sealvault.org)
1 points by abiro 4y ago|0 comments
29.
by abiro 4y ago
Hey, it seems like you find yourself in a crisis. This has happens to most of us and it’s good that you posted here. The question that you’re asking nobody else can answer for you unfortunately. A good way to find an answer is to start with
30.
by abiro 4y ago
I like what Material for Mkdocs did as well. They ship features to sponsors first and release for free when a certain founding goal is met: https://squidfunk.github.io/mkdocs-material/insiders/ Roughly 10xed their

More ›