Record · corpus.blog/posts/01a087c6-b9ee-718e-88e9-c4756f65a251

Reading list December 2023

poorlydefinedbehaviour.github.io · published 31 December 2023

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
Links from this post: 117
Words captured: 1,178

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://www.youtube.com/watch?v=SCmN2Sr7fqE&list=PL4kInuyvT-Aw_Bz7l33AwTHXDgD3s0nkv&index=3

youtube.com

Life of a HTTP request, as seen by my toy web server Read at the source ↗

tia.mat.br

https://www.bailis.org/blog/hat-not-cap-introducing-highly-available-transactions/

bailis.org

https://rust-lang.github.io/wg-async/vision/submitted_stories/status_quo/alan_thinks_he_needs_async_locks.html

rust-lang.github.io

https://medium.com/@aryangodara_19887/tcp-server-and-client-in-ocaml-13ebefd54f60

medium.com

https://www.youtube.com/watch?v=lbBQk_QPnEs

youtube.com

https://www.youtube.com/watch?v=bnRZTi3C_JM

youtube.com

https://www.youtube.com/watch?v=haz2h7_xFDk

youtube.com

https://www.youtube.com/watch?v=_mKeVGSqQac

youtube.com

https://www.youtube.com/watch?v=zx9pz1IklUE&list=PL4kInuyvT-Aw_Bz7l33AwTHXDgD3s0nkv&index=13

youtube.com

https://www.youtube.com/watch?v=RVTfPy_NELc

youtube.com

https://www.youtube.com/watch?v=d89W_GzWnRw

youtube.com

https://www.youtube.com/watch?v=Pz_NvY1kw6I

youtube.com

https://www.youtube.com/watch?v=ywp9Z0xZPzo

youtube.com

https://www.youtube.com/watch?v=k3RQVyeYdO8

youtube.com

https://www.youtube.com/watch?v=60F8rzP5nQo

youtube.com

How I read a research paper Read at the source ↗

muratbuffalo.blogspot.com

https://aphyr.com/posts/367-why-is-jepsen-written-in-clojure

aphyr.com

https://www.youtube.com/watch?v=KZoS1fEPx5Q

youtube.com

https://jjtech.dev/reverse-engineering/imessage-explained/

jjtech.dev

https://nielsbohrmann.com/prices-law/

nielsbohrmann.com

https://www.youtube.com/watch?v=xOolCpm2F8c

youtube.com

https://ocaml.org/docs/opam-switch-introduction

ocaml.org

https://ocaml.org/docs/toplevel-introduction

ocaml.org

https://blog.rust-lang.org/2023/12/07/Rust-1.74.1.html

blog.rust-lang.org

https://www.youtube.com/watch?v=prHmUW4JIms

youtube.com

Redeveloping TCP from the ground up Read at the source ↗

hannes.robur.coop

https://www.youtube.com/watch?v=6eAKScpknHQ

youtube.com

TiDB Internal (II) – Computing Read at the source ↗

pingcap.com

https://ocaml.org/docs/modules

ocaml.org

https://www.youtube.com/watch?v=GPIuPRqDGG8

youtube.com

Reducing tail latencies with automatic cooperative task yielding Read at the source ↗

tokio.rs

https://www.lightbend.com/blog/how-akka-works-exactly-once-message-delivery

lightbend.com

https://dev.to/yugabyte/which-postgresql-problems-are-solved-with-yugabytedb-2gm

dev.to

On some subtleties of Paxos Read at the source ↗

the-paper-trail.org

Consensus Protocols: A Paxos Implementation Read at the source ↗

the-paper-trail.org

https://medium.com/@balrajasubbiah/consensus-two-phase-and-three-phase-commits-4e35c1a435ac

medium.com

Is Scalable OLTP in the Cloud a Solved Problem? (CIDR 2023) Read at the source ↗

muratbuffalo.blogspot.com

https://www.cs.cornell.edu/projects/ladis2009/talks/dean-keynote-ladis2009.pdf

cs.cornell.edu

https://www.datastax.com/blog/modern-hinted-handoff

datastax.com

https://aws.amazon.com/blogs/database/amazon-aurora-under-the-hood-quorum-reads-and-mutating-state/

aws.amazon.com

https://milestone.topics.it/2023/05/17/back-to-basics-boundaries.html

milestone.topics.it

https://www.youtube.com/watch?v=37wFVVVZlVU

youtube.com

https://thesquareplanet.com/blog/students-guide-to-raft/

thesquareplanet.com

https://thesquareplanet.com/blog/instructors-guide-to-raft/

thesquareplanet.com

https://www.youtube.com/watch?v=9NhEBVPlJs4

youtube.com

https://mirage.io/docs/tutorial-lwt

mirage.io

https://ocsigen.org/lwt/latest/manual/manual

ocsigen.org

https://matklad.github.io/2023/12/10/nsfw.html

matklad.github.io

https://www.youtube.com/watch?v=10kVndpDKvA

youtube.com

https://www.youtube.com/watch?v=OAOQ7U0XAi0

youtube.com

https://www.youtube.com/watch?v=SThwp5ijh6o

youtube.com

https://web.archive.org/web/20181021220147/http://docs.basho.com/riak/1.4.8/theory/why-riak/

web.archive.org

https://pgrandinetti.github.io/compilers/page/introduction/

pgrandinetti.github.io

https://pgrandinetti.github.io/compilers/page/can-i-get-a-job-in-compilers/

