A. Jesse Jiryu Davis @jessejiryudavis
Senior Staff Engineer @MongoDB Research. Student at @villagezendo. He/him. Blog, photos: https://t.co/4c97tWxWuP. Mastodon: @[email protected] emptysqua.re New Paltz, NY Joined April 2010-
Tweets10K
-
Followers3K
-
Following636
-
Likes9K
You'll have spiders crawling all over you in no time with this ONE SIMPLE TRICK! Oh boy!
The talk videos from the TLA+ Conference 2024 are being released gradually (which I've been told is for increasing the anticipation and excitement). See conf.tlapl.us/2024/ and youtube.com/playlist?list=… <>[] #tlaplus
Stop. Writing. Bash scripts.
It's always TCP_NODELAY. Every damn time.
Finally sent a Moonboard problem, after many many sessions. This little game is addictive!
I set my Python style to max-columns 120, double-quoted "strings" wherever possible, and I've never been happier.
Submit your papers to the 43rd International Symposium on Reliable Distributed Systems on distributed systems design, development & evaluation, with emphasis on reliability, availability, safety, dependability, security, verification, & real-time aspects srds-conference.org/cf_papers.html
New blog post, looking at the great new paper from the Amazon MemoryDB folks: brooker.co.za/blog/2024/04/2… Much of the discussion on distributed systems is about scalability, but this paper shows how availability, durability, cost, and performance are equally important.
Non-compete agreements are dead! For my whole career, I've thought these were stupid. jabberwocking.com/noncompete-agr…
Holy Cross Monastery in the Hudson Valley. emptysqua.re/blog/holy-cros…
1/ For several years we've been building Forge, a pedagogically-focused tool to teach formal methods. Here's our first write-up! As the name suggests it's a tribute to Alloy, but we're innovating on several fronts: blog.brownplt.org/2024/04/21/for… ↵
The Hudson Valley spring has been wet and dull. The brown leaves are indistinguishable from the brown mud. But occasionally some green struggles through.
[new blog post] TLA+ conference 2024 muratbuffalo.blogspot.com/2024/04/tla-co… #tlaplus
New blog post: "Formal Methods: Just Good Engineering Practice?" brooker.co.za/blog/2024/04/1…
This picture by Dina Litovsky is amazing
Hi! This is a pinned tweet to invite you to check out Quint ✨ Quint is a new specification language based on TLA+, and I have been working on it since 2022. - GitHub repo: github.com/informalsystem… - Telegram group: t.me/quint_lang
[new blog post] Chardonnay: Fast and General Datacenter Transactions for On-Disk Databases (OSDI'23) muratbuffalo.blogspot.com/2024/04/chardo…
Oops I did it again 🤭 #TotalSolarEclipse
That was UNREAL! Total #solareclipse timelapse from Burlington, VT. Watch the darkness roll in from Lake Champlain.
Wait, Redis is pronounced “reed-is”? I’ve been saying “red-is” the whole time!
Marc Brooker @MarcJBrooker
17K Followers 748 Following AI, databases, and serverless at AWS. Views are my own. On Mastodon: @[email protected]
Dominik Tornow @DominikTornow
7K Followers 480 Following Founder @resonatehqio | Distributed Async•Await | Thinking in Distributed Systems | The Weekend Read
Murat Demirbas (Distr.. @muratdemirbas
9K Followers 237 Following MongoDB Research: Distributed {Systems, Databases, Consensus}. Ex-AWS. Professor @SUNY Buffalo. Opinions are my own. Blog at https://t.co/IqZPhhtcCC
Phil Eaton @eatonphil
18K Followers 560 Following Working on @EDBPostgres. Mostly databases, distributed systems, books, and cooking. 💍🇰🇷
Alex P @ifesdjeen
12K Followers 1K Following Distributed and Storage Systems. Apache Cassandra Committer and PMC member. Author of Database Internals @therealdatabass. Discord: https://t.co/8LwhZom9eQ
Joran Dirk Greef @jorandirkgreef
4K Followers 1K Following Founder & CEO of @TigerBeetleDB — the distributed financial transactions database designed for mission critical safety and performance.
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/him
Andrey 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/UI9PS85Pr5
Aleksey Charapko @AlekseyCharapko
2K Followers 188 Following Assistant professor of computer science @UofNH. ex-Microsoft. Interested in everything distributed/cloud/edge
Mike Driscoll @driscollis
118K Followers 1K Following I tweet about everything #Python Writing about Python @mousevspython @realpython Teaching at @TeachMePy Author of multiple books - https://t.co/MdP25zw5zQ
Charity Majors @mipsytipsy
81K Followers 509 Following cofounder/CTO @honeycombio, co-author of Observability Engineering and Database Reliability Engineering. I test in production and so do you. 🐝🏳️🌈🦄
Sheau @Sheau250682
2 Followers 373 Following
Iman Tumorang @bxcodec
385 Followers 382 Following Software Engineer and Blogger | Open Source Enthusiast | Startup Enthusiast | Staff Engineer at @xendit_co
Seighs @seighs8596
180 Followers 3K Following
Lillie-mae Lob @mae_lob56145
89 Followers 5K Following
After Dinner Conversa.. @AfterDinnerCon
34K Followers 33K Following Philosophy | Ethics Short Story Literary Fiction Publisher. Top 10 (Chill Subs) LitMag 2023, books, & podcasts. $ subscriptions (& Patreon) pay writers.
TOCTOU | stevelauc@ma.. @SteveLauC
1K Followers 685 Following Don't quit your daydream / 你好哇👋，我是 Steve。喜欢😺写代码看落日体验人间！无聊生活推主一枚🤪 / let mut op = Opinions::own() / Never panic!()
Lily-grace Oates @LilyOates6940
123 Followers 5K Following
Yingjian Fu @yingjianfu
21 Followers 567 Following
Telim @nabla3110
82 Followers 92 Following 混吃等死人 | 我的失败，令人震惊！| 生态化反，让我们一起为梦想窒息！| Money Is All You Need
Arioston @ariostonj
114 Followers 1K Following
Margene Seilheimer @MSeilheime67943
96 Followers 5K Following
Annabel Rotenberg @AnnabRotenbe
67 Followers 5K Following
Karthik Ravikanti @plumenator
395 Followers 5K Following Rust at $job, Rust and Haskell at home. Opinions my own. Also at @[email protected] @[email protected] @[email protected]
JennyGibson @8lvb8MEQ7rtjNaf
2 Followers 450 Following
Tuslea @tuslea42264
0 Followers 421 Following
Manoj Narayanan @manupatteri
109 Followers 558 Following Software Engineer @PayPal. Used to do Monitoring and Logging at work. Database enthusiast. Disclaimer: Views are strictly personal.
Jaycee Narkevicius @JayceeN38539
103 Followers 5K Following
Thanh Tocher @thanh_toch
51 Followers 5K Following
Lyla-grace Smitherman @LylaSmithe44482
100 Followers 5K Following
Ava-rose Shauger @AvaShauger88908
88 Followers 5K Following
Bao Coghill @coghi_b
34 Followers 5K Following
Yuk Dichristopher @YDichristophe
60 Followers 5K Following
Jasmin Jobson @jobs_jas
17 Followers 3K Following
Jill Ledley @JiLedl
65 Followers 5K Following
gwangsu @gwangssu
81 Followers 1K Following software engineer, gamedev, distributed systems, craftsmanship
Aaditya ; @Aaditya26082004
564 Followers 7K Following CS'26 • Machine Learning • Open-Source • Web Dev. • Algorithms • Jai Shree Krishna 🦚🪈
Edin Strangstalien @strangstal7025
94 Followers 5K Following
David Regalado @thecodemancer_
2K Followers 4K Following - VP of Engineering @ Stealth Startup - Founder @DataEngiLatam - Mentor #ArtificialIntelligence #AI #datascience #dataengineering
Shanaya Heffelfinger @ShanayaHef23369
30 Followers 2K Following ⚡Shanaya 22 Earn your own Crypt$ casino👇🐋
Miriam Blacksher @BlacksherM86075
87 Followers 5K Following
Zara Juriga @ZJuriga97382
42 Followers 5K Following
Alberto Rolle @AlbertoRolle1
99 Followers 1K Following
Sanda Siebers @san_sieb
63 Followers 5K Following
Vog_ueVagabond @uevagabond81121
5 Followers 555 Following
Saara Pamintuan @SaaPamint
95 Followers 5K Following
Councilman Patrick @real_IanPatrick
509 Followers 324 Following Councilman in Harrisburg. CBJ 40 under 40. Business Owner. Architect. Interested in politics, philosophy, policy, and wildly inappropriate jokes.
Nguyen Hoa @NguyenHoaKHTN
79 Followers 640 Following
Gergely Orosz @GergelyOrosz
250K Followers 2K Following Writing @Pragmatic_Eng, the #1 technology newsletter on Substack. Author of @EngGuidebook. Formerly Uber & Skype.
Kelsey Hightower @kelseyhightower
238K Followers 40 Following Minimalist DMs are now closed. Just email me: [email protected]
Cindy Sridharan @copyconstruct
39K Followers 171 Following
Andy Pavlo (@andy_pav.. @andy_pavlo
29K Followers 205 Following Associate Prof. of Databases @CarnegieMellon. Co-Founder @OtterTuneAI
Marc Brooker @MarcJBrooker
17K Followers 748 Following AI, databases, and serverless at AWS. Views are my own. On Mastodon: @[email protected]
Dominik Tornow @DominikTornow
7K Followers 480 Following Founder @resonatehqio | Distributed Async•Await | Thinking in Distributed Systems | The Weekend Read
Murat Demirbas (Distr.. @muratdemirbas
9K Followers 237 Following MongoDB Research: Distributed {Systems, Databases, Consensus}. Ex-AWS. Professor @SUNY Buffalo. Opinions are my own. Blog at https://t.co/IqZPhhtcCC
Phil Eaton @eatonphil
18K Followers 560 Following Working on @EDBPostgres. Mostly databases, distributed systems, books, and cooking. 💍🇰🇷
Alex P @ifesdjeen
12K Followers 1K Following Distributed and Storage Systems. Apache Cassandra Committer and PMC member. Author of Database Internals @therealdatabass. Discord: https://t.co/8LwhZom9eQ
🔎Julia Evans🔍 @b0rk
209K Followers 643 Following programming and exclamation marks. she/her. zines at https://t.co/Rl14X28NuU. mostly posting on Mastodon at https://t.co/HTBbL2lnZr
Joran Dirk Greef @jorandirkgreef
4K Followers 1K Following Founder & CEO of @TigerBeetleDB — the distributed financial transactions database designed for mission critical safety and performance.
Camille Fournier @skamille
50K Followers 831 Following Distributed systems, dysfunctional programming, and all that management gobbledegook. Author, “The Manager’s Path." she/her. https://t.co/Uk9L1X9GeE
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/him
Patrick McKenzie @patio11
165K Followers 798 Following I work for the Internet and am an advisor to @stripe. These are my personal opinions unless otherwise noted.
ahmetb @ahmetb
41K Followers 165 Following ᯅ software engineer, compute infrastructure and fleet orchestration @LinkedIn. distsys enthusiast. ex-(@twitter, @googlecloud,@azure) https://t.co/9wQqtxMH5n
Jack Vanlightly @vanlightly
3K Followers 218 Following @confluentinc thinking about event streaming. Previously @Splunk, @VMware @[email protected] Credit: ESO/B. Tafreshi (https://t.co/DvCarvC9L3)
GitHub @github
2.6M Followers 345 Following The AI-powered developer platform to build, scale, and deliver secure software.
Andrey 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/UI9PS85Pr5
Richard Hanania @RichardHanania
101K Followers 229 Following President, @CSPICenterOrg. Former @UTAustin, @ColumbiaSIPA. Post pictures from books. Subscribe at https://t.co/32YL6Mtg2D
Cjen1 @ChrisJe34211511
160 Followers 33 Following A slightly distributed PhD student. Github: https://t.co/kPUJZjECRN
Ash @edweirdsnowman
175 Followers 57 Following Blog: https://t.co/mmsYFU1wHW Lots of projects: https://t.co/8aNhLG94RB Full-time at https://t.co/v01DlteG7t
Alex Gruver @Alex_Gruver1
452 Followers 25 Following Co-founder at https://t.co/aW1pe2MaPJ with @stephen_zerfas
Stephen Zerfas @stephen_zerfas
2K Followers 272 Following Curious guy, grateful meditator, software engineer. Cofounder of https://t.co/l16gwIQ6X5 (@jhanatech) with @Alex_Gruver1
Blueprint @Blueprint_2024
428 Followers 269 Following Blueprint is a new public opinion research initiative designed to take a sober, detailed look at what Democrats need to do to win in 2024
Oli Scarff @oliscarff
4K Followers 883 Following Mainly an obsessive AFP photojournalist. Studied maths at uni but I'm rehabilitated now. Generally happiest in the hills but bakeries come a close 2nd.
Juffrouw Jo Hedwig Te.. @JoHedwig
4K Followers 643 Following Historian, expert on daily life in 1930s & 40s, middle ages & crime. Archaic. Rude people are ignored or slapped. Be civilised. Be decent. I am @fakehistoryhunt
Carlos Baquero @xmal
3K Followers 4K Following Professor @feup_porto and researcher @inesctec. Distributed Systems and Data. Co-creator of CRDTs. Still searching for unknown unknowns
MicroRaft @microraft
42 Followers 4 Following MicroRaft is an open-source implementation of the Raft consensus algorithm in Java.
Councilman Patrick @real_IanPatrick
509 Followers 324 Following Councilman in Harrisburg. CBJ 40 under 40. Business Owner. Architect. Interested in politics, philosophy, policy, and wildly inappropriate jokes.
Granite Mtn. Movie Cl.. @gran1te_mtn
12K Followers 532 Following I do a podcast about movies (link below, pls subscribe). I mostly post about film and culture from the right.
DBOS, Inc @DBOS_Inc
222 Followers 1 Following Born from research at MIT and Stanford, DBOS is revolutionizing the way people build cloud-native TypeScript applications - transactional serverless computing.
Chicago’s Food Bank @FoodDepository
15K Followers 1K Following Providing food for those in need now and working to eliminate the root causes of hunger in our community. #EndHungerNow
Larry Diehl @larrytheliquid
795 Followers 533 Following Founder @Colimit_io. Former Director of Programming Languages @SymbiontIO, postdoc @uiowa and PhD @Portland_State.
Jhourney @jhanatech
3K Followers 283 Following Data-driven education for blissful meditation. Check out our upcoming meditation retreats -- IRL and Online, accessible globally
P░pp░n B░rr @pippinbarr
7K Followers 438 Following Games like Super Mario Nothing and v r 3. Books like The Stuff Games Are Made Of. Co-host of GAMETHING. Professor of Computation Arts at Concordia University.
TigerBeetle @TigerBeetleDB
5K Followers 1K Following The distributed financial transactions database designed for mission critical safety and performance. Join the chat! https://t.co/qHVNiRtyzw
depths of wikipedia @depthsofwiki
889K Followers 4K Following Hello I am @anniierau Please take away my blue check! I did not ask for it!
Awareness Shop @AwarenessShop
131 Followers 59 Following The original one-stop metaphysical store. Follow us for #Wicca, #Tarot, #Magick & more!
Tom Picasso @tompicasso
189 Followers 449 Following Senior Manager of Creative and Community Partnerships at Seek Common Ground. Audiobook Narrator, photographer & theatre artist.
Republic of Kiribati @KiribatiGov
48K Followers 694 Following Diplomatic dispatches from the Government-in-Exile. 𝓢𝓲𝓬 𝓖𝓸𝓻𝓰𝓲𝓪𝓶𝓾𝓼 𝓐𝓵𝓵𝓸𝓼 𝓢𝓾𝓫𝓳𝓮𝓬𝓽𝓪𝓽𝓸𝓼 𝓝𝓾𝓷𝓬
Zotero @zotero
45K Followers 99 Following I’m the free, easy-to-use tool that helps you collect, organize, annotate, cite, and share your research sources. @[email protected]
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.
Craig Alfieri @Alfieri_Craig
53 Followers 300 Following Autonomous Testing Sherpa & Hypervisor Hype-man 📣 | On a journey to making software/systems testing better one fault at a time.... (Tweets are my own)
Protty @kingprotty
2K Followers 63 Following Program Optimizer. @ziglang core team member. @TigerBeetleDB database/concurrency person. my github name on hachyderm
Resonate HQ @resonatehqio
604 Followers 0 Following Resonate HQ, Inc • Distributed Async Await • Dead Simple 🏴☠️ https://t.co/zzvAiiXqyG 💬 https://t.co/apGYeEYq70 ⭐️ https://t.co/RjJNFgGjJy
Michael Gasch 🇩�.. @embano1
3K Followers 400 Following „To enlighten me more, What holds the world together at its innermost core“ - Faust, J. W. Goethe 🏢 PM @AWS #EventBridge. All opinions shared here are my own.
Nathaniel Rakich @baseballot
61K Followers 3K Following Senior editor and senior elections analyst @FiveThirtyEight. Don't call me Nate!
Hudson Valley Weather @HudsonValleyWx
10K Followers 2K Following Official Twitter for Hudson Valley Weather -Founded Jan 7th 2011- Ulster,Dutchess,Columbia,Greene, Delaware,Orange,Putnam,Sullivan, Westchester,Rockland
Radiolab @Radiolab
265K Followers 1K Following Where deep-dive journalism, storytelling and sound design meet. Hosted by @lmillernpr and @latifnasser. Find us on Mastodon: @[email protected]
Latif Nasser @latifnasser
78K Followers 5K Following nerdy writer type. mostly harmless. co-host, wnyc's @radiolab. host, #theotherlatif and #connectednetflix
𝔊𝔴𝔢𝔯𝔫 @gwern
42K Followers 88 Following Internet besserwisser; pedantic, mean reply guy. 𝘞𝘢𝘵𝘢𝘴𝘩𝘪 𝘬𝘪𝘯𝘪𝘯𝘢𝘳𝘪𝘮𝘢𝘴𝘶! (Follow requests ignored due to terrible UI.)
Tess Rinearson @_tessr
48K Followers 2K Following product at @OPLabsPBC • previously crypto lead at @twitter • @[email protected]
Jacques @JacquesThibs
3K Followers 918 Following AI risk reducer, alignment-accelerationist working to create a future where humanity can flourish even more. 🇨🇦
Tech for Campaigns @Tech4Campaigns
4K Followers 2K Following Using digital, messaging and technology tools to build electoral power for Democrats in swing states with local and national implications. 👩🏼💻🌊🇺🇸
oliver.mannion @tweeshan
320 Followers 2K Following Software, machine learning and people. Good at reading your tweets. Likes are bookmarks. 🥜🍄🥚
Paul Nowoczynski @00pauln00
143 Followers 451 Following Distributed Storage Systems for HPC; Infinite Memory Engine Inventor; Pitt Info Science; FinTwit follower for fun; enjoy bowling, guitar, & cycling
Database Internals Bo.. @therealdatabass
4K Followers 1 Following Database Internals book by @ifesdjeen, published by @OReillyMedia Discord: https://t.co/o1CnTcIX9J Errata: https://t.co/nxjS1MdLBG
Disseminate: The Comp.. @DisseminatePod
383 Followers 180 Following Interviews with Computer Science researchers about their work. Hosted by @jwaudberry. Listen on Spotify, Google, Apple, and YouTube.
v @iavins
4K Followers 2K Following breaking databases @tursodatabase. W1 '21 @recursecenter excited about databases, storage engines and message queues
Eoin Brazil @eoinbrazil
2K Followers 5K Following MSC, PhD (CS). Staff Engineer @mongodb formerly @tssg_wit @ichec @idc_ul, Father and Rugby fan. He/Him. These are my own views! @[email protected]
Thread of surreal sculpture details 🧵 1. Water flowing over toes
And the playlist of all the (excellent) talks is here: youtube.com/playlist?app=d…
@eatonphil Oh wow, another database. I learned about 3 new databases this week and it’s only Monday.
@Helenreflects This proves one thing. Roman keyboards did not have a spacebar.
I found a real trashy spider the other day. It's a trashline orbweaver! These are easily distinguished by the unique way they decorate their webs. What fun!
You'll have spiders crawling all over you in no time with this ONE SIMPLE TRICK! Oh boy!
The talk videos from the TLA+ Conference 2024 are being released gradually (which I've been told is for increasing the anticipation and excitement). See conf.tlapl.us/2024/ and youtube.com/playlist?list=… <>[] #tlaplus
Still dialing in the fly cutter, and got this cool illusion. Looks like a piece of glass or ice, but it's just the surface of a solid piece of metal.
"May thy range split and scatter" - Paul Muad'DB Atreides
It's finally time for me to learn VSCode. If you're a VSCode user and want to pair with me in a couple weeks when I'm back from a no-computer vacation let me know!
I’m all for new tent encampments, but before you build them you should need to engage with the stakeholders in a series of community meetings, have some design review, and ensure that the tents align with the existing character of the community.
Finally amazing weather in Buffalo! It’s a t-shirt day.
"Do stuff and then blog about it" remains one of the most underrated pieces of career advice
An absolutely fantastic way to increase this is to start a blog. Almost all the cool fun stuff in my professional life for me has come from doing stuff then blogging about it. henrikkarlsson.xyz/p/search-query
@eatonphil Testing it with e.g. Hypothesis sounds like a great idea to me. Haven't done that particular combo myself, but other similar cross-language testing setups.
In the past, I used gtest for C code. Works ok but cmake and C++ are sort of overkill, and not high level. Next time I unit test C code I'd probably write the unit tests in Python. Here's a nice article on the idea. What has been your experience? p403n1x87.github.io/running-c-unit…
Here's a puzzler from my daughter's maths homework.
@thingskatedid There is, but since you want your ur problem listened to and not fixed, I will be a good listener and not tell u how 😌 (Joking if that isn't clear)
does this website have a way where you can complain about stuff without people trying to fix it for you? this is culturally important for me as a british person. maybe in the language settings
Trends for United States
You might like
