
Artem Pianykh
@artem_pianykh
Static analysis & compilers at Меtа
threads.net/@artem.pianykh
ID: 267964260
https://github.com/artempyanykh 17-03-2011 22:15:59
2,2K Tweet
459 Followers
134 Following

🔎Julia Evans🔍
@b0rk
find me on Mastodon or Bluesky
Pierre Ricadat
@ghostdogpr
Software Architect | Scala Lover | Creator of Caliban and Shardcake
Wez Furlong
@wezfurlong
Creator of WezTerm. 💓🦀 Ex-Meta (Creator of Watchman and EdenFS). Ex-Message Systems. PHP internals alum. fosstodon.org/@wez
Alan Zimmerman
@alan_zimm
Long term hacker @[email protected] on fediverse
Kevin Bourrillion
@kevinb9n
Java Platform Group @ Oracle (that's new!). Xoogler. jspecify.org. Past: Guava, Guice, AutoValue, google-java-format, Error Prone, Google Java Style Guide
Chet Husk
@chethusk
Functional Programmer. .NET SDK/MSBuild/Templating PM @microsoft. @IonideProject contributor. :heart: F# on Linux. he/him. @[email protected]
David Soria Parra
@dsp_
Co-Creator of modelcontextprotocol.io. Member of Technical Staff @AnthropicAI. Ex-Meta. Playing with computers and tech. nullptr.rehab
Leandro
@leostera
staff eng / pm working on the #ocaml ecosystem moved to bsky.app/leostera.com 🦋
Ezgi
@ezgicicek
⚓ London, tweets 🇬🇧🇹🇷🇩🇪 by day, catching bugs in programs & by night, in myself Previous life: PhD in PL @mpi_sws. #direnezgi
Dan Luu
@danluu
Active on mastodon.social/@danluu; also trying out bsky.app/profile/da. No longer read replies or notifications here now that tweetdeck is gated.
Manu Sridharan
@rakingleaves
Professor @UCR_CSE doing research in programming languages and software engineering. discuss.systems/@manusridharan BSky: @manu.sridharan.net
Charlie Marsh
@charliermarsh
Building @astral_sh: Ruff, uv, and other high-performance Python tools. Prev: Staff engineer @SpringDiscovery, @KhanAcademy, BSE @PrincetonCS.
IntelliJ IDEA, a JetBrains IDE
@intellijidea
The IDE for Pro Java and Kotlin Development, by @JetBrains Tips: #IntelliJIDEATips New Features: #NewInIntelliJIDEA Our YT channel jb.gg/video
Don Syme
@dsymetweets
Find me elsewhere. linktr.ee/dsyme
Nadav Rotem
@nadavrot
Engineering director at Facebook. Interested in systems, compilers, ML, performance, and other stuff. 🇮🇱
Stephen Wolfram
@stephen_wolfram
Creating ideas, technology, science, companies, books, ... #WolfLang #WolframPhysics #WolframAlpha #Mathematica @WolframResearch
Wilfred Hughes
@_wilfredh
Programming language development, human factors, and a healthy dose of Emacs. Also mastodon.social/@wilfredh and threads.net/@wilfred.hughes
Yaron (Ron) Minsky
@yminsky
Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social threads.net/@yaronminsky
Jeremy Siek
@jeremysiek
Prof. at IU, dad, runner, cook, programming language design, gradual typing, generic programming, type systems, mechanized proofs. @[email protected]
Ilya Klyuchnikov
@lambdamix
Software Engineer at Meta
François Chollet
@fchollet
Co-founder @ndea. Co-founder @arcprize. Creator of Keras and ARC-AGI. Author of 'Deep Learning with Python'.
Shhhhh
@polly_brewer
МГУ finished, Power BI fan, stonks traider, cat lover
F# Londoners
@fsharplondon
The twitter account of the F# London meetup group Learn F# at fsharp.org @[email protected]
Sergey Ryabov
@colriot
Applied AI at @Tiny_Fish. Previously Infra, Android & Kotlin at @Meta | Kotlin User Group SPb, Android Academy SPb & Msk | Speaker, Digital Nomad
Sergey Tihon has gone to BlueSky
@sergey_tihon
I've gone to BlueSky: bsky.app/profile/sergey…
Bryan Cantrill
@bcantrill
Co-founder and CTO of @oxidecomputer. According to @fieldofschemes, "tech exec and Oakland A's fan" -- but more of a Ballers fan now. @bcantrill.bsky.social
John Carmack
@id_aa_carmack
AGI at Keen Technologies, former CTO Oculus VR, Founder Id Software and Armadillo Aerospace
Brian Gesiak
@modocache
Compiler and programming language engineer. Contributor to LLVM, Clang, Swift, Move, and Mojo. He/Him.
Stephen
@stephenmagill
VP of Product Innovation at Sonatype. Founder of MuseDev. @CSDatCMU PhD. Computer science researcher.
Tzvetan Mikov
@tmikov
Not my employer's opinions. Facebook, Working on Static Hermes - a native AOT JavaScript compiler, previously Bloomberg L.P. tmikov.blogspot.com
:party-corgi:
@chrisbiscardi
Learn Rust: rustadventure.dev
Jeff Horwitz
@jeffhorwitz
Reachable via non-Meta owned devices on cell/Signal at (202) 480-4453. Also at jeffhorwitz.com.
Justine Tunney
@justinetunney
I built a C library that lets you compile 12kb static binaries that run natively on Linux, Mac, Windows, FreeBSD, OpenBSD, NetBSD and BIOS using just GCC/Clang.
Nick Benton
@systemfomega
Unpredictably impredicative
Sergey Kintsel
@serjonya1
Software Engineer @trilitech
Anton Sviridov
@velvetbaldmime
Experienced typewriter operator. I do programming things.
Scala
@scala_lang
Official account of the Scala Programming Language, developed at @epfl by @odersky, and maintained by Scala Center, LAMP, @Lightbend, and @Virtuslab
Taya
@lazy_lantern

Ulugbek Abdullaev
@ulugbekna
I work on vscode and copilot chat @microsoft. Opinions are my own. Also contribute to the OCaml Language Server (ocaml-lsp) & vscode extension "OCaml Platform"
LLVM Weekly
@llvmweekly
Find me on Mastodon/Bsky. ~~A weekly email newsletter on developments in LLVM, Clang and related projects. Curated by @asbradbury~~
Avik Chaudhuri
@__avik
Creator of @flowtype. Hacker on @PyTorch compiler. ML explorer. Rusty PL researcher. Amateur chef. Soccer dad. Blogging at mathydad.wordpress.com
sabine 🐫🦀 / 'use ocaml';
@sabine_s_
show me OCaml | an OCaml.org maintainer | RFC 3339 dating coach | maybe not a sith lord | former overqualified señor meme developer | 5€ VPS kid
Angel Muñoz 🦔 🦋
@angel_d_munoz
One of the 12 F# devs in the world, and after 9 years of JS (as of 2024) for food I recently switched to Kotlin for food :) linktr.ee/angel_d_munoz
KC Sivaramakrishnan
@kc_srk
Profing @iitmadras. CTO @tarides_. Trustee mmht.clinic.
Kit Langton
@kitlangton
Over 9,000x Developer
Satnam Singh
@satnam6502
Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}
Google Research
@googleresearch
This account has been renamed. Follow @GoogleAI for the latest updates from Google.
Jeff Dean
@jeffdean
Chief Scientist, Google DeepMind & Google Research. Gemini Lead. Opinions stated here are my own, not those of Google. TensorFlow, MapReduce, Bigtable, ...
Software Misadventures Podcast
@swmisadventures
A podcast about not just the technologies, but the people and the stories behind them. Hosted by @RonakNathani and @guangy20.
The Grug Brained Developer
@grugbraineddev
complexity very, very bad grugbrain.dev
Tarides
@tarides_
We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫
Mosquito Capital
@mosquitocapital
SRE, hype skeptic. Sometimes write at mosquito.capital
Aaron Alshan
@aaronalshan
Head of Distributed Machine Learning Infrastructure @ Yandex
Ákos Hajdu
@himynameisakos
Working on static/dynamic program analysis @WhatsApp @Meta 🖥️ 🇬🇧 PhD from @ftsrg_bme 🎓 🇭🇺 Former intern at @SRI_Intl 🇺🇸 & @CERN🇨🇭
OCamlLabs
@ocamllabs

reibitto
@reibitto
Software developer #Scala #Haskell #FP Also love games and learning languages. Same handle on those "other apps" if you want to add me.