corpus.blog
41554 blogs ยท [ { "id": "01a087c6-b9ee-718e-88e9-c4756c8a287a", "title": "Reading list 2025", "url": "https://poorlydefinedbehaviour.github.io/posts/reading_list_2025/", "published_at": "2026-01-02T03:00:00+00:00" }, { "id": "01a087c6-b9ee-718e-88e9-c4756ceb10d0", "title": "Generating tests from a TLA+ specification", "url": "https://poorlydefinedbehaviour.github.io/posts/tla_test_generation_1/", "published_at": "2025-07-20T00:00:00+00:00" }, { "id": "01a087c6-b9ee-718e-88e9-c4756d74c59c", "title": "Reading list 2024", "url": "https://poorlydefinedbehaviour.github.io/posts/reading_list_2024/", "published_at": "2025-01-02T03:00:00+00:00" }, { "id": "01a087c6-b9ee-718e-88e9-c4756e1d93ff", "title": "๐”‡๐”ข๐”ฑ๐”ข๐”ฏ๐”ช๐”ฆ๐”ซ๐”ฆ๐”ฐ๐”ฑ๐”ฆ๐”  ๐”ฐ๐”ฆ๐”ช๐”ฒ๐”ฉ๐”ž๐”ฑ๐”ฆ๐”ฌ๐”ซ ๐”ฑ๐”ข๐”ฐ๐”ฑ๐”ฆ๐”ซ๐”ค", "url": "https://poorlydefinedbehaviour.github.io/posts/deterministic_simulation_testing/", "published_at": "2024-12-03T03:00:00+00:00" }, { "id": "01a087c6-b9ee-718e-88e9-c4756e85149f", "title": "Model checking The Deadlock Empire", "url": "https://poorlydefinedbehaviour.github.io/posts/the_deadlock_empire/", "published_at": "2024-08-15T00:00:00+00:00" }, { "id": "01a087c6-b9ee-718e-88e9-c4756f16b1fd", "title": "Reading list 2023", "url": "https://poorlydefinedbehaviour.github.io/posts/reading_list_2023/", "published_at": "2024-01-01T03:00:00+00:00" }, { "id": "01a087c6-b9ee-718e-88e9-c4756f65a251", "title": "Reading list December 2023", "url": "https://poorlydefinedbehaviour.github.io/posts/reading_list_december_2023/", "published_at": "2023-12-31T03:00:00+00:00" }, { "id": "01a087c6-b9ee-718e-88e9-c4756fa3594a", "title": "Disagree and commit falls apart in the presence of power imbalance", "url": "https://poorlydefinedbehaviour.github.io/posts/disagree_and_commit_falls_apart_in_the_presence_of_power_imbalance/", "published_at": "2023-12-16T03:00:00+00:00" }, { "id": "01a087c6-b9ee-718e-88e9-c47570631696", "title": "Reading list November 2023", "url": "https://poorlydefinedbehaviour.github.io/posts/reading_list_november_2023/", "published_at": "2023-12-01T03:00:00+00:00" }, { "id": "01a087c6-b9ee-718e-88e9-c475709951f8", "title": "Consistent hashing", "url": "https://poorlydefinedbehaviour.github.io/posts/consistent_hashing/", "published_at": "2023-10-06T23:00:00+00:00" }, { "id": "01a087c6-b9ee-718e-88e9-c475709cf069", "title": "Reading list September 2023", "url": "https://poorlydefinedbehaviour.github.io/posts/reading_list_september_2023/", "published_at": "2023-10-01T03:00:00+00:00" }, { "id": "01a087c6-b9ee-718e-88e9-c4757107ab25", "title": "Reading list August 2023", "url": "https://poorlydefinedbehaviour.github.io/posts/reading_list_august_2023/", "published_at": "2023-09-01T03:00:00+00:00" }, { "id": "01a087c6-b9ee-718e-88e9-c4757136af93", "title": "Notes on formal languages: alphabets, strings and languages", "url": "https://poorlydefinedbehaviour.github.io/posts/formal_languages_alphabet_strings_and_languages/", "published_at": "2023-08-08T03:00:00+00:00" }, { "id": "01a087c6-b9ee-718e-88e9-c47571791798", "title": "How I write CI pipelines in 2023", "url": "https://poorlydefinedbehaviour.github.io/posts/how_i_write_ci_pipelines_in_2023/", "published_at": "2023-08-05T03:00:00+00:00" }, { "id": "01a087c6-b9ee-718e-88e9-c47572400cf5", "title": "Reading list July 2023", "url": "https://poorlydefinedbehaviour.github.io/posts/reading_list_jul_31_2023/", "published_at": "2023-07-31T03:00:00+00:00" }, { "id": "01a087c6-b9ee-718e-88e9-c47573300e10", "title": "Sending logs and traces to Grafana cloud from your Rust application", "url": "https://poorlydefinedbehaviour.github.io/posts/rust_sending_logs_and_traces_to_grafana_cloud/", "published_at": "2023-07-22T15:00:00+00:00" }, { "id": "01a087c6-b9ee-718e-88e9-c475739b7c29", "title": "Thinking about failure, fair-loss links and two generals", "url": "https://poorlydefinedbehaviour.github.io/posts/fair_loss_links_and_two_generals/", "published_at": "2023-03-28T23:30:00+00:00" }, { "id": "01a087c6-b9ee-718e-88e9-c475744b752f", "title": "The simple way to avoid deadlocks", "url": "https://poorlydefinedbehaviour.github.io/posts/the_simple_way_to_avoid_deadlocks/", "published_at": "2023-03-25T23:35:00+00:00" }, { "id": "01a087c6-b9ee-718e-88e9-c47574617c5a", "title": "Database anomalies and isolation levels", "url": "https://poorlydefinedbehaviour.github.io/posts/isolation_levels/", "published_at": "2023-03-24T18:43:00+00:00" }, { "id": "01a087c6-b9ee-718e-88e9-c475754c2fb3", "title": "Avoid overloading your systems: Request coalescing", "url": "https://poorlydefinedbehaviour.github.io/posts/request_coalescing/", "published_at": "2023-03-19T23:54:00+00:00" }, { "id": "01a087c6-b9ee-718e-88e9-c47575b38fc0", "title": "Do Go programs with common data races compile in Rust?", "url": "https://poorlydefinedbehaviour.github.io/posts/rust_compile_time_safety_1/", "published_at": "2022-05-23T23:39:07+00:00" }, { "id": "01a087c6-b9ee-718e-88e9-c4757646a00a", "title": "Logs", "url": "https://poorlydefinedbehaviour.github.io/posts/logs/", "published_at": "2022-04-30T19:46:09+00:00" }, { "id": "01a087c6-b9ee-718e-88e9-c4757670b32c", "title": "Contributing to Rust and tokio", "url": "https://poorlydefinedbehaviour.github.io/posts/contributing_to_tokio/", "published_at": "2022-04-17T17:29:20+00:00" }, { "id": "01a087c6-b9ee-718e-88e9-c475767233b0", "title": "Why Rc is not Send", "url": "https://poorlydefinedbehaviour.github.io/posts/why_rc_is_not_send/", "published_at": "2022-03-27T20:20:07+00:00" }, { "id": "01a087c6-b9ee-718e-88e9-c47576956ba2", "title": "Token bucket", "url": "https://poorlydefinedbehaviour.github.io/posts/token_bucket/", "published_at": "2022-03-21T01:21:07+00:00" }, { "id": "01a087c6-b9ee-718e-88e9-c4757773e851", "title": "Notes taken from the Raft paper", "url": "https://poorlydefinedbehaviour.github.io/posts/raft_notes/", "published_at": "2022-03-04T20:48:19+00:00" }, { "id": "01a087c6-b9ee-718e-88e9-c4757871d350", "title": "Bloom filter", "url": "https://poorlydefinedbehaviour.github.io/posts/bloom_filter/", "published_at": "2022-03-03T23:56:31+00:00" }, { "id": "01a087c6-b9ee-718e-88e9-c475787a3123", "title": null, "url": "https://poorlydefinedbehaviour.github.io/posts/deterministic_simulation_testing_coroutines/", "published_at": null } ] posts Claim your blog
Back to poorlydefinedbehaviour.github.io
Blog ยท corpus.blog/blogs/poorlydefinedbehaviour.github.io/posts

