Explore >> Select a destination
|
You are here 
|
buttondown.com | ||
| | | | |
danlebrero.com
|
|
| | | | | Book notes on "Code that fits in your head" by Mark Seemann | |
| | | | |
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. | |
| | | | |
anthonysciamanna.com
|
|
| | | | | When I work with developers who haven't practiced Test-Driven Development (TDD) one question often arises, When is code too simple to test? As someone wh... | |
| | | | |
zed.dev
|
|
| | | From the Zed Blog: You asked, and here it is. Use Claude Code in public beta directly in Zed, built on the new Agent Client Protocol. | ||
