56,966 blogs · [ { "id": "01a087e6-0500-723d-8da3-9aa1aa8800d8", "title": "Scheduling threads like Thomas Jefferson", "url": "https://stevana.github.io/scheduling_threads_like_thomas_jefferson.html", "published_at": "2024-09-24T00:00:00+00:00" }, { "id": "01a087e6-0500-723d-8da3-9aa1ab181f0b", "title": "Parallel property-based testing with a deterministic thread scheduler", "url": "https://stevana.github.io/parallel_property-based_testing_with_a_deterministic_thread_scheduler.html", "published_at": "2024-08-07T00:00:00+00:00" }, { "id": "01a087e6-0500-723d-8da3-9aa1ab2af3b8", "title": "The sad state of property-based testing libraries", "url": "https://stevana.github.io/the_sad_state_of_property-based_testing_libraries.html", "published_at": "2024-07-02T00:00:00+00:00" }, { "id": "01a087e6-0500-723d-8da3-9aa1abb64889", "title": "Towards zero-downtime upgrades of stateful systems", "url": "https://stevana.github.io/towards_zero-downtime_upgrades_of_stateful_systems.html", "published_at": "2024-03-07T00:00:00+00:00" }, { "id": "01a087e6-0500-723d-8da3-9aa1ac4d68c2", "title": "Parallel stream processing with zero-copy fan-out and sharding", "url": "https://stevana.github.io/parallel_stream_processing_with_zero-copy_fan-out_and_sharding.html", "published_at": "2024-01-23T00:00:00+00:00" }, { "id": "01a087e6-0500-723d-8da3-9aa1acb037aa", "title": "Visualising datastructures over time using SVG", "url": "https://stevana.github.io/visualising_datastructures_over_time_using_svg.html", "published_at": "2023-09-09T00:00:00+00:00" }, { "id": "01a087e6-0500-723d-8da3-9aa1acbbf587", "title": "Elastically scalable thread pools", "url": "https://stevana.github.io/elastically_scalable_thread_pools.html", "published_at": "2023-03-14T00:00:00+00:00" }, { "id": "01a087e6-0500-723d-8da3-9aa1ad075fa0", "title": "Pipelined state machines", "url": "https://stevana.github.io/pipelined_state_machines.html", "published_at": "2023-03-01T00:00:00+00:00" }, { "id": "01a087e6-0500-723d-8da3-9aa1ad3cd499", "title": "Hot-code swapping à la Erlang with Arrow-based state machines", "url": "https://stevana.github.io/hot-code_swapping_a_la_erlang_with_arrow-based_state_machines.html", "published_at": "2023-02-21T00:00:00+00:00" }, { "id": "01a087e6-0500-723d-8da3-9aa1ade4a640", "title": "Deploying and restarting state machines using supervisor trees", "url": "https://stevana.github.io/deploying_and_restarting_state_machines_using_supervisor_trees.html", "published_at": "2023-02-13T00:00:00+00:00" }, { "id": "01a087e6-0500-723d-8da3-9aa1ae4cf344", "title": "Simulation testing using state machines", "url": "https://stevana.github.io/simulation_testing_using_state_machines.html", "published_at": "2023-02-07T00:00:00+00:00" }, { "id": "01a087e6-0500-723d-8da3-9aa1ae9496ff", "title": "Erlang's not about lightweight processes and message passing...", "url": "https://stevana.github.io/erlangs_not_about_lightweight_processes_and_message_passing.html", "published_at": "2023-01-18T00:00:00+00:00" }, { "id": "01a087e6-0500-723d-8da3-9aa1aea5b7a8", "title": "Working with binary data", "url": "https://stevana.github.io/working_with_binary_data.html", "published_at": "2023-01-11T00:00:00+00:00" }, { "id": "01a087e6-0500-723d-8da3-9aa1aee5f76a", "title": "State machines with of async I/O", "url": "https://stevana.github.io/state_machines_with_of_async_io.html", "published_at": "2023-01-07T00:00:00+00:00" } ] posts Claim your blog

Back to stevana.github.io

Blog · corpus.blog/blogs/stevana.github.io/posts

stevana.github.io

stevana.github.io

2024

Scheduling threads like Thomas Jefferson original ↗

24 Sept 2024

Parallel property-based testing with a deterministic thread scheduler original ↗

7 Aug 2024

The sad state of property-based testing libraries original ↗

2 Jul 2024

Towards zero-downtime upgrades of stateful systems original ↗

7 Mar 2024

Parallel stream processing with zero-copy fan-out and sharding original ↗

23 Jan 2024

2023

Visualising datastructures over time using SVG original ↗

9 Sept 2023

Elastically scalable thread pools original ↗

14 Mar 2023

Pipelined state machines original ↗

1 Mar 2023

Hot-code swapping à la Erlang with Arrow-based state machines original ↗

21 Feb 2023

Deploying and restarting state machines using supervisor trees original ↗

13 Feb 2023

Simulation testing using state machines original ↗

7 Feb 2023

Erlang's not about lightweight processes and message passing...original ↗

18 Jan 2023

Working with binary data original ↗

11 Jan 2023

State machines with of async I/O original ↗

7 Jan 2023