Defnull

Developer, fond of challenges and travellling. Mastodon: @[email protected]

[Andy Pavlo (@andypavlo.bsky.social) @andy_pavlo]

The first two videos for @CMUDB's latest seminar series on Database Building Blocks are now posted. You should start off with @andrewlamb1111's fantastic introductory overview to @ApacheDataFusio: https://t.co/9Es7lVLTsy

[Marc Brooker @MarcJBrooker]

This is true - Rust is being productively used all across the industry. For example, it's the default choice for building new systems code at AWS, and is already running critical data planes (like S3, Lambda, and many others).

[Alex Miller @AlexMillerDB]

A list of resources on how to write and run good benchmarks.

[Adam Fish @Adam_Fish]

Announcing our partnership with @MongoDB! 🎉

We are bringing the power of @dittolive’s Edge Sync Platform to Atlas.

Edge devices are super computers not dumb clients. Ditto + Mongo = resilient apps that leverage the best of the edge and cloud!

https://t.co/MqF086wclv

[Luke Hedger @level_out]

Ooo just seen the Systems Distributed '24 talks have been published by @TigerBeetleDB! Can't wait to work my way thru this treasure trove 💎

https://t.co/6JdAIG2gOq

[Werner Vogels @Werner]

A fantastic retrospective from #AWS Sr. Principal Engineer @molson, who's been at the heart of scaling #EBS for over a decade. Marc shares hard-won lessons on driving continuous performance improvements - a must-read for cloud infrastructure nerds.
https://t.co/xL4KiQ5BDh

[Andy Pavlo (@andypavlo.bsky.social) @andy_pavlo]

.@CMUDB Fall 2024 talk schedule is posted! @SamArchDB + @pateljm + myself are hosting the Database Building Blocks seminar series featuring speakers from leading DBMSs built from open-source components. Mondays @ 4:30pm via Zoom. Videos posted to YouTube: https://t.co/d4X4snQqm3

[Alex P @ifesdjeen]

I would like to try something new in 2024. If you have always wanted to read Transaction Processing by Gray/Reuter, but found the tome too thick to tackle without a good company, join us on the journey to read through it and learn new things together: https://t.co/FoRY0sADTy

[rae mac @okdistribute]

Excited to announce the new technical guide to writing a peer-to-peer & local-first point of sale system.

This architecture prioritizes seamless device-to-device data transfer without the cloud as a bottleneck inside the store.

Bringing p2p everywhere!

https://t.co/ay2G8aqmOL

[Electric @ElectricSQL]

Last week we announced support for @supabase 🎉
@thruflo and @balegas then chatted about Local-first and Offline Sync with @kiwicopple.
We're excited to see what people build with Electric & Supabase - this combination brings together so many components needed to build an app.

[Gabriela Moreira @bugarela]

For the last 2 years, I have been working on a new specification language called Quint, based on TLA.

Today, we are doing a first general announcement because we finally feel that it is good enough for people to use it and enjoy it :)

https://t.co/f4qJgvIzAh

[Gunnar Morling 🌍 @gunnarmorling]

"Revisiting B+-tree vs. LSM-tree" (2022)

Very interesting paper by Yifan Qiao et al., discussing how SSDs with built-in compression alleviate storage overhead and write amplification of B+-trees pages which are partially filled or modified, respectively.

https://t.co/iRQ3NKQC5P

[Phil Eaton @eatonphil]

Any other groups like https://t.co/985yHSnn6A that have complete, public domain implementations of various algorithms and data structures across a few programming languages?

rosettacode isn't often great because half the "implementations" just use a built in library.

[Jules Jacobs @JulesJacobs5]

Happy to announce Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing, with Jonas Kastberg Hinrichsen and Robbert Krebbers @ POPL'24. https://t.co/EwutQmbXcN

[Ink & Switch @inkandswitch]

From the Automerge team: Introducing Automerge-Repo, a "batteries-included" toolkit for building local-first applications.
https://t.co/mheUYtjyqH

[Carlos Baquero @xmal]

Time to stop blindingly trusting photography.

[Phil Eaton @eatonphil]

Nice background from the WPaxos paper on various Paxos architectures.

https://t.co/3Nq1Cm1mKK

[Electric @ElectricSQL]

https://t.co/y1s73qAHAq efficient e2e encrypted CRDTS

[Matthew Weidner @MatthewWeidner3]

Part 2 of my CRDT survey blog series is out! This post covers "semantic techniques": deciding what a collaborative should do for users, independent of implementation details like op-based vs state-based. https://t.co/0FoMAZZkbc

[Andy Pavlo (@andypavlo.bsky.social) @andy_pavlo]

@andyhpalmer This list from @chbussler is the best I've seen for the emerging vector DB space. I've been slowly adding them to https://t.co/B1Av4RIQK4: https://t.co/PxzHBRuw3G