https://poorlydefinedbehaviour.github.io/ 2026-01-02T00:00:00-03:00 https://poorlydefinedbehaviour.github.io/categories/ 2026-01-02T00:00:00-03:00 https://poorlydefinedbehaviour.github.io/posts/ 2026-01-02T00:00:00-03:00 https://poorlydefinedbehaviour.github.io/categories/reading-list/ 2026-01-02T00:00:00-03:00 https://poorlydefinedbehaviour.github.io/posts/reading_list_2025/ 2026-01-02T00:00:00-03:00 https://poorlydefinedbehaviour.github.io/categories/distributed-systems/ 2025-07-20T00:00:00+00:00 https://poorlydefinedbehaviour.github.io/categories/formal-methods/ 2025-07-20T00:00:00+00:00 https://poorlydefinedbehaviour.github.io/posts/tla_test_generation_1/ 2025-07-20T00:00:00+00:00 https://poorlydefinedbehaviour.github.io/categories/testing/ 2025-07-20T00:00:00+00:00 https://poorlydefinedbehaviour.github.io/categories/tla+/ 2025-07-20T00:00:00+00:00 https://poorlydefinedbehaviour.github.io/posts/reading_list_2024/ 2025-01-02T00:00:00-03:00 https://poorlydefinedbehaviour.github.io/categories/algorithms/ 2024-12-03T00:00:00-03:00 https://poorlydefinedbehaviour.github.io/categories/concurrency/ 2024-12-03T00:00:00-03:00 https://poorlydefinedbehaviour.github.io/posts/deterministic_simulation_testing/ 2024-12-03T00:00:00-03:00 https://poorlydefinedbehaviour.github.io/posts/the_deadlock_empire/ 2024-08-15T00:00:00+00:00 https://poorlydefinedbehaviour.github.io/posts/reading_list_2023/ 2024-01-01T00:00:00-03:00 https://poorlydefinedbehaviour.github.io/posts/reading_list_december_2023/ 2023-12-31T00:00:00-03:00 https://poorlydefinedbehaviour.github.io/posts/disagree_and_commit_falls_apart_in_the_presence_of_power_imbalance/ 2023-12-16T00:00:00-03:00 https://poorlydefinedbehaviour.github.io/categories/opinion/ 2023-12-16T00:00:00-03:00 https://poorlydefinedbehaviour.github.io/posts/reading_list_november_2023/ 2023-12-01T00:00:00-03:00 https://poorlydefinedbehaviour.github.io/posts/consistent_hashing/ 2023-10-06T20:00:00-03:00 https://poorlydefinedbehaviour.github.io/posts/reading_list_september_2023/ 2023-10-01T00:00:00-03:00 https://poorlydefinedbehaviour.github.io/posts/reading_list_august_2023/ 2023-09-01T00:00:00-03:00 https://poorlydefinedbehaviour.github.io/categories/formal-languages/ 2023-08-08T00:00:00-03:00 https://poorlydefinedbehaviour.github.io/posts/formal_languages_alphabet_strings_and_languages/ 2023-08-08T00:00:00-03:00 https://poorlydefinedbehaviour.github.io/categories/today-i-learned/ 2023-08-08T00:00:00-03:00 https://poorlydefinedbehaviour.github.io/categories/automation/ 2023-08-05T00:00:00-03:00 https://poorlydefinedbehaviour.github.io/categories/ci/ 2023-08-05T00:00:00-03:00 https://poorlydefinedbehaviour.github.io/categories/containers/ 2023-08-05T00:00:00-03:00 https://poorlydefinedbehaviour.github.io/categories/dagger/ 2023-08-05T00:00:00-03:00 https://poorlydefinedbehaviour.github.io/categories/docker/ 2023-08-05T00:00:00-03:00 https://poorlydefinedbehaviour.github.io/posts/how_i_write_ci_pipelines_in_2023/ 2023-08-05T00:00:00-03:00 https://poorlydefinedbehaviour.github.io/categories/rust/ 2023-08-05T00:00:00-03:00 https://poorlydefinedbehaviour.github.io/posts/reading_list_jul_31_2023/ 2023-07-31T00:00:00-03:00 https://poorlydefinedbehaviour.github.io/categories/observability/ 2023-07-22T12:00:00-03:00 https://poorlydefinedbehaviour.github.io/posts/rust_sending_logs_and_traces_to_grafana_cloud/ 2023-07-22T12:00:00-03:00 https://poorlydefinedbehaviour.github.io/categories/tutorial/ 2023-07-22T12:00:00-03:00 https://poorlydefinedbehaviour.github.io/categories/networking/ 2023-03-28T20:30:00-03:00 https://poorlydefinedbehaviour.github.io/posts/fair_loss_links_and_two_generals/ 2023-03-28T20:30:00-03:00 https://poorlydefinedbehaviour.github.io/categories/databases/ 2023-03-25T20:35:00-03:00 https://poorlydefinedbehaviour.github.io/posts/the_simple_way_to_avoid_deadlocks/ 2023-03-25T20:35:00-03:00 https://poorlydefinedbehaviour.github.io/posts/isolation_levels/ 2023-03-24T15:43:00-03:00 https://poorlydefinedbehaviour.github.io/posts/request_coalescing/ 2023-03-19T20:54:00-03:00 https://poorlydefinedbehaviour.github.io/categories/parallelism/ 2023-03-19T20:54:00-03:00 https://poorlydefinedbehaviour.github.io/posts/rust_compile_time_safety_1/ 2022-05-23T20:39:07-03:00 https://poorlydefinedbehaviour.github.io/categories/languages/ 2022-05-23T20:39:07-03:00 https://poorlydefinedbehaviour.github.io/categories/data-structures/ 2022-04-30T16:46:09-03:00 https://poorlydefinedbehaviour.github.io/posts/logs/ 2022-04-30T16:46:09-03:00 https://poorlydefinedbehaviour.github.io/posts/contributing_to_tokio/ 2022-04-17T14:29:20-03:00 https://poorlydefinedbehaviour.github.io/posts/why_rc_is_not_send/ 2022-03-27T17:20:07-03:00 https://poorlydefinedbehaviour.github.io/categories/rate-limiting/ 2022-03-20T22:21:07-03:00 https://poorlydefinedbehaviour.github.io/posts/token_bucket/ 2022-03-20T22:21:07-03:00 https://poorlydefinedbehaviour.github.io/categories/consensus/ 2022-03-04T17:48:19-03:00 https://poorlydefinedbehaviour.github.io/posts/raft_notes/ 2022-03-04T17:48:19-03:00 https://poorlydefinedbehaviour.github.io/categories/papers/ 2022-03-04T17:48:19-03:00 https://poorlydefinedbehaviour.github.io/posts/bloom_filter/ 2022-03-03T20:56:31-03:00 https://poorlydefinedbehaviour.github.io/categories/probabilistic/ 2022-03-03T20:56:31-03:00 https://poorlydefinedbehaviour.github.io/posts/deterministic_simulation_testing_coroutines/ https://poorlydefinedbehaviour.github.io/archives/ https://poorlydefinedbehaviour.github.io/search/ https://poorlydefinedbehaviour.github.io/series/