Explore >> Select a destination
|
You are here 
|
blog.acolyer.org | ||
| | | | |
techglider.github.io
|
|
| | | | | ||
| | | | |
databeta.wordpress.com
|
|
| | | | | For folks who care about what's possible in distributed computing: Peter Alvaro and I wrote an introduction to the CALM Theorem and subsequent work that is now up on arXiv. The CALM Theorem formally characterizes the class of programs that can achieve distributed consistency without the use of coordination. I spent a good fraction of... | |
| | | | |
drops.dagstuhl.de
|
|
| | | | | [AI summary] The provided text is a collection of academic papers and proceedings from the 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023). The papers cover various topics in coalgebra, including: 1. **Compositionality and Equivalence of Coalgebraic Specifications** (by Bas Spitters and others): This paper explores how to compose coalgebraic specifications and ensure their equivalence, with applications to formal verification and system design. 2. **Coalgebraic Semantics for CRDTs**: A paper by Nathan Liittschwager et al. presents a coalgebraic approach to modeling conflict-free replicated data types (CRDTs), aiming to unify their specification and verification. 3. **Polynomial Functors and Their Coalgebras**: Jiří Adámek, Stefa... | |
| | | | |
mccue.dev
|
|
| | | [AI summary] The post advises choosing PostgreSQL as the default database for web applications due to its reliability, scalability, and better support compared to alternatives like SQLite, DynamoDB, MongoDB, and others, while cautioning against newer or experimental databases and proprietary solutions due to risks and lock-in. | ||
