corpus.blog
41,554 blogs · 5,063,431 posts Claim your blog
Record · corpus.blog/posts/01a087c6-b9ee-718e-88e9-c4756d74c59c

Reading list 2024

poorlydefinedbehaviour.github.io · published 2 January 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at poorlydefinedbehaviour.github.io Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
58
Words captured
423

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://www.youtube.com/watch?v=bnmln9HtqEI
youtube.com
https://aphyr.com/posts/378-seconds-since-the-epoch
aphyr.com
Use of Time in Distributed Databases (part 3): Synchronized clocks in databases Read at the source ↗
muratbuffalo.blogspot.com
Use of Time in Distributed Databases (part 2): Use of logical clocks in databases Read at the source ↗
muratbuffalo.blogspot.com
https://www.firezone.dev/blog/sans-io
firezone.dev
Turing Machines Read at the source ↗
samwho.dev
Use of Time in Distributed Databases (part 1) Read at the source ↗
muratbuffalo.blogspot.com
https://jack-vanlightly.com/analyses/2024/12/22/verifying-kafka-transactions-diary-entry-5-addpartitionstotxn-in-tla
jack-vanlightly.com
https://www.youtube.com/watch?v=sPSPEgz3o9U
youtube.com
https://www.youtube.com/watch?v=eW6Zv0X53T4
youtube.com
https://hillelwayne.com/post/refinement/
hillelwayne.com
https://www.youtube.com/watch?v=QpAstGlAiWI
youtube.com
https://www.youtube.com/watch?v=6Kwx8zfGW0Y
youtube.com
https://www.destroyallsoftware.com/compendium/network-protocols?share_key=97d3ba4c24d21147
destroyallsoftware.com
https://buttondown.com/hillelwayne/archive/formally-modeling-dreidel-the-sequel/
buttondown.com
https://www.youtube.com/watch?v=vEaJ9tH5NAM
youtube.com
https://www.youtube.com/watch?v=zCaJSrTmUFA
youtube.com
https://pron.github.io/posts/tlaplus_part2
pron.github.io
https://pron.github.io/posts/tlaplus_part1
pron.github.io
https://www.youtube.com/watch?v=RpY14Yleyzo
youtube.com
https://www.sougou.io/a-more-flexible-paxos/
sougou.io
Modeling Paxos and Flexible Paxos in Pluscal and TLA+ Read at the source ↗
muratbuffalo.blogspot.com
https://www.mydistributed.systems/2021/04/paxos.html
mydistributed.systems
https://www.mydistributed.systems/2022/06/some-practical-tips-on-using-tla-and-p.html
mydistributed.systems
https://medium.com/@polyglot_factotum/modelling-a-message-passing-bug-with-tla-baaf090a688d
medium.com
TLA+ is hard to learn Read at the source ↗
surfingcomplexity.blog
https://elliotswart.github.io/pragmaticformalmodeling/
elliotswart.github.io
Utilizing highly synchronized clocks in distributed databases Read at the source ↗
muratbuffalo.blogspot.com
https://www.youtube.com/watch?v=p_ae4BFESj4
youtube.com
https://www.youtube.com/watch?v=PB_2g24e-Ys
youtube.com
https://en.wikipedia.org/wiki/Formal_methods
en.wikipedia.org
https://daniel.haxx.se/blog/2021/04/02/where-is-http-3-right-now/
daniel.haxx.se
https://doc.rust-lang.org/nightly/nomicon/leaking.html
doc.rust-lang.org
https://lamport.azurewebsites.net/tla/future.pdf
lamport.azurewebsites.net
https://jack-vanlightly.com/blog/2024/12/5/an-introduction-to-symmetry-in-tla
jack-vanlightly.com
https://tschottdorf.github.io/single-decree-paxos-tla-compare-and-swap
tschottdorf.github.io
A snapshot isolated database modeling in TLA+ Read at the source ↗
muratbuffalo.blogspot.com
https://en.wikipedia.org/wiki/Crash-only_software
en.wikipedia.org
https://buttondown.com/jaffray/archive/what-are-the-magical-clocks-for/
buttondown.com
https://www.youtube.com/watch?v=5sw9XJokAqw
youtube.com
https://research.swtch.com/plmm
research.swtch.com
https://jack-vanlightly.com/blog/2023/10/10/a-primer-on-formal-verification-and-tla
jack-vanlightly.com
https://jack-vanlightly.com/analyses/2024/12/4/verifying-kafka-transactions-diary-entry-3-getting-confidence-in-the-tla-spec
jack-vanlightly.com
TLA+ conference 2024 Read at the source ↗
muratbuffalo.blogspot.com
https://turso.tech/blog/introducing-limbo-a-complete-rewrite-of-sqlite-in-rust
turso.tech
https://www.youtube.com/watch?v=DLg5tyxmXqQ
youtube.com
https://www.hillelwayne.com/post/fairness/
hillelwayne.com
Coming in Go 1.24: testing/synctest experiment for time and concurrency testing Read at the source ↗
danp.net
http://hh360.user.srcf.net/blog/2016/08/majority-agreement-is-not-necessary/
hh360.user.srcf.net
https://blog.the-pans.com/state-machine-and-sync/
blog.the-pans.com
https://www.youtube.com/watch?v=H_XMqRhLhic
youtube.com
https://jack-vanlightly.com/blog/2024/12/6/to-be-atomic-or-non-atomic-that-is-the-question-fizzbee
jack-vanlightly.com
https://jack-vanlightly.com/analyses/2024/12/5/verifying-kafka-transactions-diary-entry-4-writing-an-initial-fizzbee-spec
jack-vanlightly.com
https://boringtechnology.club
boringtechnology.club
https://egoless.engineering/
egoless.engineering
Building a distributed log using S3 (under 150 lines of Go) Read at the source ↗
avi.im
https://jack-vanlightly.com/analyses/2024/12/3/verifying-kafka-transactions-diary-entry-2-writing-an-initial-tla-spec
jack-vanlightly.com
https://jack-vanlightly.com/analyses/2024/12/2/verifying-kafka-transactions-diary-entry-1-a-first-step
jack-vanlightly.com