Hacker Newsnew | past | comments | ask | show | jobs | submit | fromlogin
Model-based Testing Distributed Systems with P Language (2021) (mydistributed.systems)
1 point by todsacerdoti 3 months ago | past
Genefication: Generative AI and Formal Verification (mydistributed.systems)
1 point by roohitavaf 11 months ago | past
Samsung's KV-SSD: An NVMe SSD with In-Storage Key-Value Store (mydistributed.systems)
3 points by jitl on Oct 16, 2023 | past | 2 comments
ByteGraph: A Graph Database for TikTok (mydistributed.systems)
1 point by taubek on Jan 15, 2023 | past
Amazon DynamoDB vs. Google Spanner (On Distributed Transactions) (mydistributed.systems)
1 point by roohitavaf on Dec 14, 2021 | past
Why someone might need a graph database? (mydistributed.systems)
1 point by roohitavaf on Oct 27, 2021 | past
Exactly-once delivery is not as hard as Two Generals' Problem (mydistributed.systems)
3 points by roohitavaf on Oct 26, 2021 | past
Model-Based Testing Distributed Systems with P Language (mydistributed.systems)
6 points by zooki on June 26, 2021 | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: