RT @TigerBeetleDB: Building correct systems requires thinking outside the box –– and inside "Formal methods". Hillel Wayne, author of "Log….

I finally managed to do some writing on VSR. I initially wrote a lot to convince myself the correctness, but eventually cut it all out. I'm thinking of looking into something like @fizzbee_io to specify the protocol.

RT @eatonphil: Help me build a list of online tech book clubs and online paper reading groups?. Comment with what your group does and how s….

RT @eatonphil: Nearly every week at work for me (not just at edb this has been almost everywhere) is a cycle of. - wow I am the biggest idi….

RT @ocaml_org: MirageOS on OCaml 5!: OCaml 5 brought significant changes to fundamental parts of the language – notably concurrency using e….

RT @MarcJBrooker: In this month's ACM Queue, @ankushpd and I write about some of the methods and tools we apply to systems correctness at A….

RT @cliff_click: Simple instruction selection demo. Tail Calls, portability, .vs LLVM. Serialized SoN graph as po….

RT @DominikTornow: Welcome to our live show!

RT @GeologyTime: New Fossil found! 😂. Nokiasorus 🦕

RT @iskyzh: upcoming blog post on building a query optimizer.

Recently worked on implementing b+trees on disk, with my friend @artyomplaunov. The biggest confusion I had stemmed from the asymmetry of nodes, but writing it all down helped clarify to me.

RT @abhi9u: Read it here:

RT @k__monk: today's pattern

RT @DistribSystems: A review of consensus protocols.

RT @olirice_dev: great write up on how pg_search switching to Postgres block storage enabled support for WAL, PITR, and MVCC 👀. https://t.co….

RT @DominikTornow: In Erlang, process failures are detected and handled by a common runtime (the beam), which may simply notify other proce….

RT @eatonphil: I have no leadership role whatsoever at EDB, but I am a cheerleader internally for speaking publicly. Some of what I do:. -….

RT @andy_pavlo: New @CMUDB Course: Database Query Optimization!.A survey of how to build a SQL optimizer from scratch covering foundational….

RT @andy_pavlo: By the way, the semester already started on Monday this week:

RT @masahiko_sawada: A good explanation about the internal of PostgreSQL UUIDv7. Postgres UUIDv7 + per-backend monotonicity — https://t.co….