poorlydefinedbehaviour.github.io

poorlydefinedbehaviour.github.io

2026

Reading list 2025original โ†—
2 Jan 2026

2025

Generating tests from a TLA+ specificationoriginal โ†—
20 Jul 2025
Reading list 2024original โ†—
2 Jan 2025

2024

๐”‡๐”ข๐”ฑ๐”ข๐”ฏ๐”ช๐”ฆ๐”ซ๐”ฆ๐”ฐ๐”ฑ๐”ฆ๐”  ๐”ฐ๐”ฆ๐”ช๐”ฒ๐”ฉ๐”ž๐”ฑ๐”ฆ๐”ฌ๐”ซ ๐”ฑ๐”ข๐”ฐ๐”ฑ๐”ฆ๐”ซ๐”คoriginal โ†—
3 Dec 2024
Model checking The Deadlock Empireoriginal โ†—
15 Aug 2024
Reading list 2023original โ†—
1 Jan 2024

2023

Reading list December 2023original โ†—
31 Dec 2023
Disagree and commit falls apart in the presence of power imbalanceoriginal โ†—
16 Dec 2023
Reading list November 2023original โ†—
1 Dec 2023
Consistent hashingoriginal โ†—
6 Oct 2023
Reading list September 2023original โ†—
1 Oct 2023
Reading list August 2023original โ†—
1 Sept 2023
Notes on formal languages: alphabets, strings and languagesoriginal โ†—
8 Aug 2023
How I write CI pipelines in 2023original โ†—
5 Aug 2023
Reading list July 2023original โ†—
31 Jul 2023
Sending logs and traces to Grafana cloud from your Rust applicationoriginal โ†—
22 Jul 2023
Thinking about failure, fair-loss links and two generalsoriginal โ†—
28 Mar 2023
The simple way to avoid deadlocksoriginal โ†—
25 Mar 2023
Database anomalies and isolation levelsoriginal โ†—
24 Mar 2023
Avoid overloading your systems: Request coalescingoriginal โ†—
19 Mar 2023

2022

Do Go programs with common data races compile in Rust?original โ†—
23 May 2022
Logsoriginal โ†—
30 Apr 2022
Contributing to Rust and tokiooriginal โ†—
17 Apr 2022
Why Rc is not Sendoriginal โ†—
27 Mar 2022
Token bucketoriginal โ†—
21 Mar 2022
Notes taken from the Raft paperoriginal โ†—
4 Mar 2022
Bloom filteroriginal โ†—
3 Mar 2022

Undated

https://poorlydefinedbehaviour.github.io/posts/deterministic_simulation_testing_coroutines/original โ†—
โ€”