
TLA+ & PlusCal
@tlaplus
ID: 26700809
https://lamport.azurewebsites.net/tla/tla.html 26-03-2009 06:15:11
289 Tweet
788 Takipçi
0 Takip Edilen

Henry Robinson
@henryr
Infrastructure @SlackHQ. Distributed systems engineer. I have of late - but wherefore I know not - lost all my data.
Prashant Deva
@pdeva
Geek. I like video games and math. Chief guy @ astradot.com
(╯°□°)╯︵ ┻━┻ ❌
@kevburnsjr
One day, somewhere, somehow, we shall build a place where people can walk and dream for centuries. -- Christopher Alexander
David Clark
@bluedot

@norootcause.surfingcomplexity.com on Bluesky
@norootcause
Lorin Hochstein Student of complex systems failures, resilience eng, cognitive sys eng. Will talk your ear off about @LFISoftware. @[email protected]
svraghavan
@svraghavan
My day job is to do network programming. Love exploring new programming languages. My hobbies are reading, watching sitcoms, solving puzzles.
Martin Kleppmann
@martinkl
Find me at @martin.kleppmann.com on Bluesky, @[email protected] on Mastodon. Author of @intensivedata, Associate Professor @Cambridge_CL. he/him
Denis Rystsov
@rystsov

Tony Bai
@tony_bai
A Programmer
Frédéric G. MARAND | @[email protected]
@osinet
Golang teacher at eemi.com. Author of french Golang book. From Drupal with love, core contributor since 2005. Unrepentant bass player.
Pierre Zemb
@pierrez
🧑💻 Staff Engineer @clever_cloud 🤩 Distributed and Database Systems 🚀 Co-leader @finistdevs 💪 Squash player
Dimitris Dedoussis
@dedoussis
Engineer @stripe, occasional blogger, @imperialcollege alumnus
Tony Casanova
@tonycasanova
Tony Casanova
Bruno Felix
@felix19350
A man without qualities tweeting about stuff, in particular software development. Usual disclaimers apply. Find me on Mastodon: @[email protected]
Mahudeeswaran
@mahudees

Suresh Rangarajulu
@surya501

Murat Demirbas (Distributolog)
@muratdemirbas
MongoDB Research: Distributed {Systems, Databases, Consensus}. Ex-AWS. Ex-Professor @SUNY Buffalo. Opinions my own. Blog at muratbuffalo.blogspot.com
Andrey Satarin
@asatarin
Staff SRE @Google. Distributed systems / databases / reliability / correctness. Views my own. Retweet/like is not an endorsement. asatarin.github.io
Pavel Ajtkulov
@ajtkulov

Pekka Enberg
@penberg
Founder and CTO of @tursodatabase. Interested in low latency, systems, and AI. Ex-@ScyllaDB and Linux.
SelfReliant Life
@selfreliantlife
Collective Self Reliance Talk. Don't put the key to your happiness in someone else's pocket. Entertainment purposes only.
Ser Fil
@spartakos13

0xtakprof
@0xdenniswon
chain architect @magicnewton @magic_labs. founder @l2iterative. prev @alchemyplatforms aa @harmonyprotocol @klaytn_official core protocol, from @meta @stanford
Jayaprabhakar
@jayaprabhakark

Cevat.eth
@_cevatbostanci
Software Engineer
Kevin Cousins
@00caoimhin

Anthony Pandolfi
@anthonypandolfi
This is my twitter. There are many like it, but this one is my own.
Marc Brooker
@marcjbrooker
AI, agents, databases, and serverless at AWS. Views are my own.
Tomasz Uflewski
@definefalsetrue

Jeremy Cheng
@jerrawik

poorlydefinedbehaviour
@poorlydefinedbr
poorlydefinedbehaviour.github.io github.com/PoorlyDefinedB…
Dominik Tornow
@dominiktornow
Founder @resonatehqio | Distributed Async•Await | Thinking in Distributed Systems | dtornow225.substack.com
xiao xiaoei
@xxiaoei9603

星星落在地上
@awkwardly_stiff
read to become / awkward BJJ of a stiff middle-aged man
Ben Mills
@benmill18440036

2BitSalute
@2bitsalute
I like OCaml. Currently Microsoft (O365 Core/Substrate internals), formerly Facebook (Hacklang). I identify as a peacenik
Paul Friedrich Schulz
@pfs1337

Jamie Corkhill
@jcorkhill_
Software Developer.
Irwansyah Irwansyah
@irwansyahi55919

ailocalport
@ailocalport

Bas
@basketticode

younes askour
@younesaskour1
Mekhlou9 men tine, yemken 7it ifri9i
Catarina Ribeiro
@acm_ribeiro

Cosmo Carpincho
@cosmocarpincho
Cosmo El Carpincho
AJ Welch
@ajw0100
@Google. Ex-@CompilerWorks (acquired by Google BigQuery), Chartio (@ycombinator S10, acquired by @Atlassian Analytics).
Alexandros_Tsagkaropoulos
@alextsagkas2001
MSc student specializing in Software Engineering with immense interest in Natural Sciences and Economics.
naresh kumar
@nareshh74

Aaron
@aarondolson
🕰️ to Build, 🏹, Bootstrapped, Pattern Observer,🏃♂️, Web5, Polymath, Nondentity - Data Analyst & Async Remote Work Enthusiast in FinTech & Data Engineering
Daniel (Lobão / D. Wolf) Figueiredo
@lobaorn
Backend Engineer at Trustly | Java and JVM enthusiast. Performance and modernization expert. Run it newer, better, faster, simpler, cleaner. Build it too.
Pierre-Emmanuel PIRNAY
@dakotadunord7

PankajAgarwal
@ipankaj2005
I am a software developer |📚 Tech Enthusiast | . Here to follow my heroes in Java/spring and cloud
perfresq
@perfresq
webcentive.com/perfresq/
FullStackPerfAnalysis
@stackanalysis
Full Stack Performance Analysis
smiley
@smileyforself

alias here
@bertralias
I’m a hard centrist that finds mystical and conspiratorial thinking to be the same low-IQ, delusional oat bag.
ANAND KUMAR RAI
@anandkumarrai51
Building ToyStack AI | @K8SUG India Organizer | @Kubetools Day organiser
Ramneet Singh
@ramneet_singhh
Research Fellow @MSFTResearch India | Ex RA @gatech_scs, (B. + M.) Tech. CSE IITD | PL, Verification and Theorem Proving | Sports + Music + Food (in that order)
Anushka Gupta
@anushka_guptaa
Learning Go! ✨ | Engineer | 21 | Tech & Systems | Product, Business & Books
Kun Huang
@kunhuang433026