pgrandinetti.github.io

https://pgrandinetti.github.io/compilers/page/why-so-many-programming-languages/

pgrandinetti.github.io

https://www.youtube.com/watch?v=wTcpZWPHl6w

youtube.com

https://www.youtube.com/watch?v=MN2jIUonuQQ

youtube.com

https://www.youtube.com/watch?v=Aa0RTgxJJy8

youtube.com

https://www.youtube.com/watch?v=ib4BHvr5-Ao

youtube.com

https://www.youtube.com/watch?v=ykVumkmkbik

youtube.com

How Databases Store and Retrieve Data Read at the source ↗

siemens.blog

https://www.youtube.com/watch?v=EXbgUXt8fFU

youtube.com

https://www.cryptologie.net/article/578/simple-introduction-to-monads-in-ocaml/

cryptologie.net

https://jobjo.github.io/2019/04/24/ocaml-has-some-new-shiny-syntax.html

jobjo.github.io

A Tutorial to OCaml -ppx Language Extensions Read at the source ↗

victor.darvariu.me

Let syntax, and why you should use it Read at the source ↗

blog.janestreet.com

https://www.hashicorp.com/blog/mitchell-reflects-as-he-departs-hashicorp

hashicorp.com

https://pgrandinetti.github.io/compilers/page/what-are-the-differences-in-programming-languages/

pgrandinetti.github.io

https://www.youtube.com/watch?v=DcWqzZ3I2cY

youtube.com

https://registerspill.thorstenball.com/p/leaving-sourcegraph

registerspill.thorstenball.com

Let's build a distributed Postgres proof of concept Read at the source ↗

notes.eatonphil.com

https://apple.github.io/foundationdb/cap-theorem.html

apple.github.io

https://apple.github.io/foundationdb/fault-tolerance.html

apple.github.io

https://www.youtube.com/watch?v=NZqFiBDQG1s

youtube.com

https://www.youtube.com/watch?v=fqsSAqbNFfo

youtube.com

https://www.youtube.com/watch?v=7qfVRn4lFXY

youtube.com

A Close Look at a Spinlock Read at the source ↗

blog.regehr.org

Database Fundamentals Read at the source ↗

tontinton.com

Learn In Public Read at the source ↗

swyx.io

https://www.youtube.com/watch?v=F87PtAoJNtg

youtube.com

https://www.youtube.com/watch?v=CRTR5ljBjPM

youtube.com

https://ocaml.org/docs/mutability-loops-and-imperative

ocaml.org

https://dev.37signals.com/introducing-solid-queue/

dev.37signals.com

https://github.com/ocaml-multicore/eio

github.com

Replication: Introducing leaderless replication Read at the source ↗

distributed-computing-musings.com

https://www.youtube.com/watch?v=z7zUMieOO98

youtube.com

https://www.youtube.com/watch?v=KY2Y7Zn3HW0

youtube.com

How to Be Great? Just Be Good, Repeatably Read at the source ↗

blog.stephsmith.io

https://www.youtube.com/watch?v=PyxadX8yrsI

youtube.com

https://www.youtube.com/watch?v=piF6D6CQxUw

youtube.com

https://engineering.linkedin.com/distributed-systems/log-what-every-software-engineer-should-know-about-real-time-datas-unifying

engineering.linkedin.com

https://www.youtube.com/watch?v=CulF4YQt6zA

youtube.com

https://www.youtube.com/watch?v=Cym4TZwTCNU

youtube.com

https://www.youtube.com/watch?v=rK3xcRYLWeg

youtube.com

https://www.youtube.com/watch?v=VlNeWWcIQI4

youtube.com

What I Wish Someone Had Told Me Read at the source ↗

blog.samaltman.com

The dark side of inlining and monomorphization Read at the source ↗

nickb.dev

https://www.youtube.com/watch?v=C8YtdC8mxTU

youtube.com

https://www.youtube.com/watch?v=F9742wnBWRc

youtube.com

https://docs.datomic.com/pro/overview/introduction.html

docs.datomic.com

https://www.youtube.com/watch?v=x87Cs9vU4Fk

youtube.com

https://www.youtube.com/watch?v=nuML9SmdbJ4

youtube.com

https://samwho.dev/memory-allocation/

samwho.dev

https://thesecretlivesofdata.com/raft/

thesecretlivesofdata.com

https://blog.allegro.tech/2023/11/how-does-btree-make-your-queries-fast.html

blog.allegro.tech

https://www.youtube.com/watch?v=SmlLdd1Q2V8

youtube.com

https://nullprogram.com/blog/2023/10/05/

nullprogram.com

https://www.youtube.com/watch?v=ZTt9gsGcdDo

youtube.com

https://queue.acm.org/detail.cfm?id=3220266

queue.acm.org

https://queue.acm.org/detail.cfm?id=3025012

queue.acm.org

Performance Engineering on Hard Mode with Andrew Hunter Read at the source ↗

signals-threads.simplecast.com

https://www.youtube.com/watch?v=4MEgCP7h8UU

youtube.com

https://blog.rust-lang.org/2023/12/28/Rust-1.75.0.html

blog.rust-lang.org

https://www.youtube.com/watch?v=Vx2DpMgplEM

youtube.com

https://building.nubank.com.br/the-value-of-canonicity/

building.nubank.com.br

An introduction to the basic principles of Functional Programming Read at the source ↗

iamtk.co