[tool][github]
https://github.com/hasura/graphql-engine
https://github.com/hasura/graphql-engine
GitHub
GitHub - hasura/graphql-engine: Blazing fast, instant realtime GraphQL APIs on all your data with fine grained access control,…
Blazing fast, instant realtime GraphQL APIs on all your data with fine grained access control, also trigger webhooks on database events. - hasura/graphql-engine
[github][distributed systems]
https://github.com/heidihoward/distributed-consensus-reading-list
https://github.com/heidihoward/distributed-consensus-reading-list
GitHub
GitHub - heidihoward/distributed-consensus-reading-list: A list of papers about distributed consensus.
A list of papers about distributed consensus. Contribute to heidihoward/distributed-consensus-reading-list development by creating an account on GitHub.
👍1
[article]
Low-Latency, High-Throughput Garbage Collection
https://users.cecs.anu.edu.au/~steveb/pubs/papers/lxr-pldi-2022.pdf
Low-Latency, High-Throughput Garbage Collection
https://users.cecs.anu.edu.au/~steveb/pubs/papers/lxr-pldi-2022.pdf
[article]
https://www.scylladb.com/2022/04/27/shaving-40-off-googles-b-tree-implementation-with-go-generics/
https://www.scylladb.com/2022/04/27/shaving-40-off-googles-b-tree-implementation-with-go-generics/
ScyllaDB
Shaving 40% Off Google’s B-Tree Implementation with Go Generics - ScyllaDB
Go generics are a new way to improve performance in #golang. Let's see what effect generics had on Google's B-tree implementation.
[article][db] Let's build a distributed Postgres proof of concept
By the end of this post, in around 600 lines of code, we'll have a distributed "Postgres implementation" that will accept writes (
https://notes.eatonphil.com/distributed-postgres.html
By the end of this post, in around 600 lines of code, we'll have a distributed "Postgres implementation" that will accept writes (
CREATE TABLE, INSERT) on the leader and accept reads (SELECT) on any node. All nodes will contain the same data.https://notes.eatonphil.com/distributed-postgres.html
👍3
[article][programming language]
https://blog.sigplan.org/2022/05/19/language-design-in-the-real-world/
https://blog.sigplan.org/2022/05/19/language-design-in-the-real-world/
SIGPLAN Blog
Language Design in the Real World
Real programming languages are living things, changing and evolving. As with any production code, most of their designer’s time is spent on bug fixing and small improvements, rather than on the rad…
[article][db]
https://cloud.google.com/blog/products/databases/alloydb-for-postgresql-columnar-engine
https://cloud.google.com/blog/products/databases/alloydb-for-postgresql-columnar-engine
Google Cloud Blog
AlloyDB for PostgreSQL Columnar Engine | Google Cloud Blog
In this technical deep dive, we take a look at the columnar engine that delivers industry leading query performance for AlloyDB for PostgreSQL.
[guides]
https://github.com/acantril/learn-cantrill-io-labs/tree/master/aws-cognito-web-identity-federation
https://github.com/acantril/learn-cantrill-io-labs/tree/master/aws-cognito-web-identity-federation
GitHub
learn-cantrill-io-labs/aws-cognito-web-identity-federation at master · acantril/learn-cantrill-io-labs
Standard and Advanced Demos for learn.cantrill.io courses - acantril/learn-cantrill-io-labs
👍1
[article]
https://achievers.engineering/scaling-production-globally-service-mesh-face-lift-part-1-30ad6d393d04
https://achievers.engineering/scaling-production-globally-service-mesh-face-lift-part-1-30ad6d393d04
Medium
Scaling Production Globally — The service mesh facelift (Part-1)
Achievers has been growing rapidly over the past two years, and we have been working hard to scale microservices globally using Istio
[article][distributed]
We present a formal, machine checked TLA+ safety proof of MongoRaftReconfig, a distributed dynamic reconfiguration protocol. MongoRaftReconfig was designed for and imple- mented in MongoDB, a distributed database whose replica- tion protocol is derived from the Raft consensus algorithm. We present an inductive invariant for MongoRaftReconfig that is formalized in TLA+ and formally proved using the TLA+ proof system (TLAPS). We also present a formal TLAPS proof of two key safety properties of MongoRaftReconfig, Leader- Completeness and StateMachineSafety. To our knowledge, these are the first machine checked inductive invariant and safety proof of a dynamic reconfiguration protocol for a Raft based replication system.
https://will62794.github.io/assets/papers/cpp22-formal-verification-reconfig.pdf
We present a formal, machine checked TLA+ safety proof of MongoRaftReconfig, a distributed dynamic reconfiguration protocol. MongoRaftReconfig was designed for and imple- mented in MongoDB, a distributed database whose replica- tion protocol is derived from the Raft consensus algorithm. We present an inductive invariant for MongoRaftReconfig that is formalized in TLA+ and formally proved using the TLA+ proof system (TLAPS). We also present a formal TLAPS proof of two key safety properties of MongoRaftReconfig, Leader- Completeness and StateMachineSafety. To our knowledge, these are the first machine checked inductive invariant and safety proof of a dynamic reconfiguration protocol for a Raft based replication system.
https://will62794.github.io/assets/papers/cpp22-formal-verification-reconfig.pdf