Lu Pan @uvdn7
Working on distributed systems at Facebook. “uvdn7” is “lupan” rotated by 180. blog.the-pans.com Boston Joined March 2010-
Tweets743
-
Followers485
-
Following251
-
Likes659
The list of talks of NEDB Day 2024 is out! bu-disc.github.io/nedbday/2024/#… I saw "Why Machine Learning for Automatically Optimizing Databases Doesn't Work" and was thinking Andy Pavlo would have something to say about it, then I realized that he's the one giving the talk! #NEDBDAY2024
Not only the book Infinite Powers is fascinating (and I can’t put it down), I can feel @stevenstrogatz’s passion and love of the subject from the pages. The book is a wonderful gift. I am grateful.
`async && closure && requires_explicit_memory_management && !borrow_checker` is really challenging. Borrow checker is really good to have especially when writing async code with closure! #rust
[new blog post] Rust's early vs. late lifetime binding blog.the-pans.com/rusts-early-vs…
Why a standalone redirect e.g. `2>/dev/null` gets interpreted as a `cat` command in zsh? The consequence is that then the shell will wait for the cat command which is waiting on stdin ... bash simply does nothing in this case.
It looks like every value expression in rust behaves like xvalue in C++ – it has (or can have) an identity (so it can be borrowed) and can be moved from.
`getcontext/setcontext` are not system calls but why there are getcontext(2)/setcontext(2) entries man7.org/linux/man-page…? `man getcontext.2` also exists although it shows the content for getcontext(3).
[new blog post] Caching partially materialized views consistently blog.the-pans.com/caching-partia…
Is there any difference between a cache and a partially materialized view, given that any compute must be performed over some data, and all data can be described using the relational model?
This would be an interesting talk you don't want to miss! rockset.com/compute-comput…
The apply-style join is great for distributed SQL based on Spanner: Becoming a SQL System (section 3.3). It seems to be a good fit for ORM as well for expressing joins.
Marc Brooker @MarcJBrooker
17K Followers 747 Following AI, databases, and serverless at AWS. Views are my own. On Mastodon: @[email protected]Pekka Enberg @penberg
7K Followers 1K Following Founder & CTO @tursodatabase. Interested in low latency, systems, and AI. Former @ScyllaDB and Linux.Phil Eaton @eatonphil
17K Followers 552 Following Working on @EDBPostgres. Mostly databases, distributed systems, books, and cooking. 💍🇰🇷Cindy Sridharan @copyconstruct
39K Followers 171 FollowingJack Vanlightly @vanlightly
3K Followers 216 Following @confluentinc thinking about event streaming. Previously @Splunk, @VMware @[email protected] Credit: ESO/B. Tafreshi (https://t.co/DvCarvC9L3)Micah Learns @micahlerner
4K Followers 874 Following Google Geo SRE 🗺️📍, prev @mapbox, @strava. Following my curiosity and writing about CS/AI/Systems research - https://t.co/aRJWZub62X.Joran Dirk Greef @jorandirkgreef
4K Followers 1K Following Founder & CEO of @TigerBeetleDB — the distributed financial transactions database designed for mission critical safety and performance.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/MYYTVzxjyjAndrey Satarin @asatarin
2K Followers 515 Following Staff Engineer @Google. Distributed systems, databases, reliability, correctness. Views my own. Retweet/like is not an endorsement. https://t.co/UI9PS85Pr5Domas Mituzas 🤡 @mituzas
1K Followers 155 Following small data artisan. survived hypergrowth at facebook(2009+)/wikipedia(2004-2011)v @iavins
4K Followers 2K Following breaking databases @tursodatabase. W1 '21 @recursecenter excited about databases, storage engines and message queuesDistributed Systems @DistribSystems
3K Followers 309 Following I tweet/retweet interesting stuff about #DistributedSystems and #compsci. Suggest links/papers/conversations via DM! Tag me for retweets!Pu, Yi-Cian @YICIAN1000
38 Followers 378 FollowingPeng Ruan @qdr6y9smxs
12 Followers 32 Followinggwangsu @gwangssu
81 Followers 1K Following software engineer, gamedev, distributed systems, craftsmanship_Ābdullah_ @thatsogalactic
7 Followers 374 FollowingMissy @zhangji37539522
0 Followers 15 FollowingBruce Grey Tedesco @BruceTedesco
1K Followers 5K Following data scientist | AI advocate | supports education STEM changes K-12 |TV, radio commentator | drummerloris libralato @libralatoloris
37 Followers 340 FollowingSrinikhil Naravamakul.. @manchicoffee
310 Followers 2K Following Builds, breaks things for @AzureCosmosDB.George Xanthakis @XanthakisGeorge
94 Followers 1K Following Ph.D. Student at @UoC | past intern @oraclelabs | Graduate Research Assistant @CarvForth Research on LSM-trees, always interested in Storage/OS research!Veera @veerasekarvg
10 Followers 219 FollowingMary @jacobs_mary34
162 Followers 3K FollowingALL-LeonorAlmeida @deeneausm32401
4 Followers 725 Following Não importa onde você esteja,junte-se a All,ganhe mais de 200 por dia,se estiver interessado,por favor,tome a iniciativa de conversar comigo em particular!Lê Viết Thái Huy @huylvt
41 Followers 281 FollowingVicky @vicky_markham65
205 Followers 3K FollowingTasha Coleman @tasha_cole60586
100 Followers 3K FollowingErmias Habtegabr @EHabtegabr
28 Followers 876 FollowingVictoria @victoria_mayhug
484 Followers 3K FollowingFelipe O. Carvalho @_Felipe
4K Followers 2K Following SWE @VoltronData / @ApacheArrow. Past: @Spotify. Databases/Compilers/DistSys. Imperative prog. heathen. C++/OCaml/TLA⁺🇧🇷 → 🇸🇪 → 🌎 https://t.co/vxbdByfADIAnirudh Rowjee @ over.. @AnirudhRowjee
481 Followers 3K Following builder and craftsman | dev intern @couchbase | Rust, Golang, Distsys, Databases. Poetry, Guitar | he/him views mine GitHub @AnirudhRowjeeAmin Setayesh @aminst79
97 Followers 236 Following MMath CS @uwaterloo @dsg_uwaterloo Excited about distributed systems https://t.co/vdcozIVWjYabhishek singh @Abh7shek_Sin9h
19 Followers 294 Following Backend dev by day, microservices enthusiast by night, and part-time comedian when the boss isn't watching. I code to make a living and joke to make a life.Suchin @agarwalsuchin
15 Followers 534 Following Information Retrieval, Data Mining, and Large Scale Data Processing. LinkedIn profile: https://t.co/hgqxx8wG4Jrushikesh @1999Yadwade
67 Followers 459 Following PICT'21 Excited about databases and distributed systems in general.kiran @kinnuak
15 Followers 543 FollowingGeorge Maged @GMaged327
101 Followers 1K FollowingVíctor RB @vroldanbet
376 Followers 2K Following Software Engineer. Musician. Building @authzed. Prev: @Github, @ZalandoTechGurk @gurk7_
1 Followers 75 FollowingMomento @momentohq
2K Followers 787 Following Simplify your architecture at any scale—so you can get going, and keep going.mhhio @mhhdev
147 Followers 1K Following Software Engineer💻 Book Lover📚 Gamer🎮 #data_engineering #python #java #rustkevin @sqc1699805
41 Followers 321 Followingsenthil kumar @senthilsam28
23 Followers 4K FollowingLewis Campbell @LewisCTech
736 Followers 197 Following Logs, events, #localfirst, software deployed in the field. Amateur systems programmer. Unilateral writes.sreenath @sreenath312
45 Followers 211 FollowingRon Mack @mack639355
93 Followers 661 Followingschrepfler @schrepfler
991 Followers 5K Following VP of Engineering at Huddle Tech. Opinions are my own. ULC minister. He/HimSalar Rahmanian @SalarRahmanian
1K Followers 1K Following Software Engineer with interests in NixOS, Functional Programming/Scala & Swift Lang. Obsessed with ML/Ai - Subscribe my newsletter: https://t.co/OOT5hDILiLПрокопенко .. @pytifan
33 Followers 1K FollowingDelcin @DelcinMaria
227 Followers 1K Following Conducting “Rust for Bitcoiners” curriculum for Chaincode Labs. Maintainer of rust-coinselect repo. Highly rated Haskell Tutor.Zova @ZovaWisdom
50 Followers 382 FollowingCarlos Alberto Haro @haro_ca_
2K Followers 2K Following 🇲🇽 I f*cking love data. Started doing stats, got lost, and somehow ended up mixing data/ML/software engineering for food.Marc Brooker @MarcJBrooker
17K Followers 747 Following AI, databases, and serverless at AWS. Views are my own. On Mastodon: @[email protected]Pekka Enberg @penberg
7K Followers 1K Following Founder & CTO @tursodatabase. Interested in low latency, systems, and AI. Former @ScyllaDB and Linux.Andy Pavlo (@andy_pav.. @andy_pavlo
29K Followers 205 Following Associate Prof. of Databases @CarnegieMellon. Co-Founder @OtterTuneAIMurat Demirbas (Distr.. @muratdemirbas
9K Followers 235 Following MongoDB Research: Distributed {Systems, Databases, Consensus}. Ex-AWS. Professor @SUNY Buffalo. Opinions are my own. Blog at https://t.co/IqZPhhtcCCCindy Sridharan @copyconstruct
39K Followers 171 FollowingJack Vanlightly @vanlightly
3K Followers 216 Following @confluentinc thinking about event streaming. Previously @Splunk, @VMware @[email protected] Credit: ESO/B. Tafreshi (https://t.co/DvCarvC9L3)Micah Learns @micahlerner
4K Followers 874 Following Google Geo SRE 🗺️📍, prev @mapbox, @strava. Following my curiosity and writing about CS/AI/Systems research - https://t.co/aRJWZub62X.Martin Kleppmann @martinkl
50K Followers 993 Following Find me at @martin.kleppmann.com on Bluesky, @[email protected] on Mastodon. Author of @intensivedata, Associate Professor @Cambridge_CL. he/himJoran Dirk Greef @jorandirkgreef
4K Followers 1K Following Founder & CEO of @TigerBeetleDB — the distributed financial transactions database designed for mission critical safety and performance.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/MYYTVzxjyjAndrey Satarin @asatarin
2K Followers 515 Following Staff Engineer @Google. Distributed systems, databases, reliability, correctness. Views my own. Retweet/like is not an endorsement. https://t.co/UI9PS85Pr5Henry Robinson @HenryR
7K Followers 482 Following Infrastructure @SlackHQ. Distributed systems engineer. I have of late - but wherefore I know not - lost all my data.Aleksey Charapko @AlekseyCharapko
2K Followers 188 Following Assistant professor of computer science @UofNH. ex-Microsoft. Interested in everything distributed/cloud/edgeEngineering at Meta @fb_engineering
281K Followers 201 Following Engineering at Meta is a technical news resource for engineers interested in how we solve large-scale technical challenges at Meta.Joe Hellerstein @joe_hellerstein
15K Followers 894 Following Berkeley CS Prof, focused on data and computation.Bartosz Milewski @BartoszMilewski
32K Followers 37 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]A. Jesse Jiryu Davis @jessejiryudavis
3K Followers 636 Following Senior Staff Engineer @MongoDB Research. Student at @villagezendo. He/him. Blog, photos: https://t.co/4c97tWxWuP. Mastodon: @[email protected]Domas Mituzas 🤡 @mituzas
1K Followers 155 Following small data artisan. survived hypergrowth at facebook(2009+)/wikipedia(2004-2011)Grant Sanderson @3blue1brown
365K Followers 362 Following Pi creature caretaker. Contact/faq: https://t.co/brZwdQfdifSteven Strogatz @stevenstrogatz
157K Followers 3K Following Mathematician, writer, Cornell professor. All cards on the table, face up, all the time.Antithesis @AntithesisHQ
1K Followers 38 Following Antithesis autonomously searches your software for bugs, with 100% reproducibility, and provides unique debugging tools to easily diagnose and fix them.Jonathan Müller @foonathan
12K Followers 74 Following C++, compilers, and programming languages. Library developer @thinkcell. @[email protected]Josh Haberman @JoshHaberman
548 Followers 126 Following I work on the Protocol Buffers team at Google. I created upb (a small C protobuf implementation) and Bloaty (an ELF/Mach-O/PE/WASM binary size profiler).Voltron Data @VoltronData
4K Followers 26 Following We offer a new way to design and build composable data systems based on open source standards.Felipe O. Carvalho @_Felipe
4K Followers 2K Following SWE @VoltronData / @ApacheArrow. Past: @Spotify. Databases/Compilers/DistSys. Imperative prog. heathen. C++/OCaml/TLA⁺🇧🇷 → 🇸🇪 → 🌎 https://t.co/vxbdByfADIJeremy Singh @singhcredible
58K Followers 463 Following 7-time ultramarathoner and 10,000 miles. Lazy Dad bod to Jacked Runner. Helping you run more and build muscle | Personal Trainer | Running CoachRigorGirl @aidah7Eimah6ohk
31K Followers 3K FollowingBartosz Sypytkowski @Horusiath
2K Followers 361 Following Yrs/Yjs dev team. Loving distributed systems, databases and protocols. Likes ≠ endorsements. horusiath at https://t.co/edwHJlRqz1 and https://t.co/2TEemy8OUpLilian Weng @lilianweng
94K Followers 148 Following Working on AI safety, past on robotics, applied research @OpenAI; Writing ML blogs to help myself & others to learn; Ideas my own.Joseph Koshakow @joekosh44
28 Followers 70 FollowingJon Gjengset @jonhoo
32K Followers 192 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/himFei-Fei Li @drfeifei
456K Followers 1K Following Prof (CS @Stanford), Co-Director @StanfordHAI, CoFounder/Chair @ai4allorg, Researcher #AI #computervision #ML AI+healthcareReadyset @readysetio
1K Followers 56 Following Readyset is a MySQL and Postgres wire-compatible caching layer that sits in front of existing databases to speed up queries and horizontally scale reads.Alana Marzoev @alanamarzoev
929 Followers 889 Following founder + CEO of ReadySet. previously: EECS PhD @ MIT, systems research @ Microsoft, Berkeley, Cornell.Manos Athanassoulis @manathan1984
473 Followers 209 Following Assistant Professor, Boston University | @BUCompSci | 🇬🇷🇨🇭🇺🇸Nikhil Benesch @nikhilbenesch
416 Followers 166 Following Co-founder and CTO @MaterializeInc. Accidental data enthusiast. Former systems engineer.Richard Artoul @richardartoul
1K Followers 173 Following Co-Founder @ WarpStream Labs. Prev Datadog/Uber. Passionate about distributed storage.Dan Wang @danwwang
40K Followers 367 Following The secure transport of light: Investigating industry and technology at Gavekal Dragonomics and the Yale Law School’s Tsai China CenterAndy Huynh @nd_huynh
111 Followers 160 Following (He/Him) PhD at @BUCompSci with @BU_DiSClab Doing ML for Systems! All opinions are my ownMalte Schwarzkopf @ms705
2K Followers 257 Following Computer systems researcher in the ETOS group (https://t.co/bFs0jj0Hs7). Assistant Professor @BrownCSDept; previously @MIT_CSAIL, @Cambridge_CL.P99CONF @P99CONF
9K Followers 179 Following P99 CONF is the industry event for high performance, low latency, high availability engineering.Jay Kreps @jaykreps
30K Followers 835 Following CEO of @confluentinc (https://t.co/fKQHUe4nIJ). Co-creator of @apachekafka. Sí se puede.@mattgodbolt@hachyder.. @mattgodbolt
15K Followers 2K Following Husband, father, coder, sometime verb, real person. Fond of old hardware. Co-host @twoscp. #BlackLivesMatter. DMs open. @mattgodbolt.bsky.social too He/himDuckDB @duckdb
13K Followers 3 Following DuckDB is an in-process SQL OLAP database management system. "DuckDB" and the DuckDB logo are registered trademarks of the DuckDB Foundation.Kevin Systrom @kevin
137K Followers 85 Following CEO, Artifact. Co-founder and Former CEO, InstagramBrendan L @BelmontDayHOS
211 Followers 663 Following Father, Husband, Head of School, Optimist @belmontday1927 He/Him/HisConor Power @conor_power23
994 Followers 564 Following Berkeley CS PhD student at @ucbrise + https://t.co/jDsPgbj1nT. Former senior SWE on Microsoft Cosmos. Databases 🐘 and distributed systems 🕰️ with some theory 🧮 thrown in.Sujay Jayakar @sujayakar314
329 Followers 495 Following @convex_dev cofounder. easily nerd sniped and okay with it.Vladimir Sitnikov @VladimirSitnikv
2K Followers 187 Following System performance engineer at @NetCrackerTech. I like tuning Java and SQL. Program committee member of @HeisenbugConf #jokerconf @devoopsconf @hydraconferenceJon Masters 🏴�.. @jonmasters
13K Followers 7K Following Troublemaker | Computer Architect | @Arm Servers Architect @Google | Previously @RedHat, @Nuvia_Inc | Runner | Author | All views my own | #ArmServersPaul Borrill @plborrill
1K Followers 3K Following Physicist & CEO of DÆDÆLUS; Join the conversation on our evolving knowledge of the nature of time & causality on his (mostly) weekly podcast "It's About Time."Alex Miller @AlexMillerDB
510 Followers 192 Following All original thoughts occur on @[email protected] instead.Laine Campbell @LaineVCampbell
2K Followers 786 Following Author, Database Reliability Engineering, DB and Ops nerd. Big ol’ cajun queer.Gwen (Chen) Shapira @gwenshap
26K Followers 9K Following Co-founder of @niledatabase. Making SaaS global, elastic and chill. Find me at: https://t.co/uyuHg400cpMichael E. Driscoll @medriscoll
16K Followers 2K Following Founder @RillData, the fastest path to operational BI. Previously founded @Metamarkets, @DCVC, @CustomInk. Lapsed computational biologist.Momento @momentohq
2K Followers 787 Following Simplify your architecture at any scale—so you can get going, and keep going.yukang @cyukang
3K Followers 623 Followingyihong0618 @yihong0618
63K Followers 3K Following 喜欢王小波,大概我们能成为朋友。 我的 2024 https://t.co/HfDF6oduB7 我的 2023 https://t.co/QyV8PiZmOY 我的2022 https://t.co/NLYTn7xtta 我的 2021 我的 2020Toby Mao @Captaintobs
2K Followers 365 Following Cofounder and CTO of Tobiko Data. Building SQLMesh and SQLGlot.David Goldblatt @davidtgoldblatt
1K Followers 422 Following Low-level perf stuff mostly. Working on llvm at Meta these days with a sprinkling of wg14/wg21/sg1, jemalloc, thrift, folly. @[email protected]I'm working on a Delta Lake TLA+ specification today. Mostly done. I suppose I should write a Delta Lake consistency blog post next.
@uvdn7 I think it's based on his talk from JOnTheBeach youtube.com/watch?v=-p0fX1… It should be good to hear updated thoughts, though!
Our work on the SquirrelFS file system in Rust got accepted to #OSDI24! This is work led by @hlebland, joint with @ntalyour and @siderealed. We use the Rust type system to check for crash consistency at *compile time*, eliminating ordering-based crash-consistency bugs.
@uvdn7 @stevenstrogatz Few read today. It’s youtube or google. I noticed my year-12 daughter frustrated with her Calculus assignment - the equations, the drudgery, the mechanics of it all. Then I simply read out loud the chapter on Calculus - the story, its magic. She got an A. This book is rare.
My Dad had his 1st heart attack when he was 35. He changed his lifestyle, became a runner, and ran 5 marathons. To this day at 76 years old he walks 5 miles every single day. He keeps up with his grandkids no problem. He stayed young while his peers got old and sick.
Me after getting two straight rejects in the first round of USENIX Sec on a paper I was pretty sure was amazing
@sunbains @jorandirkgreef Yeah! It's so easy that @jorandirkgreef (who knows everybody) only knows 3 teams that do it... Don't worry, we are making it easier.😉
Are we allowed to add all of our customers?
@sunbains @jorandirkgreef By the way, we did a little pro-bono testing on TiKV back in the day, and were able to find (and deterministically reproduce!) a pretty gnarly thread race. Let us know if you want details.
A lot of people asked us if we’d test their favorite open source project. Okay, fine: antithesis.com/blog/osgp2024/
.@AntithesisHQ is top of my list of interesting startups. Deterministic testing of non-deterministic code plus fault injection & smart fuzzing. Maybe the only group I feel good shilling (w/ no affiliation). After 5 years, they've launched publicly today. antithesis.com/blog/is_someth…
From the creators of FoundationDB comes… Antithesis Deterministic Simulation Testing for the world. Hard to overstate how big this is for distributed systems—DistSys suddenly became easy. antithesis.com/blog/is_someth…
I registered for Linux Open Software Summit at Seattle TLA+ conference is colocated on 1st day, April 15. web.cvent.com/event/c230ddc9… By paying $10 extra, you can register for TLA+ conf, and learn about latest TLA+ work from AWS, Microsoft, MongoDB, Oracle & others ... #tlaplus
"The use of Paxos in this disaggregated architecture demonstrates that there are alternatives that might fit your needs better than the more monolithic Raft." jack-vanlightly.com/analyses/2023/…
@ericniebler I remember our discussions at Zoka. bartoszmilewski.com/2014/10/17/c-r…
@justinjaffray SQL is closer to calculus than algebra. Spark and pandas are closer to algebra than calculus. End of the day it doesn't matter much, thank Codd.
While I was writing the GPU article, I had to review Little's law which comes from queueing theory. I came across an old book which explains queuing theory in the context of computer systems. it is not too math heavy, you can read through it without too many equations. As it's…