Defnull @defnull
Developer, fond of challenges and travellling. Mastodon: @[email protected] Joined September 2010-
Tweets2K
-
Followers148
-
Following229
-
Likes81
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: youtube.com/watch?v=iJhRbD…
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).
The tide has not changed. Rust has reached the Plateau of Productivity phase of the hype cycle. Of course all the people that didn’t need a language w/o a GC have, correctly, moved away from it.
A list of resources on how to write and run good benchmarks.
@AlexMillerDB justinblank.com/notebooks/benc… is my list. I have a lot of unpublished changes pending, but it might be a little while until I push them out.
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! mongodb.com/blog/post/mobi…
Ooo just seen the Systems Distributed '24 talks have been published by @TigerBeetleDB! Can't wait to work my way thru this treasure trove 💎 youtube.com/playlist?list=…
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. allthingsdistributed.com/2024/08/contin…
.@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: db.cs.cmu.edu/seminar2024/
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: discord.gg/WP8RRmkj6M
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! resources.ditto.live/technical-guid…
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.
I spent time with the @ElectricSQL team to learn about Offline Sync 🔗 supabase.com/blog/launch-we… 🎥 youtube.com/watch?v=2wlXsz…
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 :) github.com/informalsystem…
"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. usenix.org/publications/l…
Any other groups like opendatastructures.org 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.
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. apndx.org/pub/icnp/dlfac…
From the Automerge team: Introducing Automerge-Repo, a "batteries-included" toolkit for building local-first applications. automerge.org/blog/2023/11/0…
Time to stop blindingly trusting photography.
Nice background from the WPaxos paper on various Paxos architectures. arxiv.org/pdf/1703.08905…
github.com/serenity-kit/s… efficient e2e encrypted CRDTS
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. mattweidner.com/2023/09/26/crd…
@andyhpalmer This list from @chbussler is the best I've seen for the emerging vector DB space. I've been slowly adding them to dbdb.io: medium.com/google-cloud/v…
Tisetoun @Tisetounq171
20 Followers 608 Following
Roman Agabekov @agabekovroman
4K Followers 3K Following Building Releem in public 🧠 AI Database Advisor for MySQL, MariaDB & PostgreSQL
Vitor Enes @vitorenesduarte
515 Followers 304 Following Distributed Systems. CRDTs. Formal Methods. Testing. Rust. Music.
Code BEAM @CodeBEAMio
10K Followers 2K Following The Erlang, Elixir and Gleam events by @CodeSyncGlobal Join us at Code BEAM Europe 21-22 October 2026 in Haarlem, Netherlands
Yonatan @devYonz
835 Followers 1K Following Co-founder @vella_ai | CEO @LegendAppHQ | https://t.co/ifnNzQPRQi @Harvard & x-dev @LinkedIn Passionate about user-owned auth, storage, and personalization.
Joran Dirk Greef @jorandirkgreef
10K Followers 2K Following Creator, Founder and CEO of @TigerBeetleDB — the financial transactions database designed to power the next 30 years of transaction processing.
Andrei Pechkurov @AndreyPechkurov
1K Followers 629 Following Top data race and segfault producer in the room.
TigerBeetle @TigerBeetleDB
10K Followers 2K Following The financial transactions database designed to power the next 30 years of transaction processing.
James Pearce @jamespearce
9K Followers 4K Following Hacker, sailor, immigrant. TinyBase and other local-first & sync goodies. Previously: Eng Director at Meta, data infra, dev tools, open source, & platforms.
Marcel Goethals @wolkenmachine
929 Followers 2K Following In(ter)dependent researcher & Toolmaker. Currently inventing Programmable Ink @inkandswitch
Annette Bieniusa @anne_biene
940 Followers 550 Following Professor in CS at RPTU. Team member @ElectricSQL . Passionate coder and family person.
Real Egor Lynov @gorynych00
1K Followers 2K Following software engineer; backend developer; data engineer; hacker (in good quality); I love programming and science fiction
Antonis Katsarakis @akatsarakis
894 Followers 2K Following Principal Researcher and Team Lead @Huawei Next-generation Databases. PhD from @EdinburghUni
jonnadal @jonnadal
120 Followers 340 Following Writing a book: "Building Distributed Systems With Stateright" (available at https://t.co/drFg30b2SN)
Anton Trunov @falsenov
734 Followers 634 Following Compiler engineer @cerebras. Compiler correctness / formal methods enjoyer. Opinions are my own, retweets are not endorsements.
Erlang Ecosystem Foun... @TheErlef
6K Followers 2K Following We’re a non-profit focused on growing and supporting a diverse community and tech based on the BEAM #erlef
Tiuterev Dmitrii / Т... @dmitryttt
92 Followers 460 Following erlang/elixir(s), perl(s), php(j/m), python(m), haskell(j), go(m/s), bash(m), unity(j), TS(m), k8s(j/m) developer (j:m:s as junior:middle:senior)
Дарья @dshelkovaauf
8 Followers 199 Following
Vladimir Yagubov @rat_code
184 Followers 188 Following Developer, 3D artist, Game designer. FC: SW-3178-9901-7893 PSN:VY777IL
Vitalii Skakun @VitSkakun
107 Followers 1K Following researching IT techs and proglangs with a grain of math, trying hard to understand the world better every day 🇺🇦🇬🇧🏴🏴🇮🇱🇺🇸
Jason Liu @JasonYungLiu
730 Followers 5K Following
yurastalker @yurastalker1
2 Followers 299 Following
rustwizard @rustwizard
23 Followers 134 Following I'm a developer interested in distributed systems and storage engines. Gopher. Rustacean. Wizard.
Ivan Prisyazhnyy @joh... @JohnKoepi
885 Followers 405 Following software engineer, distributed systems, open source, linux, cooking, music, and sports. @discuss.systems, @fosstodon.org
Joe’s gone to Masto... @joesaccount
23 Followers 161 Following
Rolando Calderon @rcalderon797
6 Followers 115 Following
antoine @antoine_reyt
151 Followers 774 Following Software engineer freelance. Elixir, Riak, Distributed systems.
Paul Borrill @plborrill
1K Followers 4K Following Physicist & CEO of DÆDÆLUS; Join the conversation on our evolving knowledge of the nature of time & causality. And how we make the world safe for transactions.
Ildar Absalyamov @iabsalyamov
44 Followers 88 Following Optimizing all the queries.... PhD from UC Riverside. Apache AsterixDB commiter & PMC member.
Vadim Balaban @vadim_balaban
15 Followers 512 Following
Drop Table @taras_zak
14 Followers 198 Following
Egor Nazarov @eqr1234
67 Followers 759 Following man utd, distributed systems, disfunctional programming, music
l @ldsemerenko
19 Followers 729 Following
Anatolii Prylutskyi @anpryl
176 Followers 897 Following
Alex @oioki
1K Followers 1K Following Doing computer things @Sentry. Capturing flags with @We_0wn_Y0u. Security is everyone's job.
Aleksandr Sidorov @asidoroff
3 Followers 155 Following
Elisa Gonzalez Boix @elisagboix
409 Followers 133 Following prof@Vrije Universiteit Brussel - concurrent and distributed systems, programming abstractions, debuggers & language-based security.
Alex Miller @AlexMillerDB
3K Followers 210 Following Databases. See also @[email protected] or @alexmillerdb.bsky.app
antirez @antirez
64K Followers 786 Following Reproducible bugs are candies. I like programming too much for not liking automatic programming.
DuckDB @duckdb
24K Followers 60 Following DuckDB is an analytical in-process SQL database management system. "DuckDB" and the DuckDB logo are registered trademarks of the DuckDB Foundation.
ClickHouse @ClickHouseDB
18K Followers 62 Following ClickHouse is the fastest open-source OLAP database ⚡ Download: https://t.co/3JKlDJbkcH GitHub: https://t.co/bjCe9qIetg Slack: https://t.co/d95c6jVeJm
Juncheng Yang @1a1a11a
2K Followers 2K Following Assistant Professor at Harvard University, Ph.D @ CMU, ex-Snowflake, ex-AWS, ex-Twitter, ex-Cloudflare
RocksDB @RocksDB
6K Followers 272 Following A persistent key-value store for fast storage Follow us on Threads: https://t.co/rW57rV2xPf
Yonatan @devYonz
835 Followers 1K Following Co-founder @vella_ai | CEO @LegendAppHQ | https://t.co/ifnNzQPRQi @Harvard & x-dev @LinkedIn Passionate about user-owned auth, storage, and personalization.
Aaron Boodman @aboodman
10K Followers 997 Following CEO @rocicorp. Building @zero__ms, raising two great kids, trying to be a better person. Past: @replicache, @nomsdb, @googlechrome.
Jack Vanlightly @vanlightly
5K Followers 235 Following Likes breaking ideas and systems, writing, picking systems apart @confluentinc Ex @Splunk, @VMware https://t.co/voJWmL5iBE Credit: ESO/B. Tafreshi
Jon Gjengset @jonhoo
36K Followers 189 Following Rust live-coder and OSS tinkerer who loves teaching. I try to keep a high SNR. Wrote Rust for Rustaceans. At @HelsingAI. Ex AWS. Co-founded @readysetio. he/him
Дмитрий Глу... @glukhovsky
74K Followers 193 Following Dmitry Glukhovsky. Writer: METRO 2039, Text, https://t.co/iuQTYzYHhx. Columnist: The Guardian, La Liberation, Die Zeit
Jaromir Hamala @jerrinot
2K Followers 2K Following I play with distributed systems by day and poke various runtimes by night. Engineer @QuestDB, @Hazelcast alumnus.
🕹️ Alexander Gal... @emaxerrno
4K Followers 3K Following Founder & CEO of @RedpandaData. Building the Agentic Data Plane - https://t.co/xyvsqqV5OM. 🇨🇴
Lucio Franco @lucio_d_franco
3K Followers 515 Following Building @tokio_rs. Distributed Systems, Testing, and Reliability. he/him
vertexclique @vertexclique
564 Followers 170 Following λx.λy.y → λx.λz.z / embedded & distributed sys, compiler opt, @rustlang, data and ML / 0xD20F2F5E6DFD6F11 – Different barb, same wire…
Denis Magda @denismagda
5K Followers 535 Following Software Engineer. Distributed systems and databases (Postgres, YugabyteDB, Apache Ignite, and beyond). The author of the "Just use Postgres!" book.
Andrei Pechkurov @AndreyPechkurov
1K Followers 629 Following Top data race and segfault producer in the room.
Joran Dirk Greef @jorandirkgreef
10K Followers 2K Following Creator, Founder and CEO of @TigerBeetleDB — the financial transactions database designed to power the next 30 years of transaction processing.
Ditto @dittolive
615 Followers 66 Following The only mobile database with built-in edge device connectivity and resiliency at https://t.co/LxvMOV7GOI
ElixirStatus @elixirstatus
8K Followers 21 Following Elixir Community dedicated to announcements, where you can post your new project, blog post or version update.
TigerBeetle @TigerBeetleDB
10K Followers 2K Following The financial transactions database designed to power the next 30 years of transaction processing.
Weaviate AI Database @weaviate_io
19K Followers 3K Following The easiest way to build and scale AI applications. 🐙 https://t.co/1rZk8H0hpf 📰 https://t.co/OE3jP2OB87
Pekka Enberg @penberg
18K Followers 1K Following Founder & CTO @tursodatabase; previously @ScyllaDB and Linux kernel. Author of "Latency" (https://t.co/XWRFq71WaJ).
Bing Wen Brunton @bingbrunton
5K Followers 1K Following Scientist interested in all aspects of brain and behavior. Loves to talk math and data. Prof of Biology at University of Washington, Seattle.
Тамара Эйде... @tamaraeidelman
83K Followers 49 Following историк, педагог, писатель, переводчик, радиоведущий и блогер. Заслуженный учитель Российской Федерации, иностранный агент Нет войне! 💙💛
Pat Helland @PatHelland
5K Followers 1K Following Building distributed systems & databases since 1978. Now at Salesforce. Dropped out of UC Irvine in 1976. Write for ACM Queue & blog @ https://t.co/MYYTVzxjyj
Dominik Tornow @DominikTornow
12K Followers 588 Following Founder @resonatehqio | Distributed Async Await | Think Distributed Systems | https://t.co/TQGtUTQMvY
Alcides Fonseca @alcides
2K Followers 3K Following Typing types. Associate Professor at the University of Lisbon.
Peter van Hardenberg @pvh
5K Followers 1K Following Ink & Switch lab director. Heroku alum. I don't come here anymore. Masto: @[email protected] BSky: @pvh.ca
Mike Freedman @michaelfreedman
7K Followers 409 Following Co-founder/CTO, @TigerDatabase / @TimescaleDB 🐯🦄. Professor, @PrincetonCS. Distributed systems, databases, AI, security, networking.
v @iavins
13K Followers 2K Following breaking databases @tursodatabase. W1 '21 @recursecenter excited about databases, storage engines and message queues
Natacha Crooks @siobhcroo
4K Followers 613 Following Assistant Professor at UC Berkeley. Distributed Systems & databases. Former engineer at Materialize. PhD UT Austin. Originally from Paris, France. Views my own.
Shadaj Laddad @ShadajL
3K Followers 296 Following Research lead for https://t.co/Ax69nGsKRw @ AWS. PhD from @Berkeley_EECS. Co-organizer https://t.co/mV8bqpqvV7. Views mine.
Disseminate: The Comp... @DisseminatePod
494 Followers 185 Following Interviews with Computer Science researchers about their work. Hosted by @jwaudberry. Listen on Spotify, Apple, and YouTube.
Marcel Goethals @wolkenmachine
929 Followers 2K Following In(ter)dependent researcher & Toolmaker. Currently inventing Programmable Ink @inkandswitch
Ink & Switch @inkandswitch
11K Followers 60 Following Industrial research lab working on digital tools and computing for creators.
Valter Balegas @balegas
272 Followers 242 Following
Kevin De Porre @KevinDP55
190 Followers 218 Following Founding engineer 👨💻 @ElectricSQL. Part-time postdoctoral researcher 👨🔬 @softlab_brussel.
Vitor Enes @vitorenesduarte
515 Followers 304 Following Distributed Systems. CRDTs. Formal Methods. Testing. Rust. Music.
Matthew Weidner @MatthewWeidner3
581 Followers 163 Following Collaborative software at Common Curriculum / CMU. I write about CRDTs etc.
Micah Learns @micahlerner
4K Followers 1K Following Google Geo SRE 🗺️📍, prev @mapbox, @strava. Following my curiosity and writing about CS/AI/Systems research - https://t.co/aRJWZub62X.
Roman Shestakov @rshestakov
91 Followers 271 Following
Annette Bieniusa @anne_biene
940 Followers 550 Following Professor in CS at RPTU. Team member @ElectricSQL . Passionate coder and family person.Trends for United States
You might like
