/explore
|
You are here 
|
muratbuffalo.blogspot.com | ||
| | | | |
elliottslaughter.com
|
|
| | | | | ||
| | | | |
nathan.torkington.com
|
|
| | | | | [AI summary] The text is a collection of links and notes from Nat Torkington's 2022 Technical Link Pile, covering a wide range of topics in software development, architecture, APIs, security, databases, and more. It includes resources like OPAQUE, OPAQUE-2, OPAQUE-3, OPAQUE-4, OPAQUE-5, OPAQUE-6, OPAQUE-7, OPAQUE-8, OPAQUE-9, OPAQUE-10, OPAQUE-11, OPAQUE-12, OPAQUE-13, OPAQUE-14, OPAQUE-15, OPAQUE-16, OPAQUE-17, OPAQUE-18, OPAQUE-19, OPAQUE-20, OPAQUE-21, OPAQUE-22, OPAQUE-23, OPAQUE-24, OPAQUE-25, OPAQUE-26, OPAQUE-27, OPAQUE-28, OPAQUE-29, OPAQUE-30, OPAQUE-31, OPAQUE-32, OPAQUE-33, OPAQUE-34, OPAQUE-35, OPAQUE-36, OPAQUE-37, OPAQUE-38, OPAQUE-39, OPAQUE-40, OPAQUE-41, OPAQUE-42, OPAQUE-43, OPAQUE-44, OPAQUE-45, OPAQUE-46, OPAQUE-47, OPAQUE-48, OPAQUE-49, ... | |
| | | | |
fizzbee.io
|
|
| | | | | Building a complex distributed system? How do you verify your design doesn't have issues with consistency, performance or fault tolerance? Amazon has been using formal methods to verify its distributed systems since 2012. Now, major players like Amazon, Microsoft, MongoDB, Confluent, Oracle, Elastic, CockroachDB, and many more are all embracing formal methods for their systems. Despite the immense benefits and relevance of this technique in modern software development, its widespread adoption has been hindered by the complexity of existing tools. | |
| | | | |
blog.risingstack.com
|
|
| | | In this article, we'll focus on the most popular JavaScript frameworks, and explore why they're either loved or disliked by developers. | ||
