Vladimir Matveev @v2_matveev
now: Instagram ML Infra. past: IG Cinder (https://t.co/qwYnTxMQbY), Facebook Hacklang, TypeScriptLang dev, F# team member v2matveev.blogspot.com Joined December 2008-
Tweets830
-
Followers518
-
Following322
-
Likes334
The Meta layoffs hit a couple of very strong perf engineers I want to recommend, with particular expertise in low-level optimization, scheduling, and concurrency. If you're hiring in those areas please DM me for details.
My team at Meta -- which lowers costs and improves decision making of other teams -- has been disbanded as a cost cutting measure, part of the 11K employees laid off yesterday. I'm fine, and not looking for work right now. I am however very concerned for my team.
Обращение к беларускому народу: многие из вас пошли на огромный риск в борьбе за свободную и демократическую Беларусь. Теперь вы выступаете против войны России в Украине и решения Лукашенко поддержать Москву. Спасибо за вашу храбрость. ЕС вместе с вами #StandWithUkraine #нетвойне
I'm delighted that Excel now supports first-class, lexically scoped lambda-expressions. Excel just became a Turing-complete programming language! microsoft.com/en-us/research…
March to commemorate the victims of Stalin-era repressions was met by Stalin-like repressions by Lukashenko's regime. Earlier the regime arrested people who commemorated the victims of Holocaust. #Belarus
March to commemorate the victims of Stalin-era repressions was met by Stalin-like repressions by Lukashenko's regime. Earlier the regime arrested people who commemorated the victims of Holocaust. #Belarus
🥳🎉 TypeScript 4.0 is here! 🎉🥳 Read up on what's new and get it today! devblogs.microsoft.com/typescript/ann…
The F# community has had many members from Belarus over the years, including some of the most consistent and steadfast contributors to the community. The safety of these people, their families and those of many others I've come to know over the years is in serious jeopardy.
Happy fourth of January. Here is the fourth part in the "Polygons of Another World" series. This entry is about the PC DOS version: fabiensanglard.net/another_world_…
TypeScript turned 7 today! 🎂🎉 What better way to celebrate than with the TypeScript 3.7 beta? Now with... ➡ Optional Chaining ➡ Nullish Coalescing ➡ Assertion Functions ➡ Smarter Flow Analysis ➡ declaration + allowJs and more! devblogs.microsoft.com/typescript/ann…
Big new breaking changes are coming in Typescript 3.7 to get ready for the class fields feature in Ecmascript. If you have a big OO code base you'll want to try out these two PRs NOW. Explanation follows. github.com/microsoft/Type… github.com/microsoft/Type…
Registration for 2019 PLEMM, BigCode, and P&P Workshop now open. research.fb.com/blog/2019/07/r…
It is with great sadness that I share news of Joe Armstrong's passing away earlier today. Whilst he may no longer be with us, his work has laid the foundation which will be used by generations to come. RIP @joeerl, thank you for inspiring us all.
A great chance to work with a fantastic team :)
A great chance to work with a fantastic team :)
Very excited that Facebook has just become a Principal Sponsor of the Python Software Foundation: python.org/psf/sponsorshi…
Some thirty five years on, the original source-code for MS-DOS 1.25 and MS-DOS 2.0 is on Github, and there are already pull requests. 😂 github.com/Microsoft/MS-D…
Are you craving those good old "Channel 9"-style conversations about programming languages and compilers? Come to PLEMM in SEA on May 17 & 18 and experience the awesomeness again. Sign up via [email protected] or DM @headinthebox directly.
@headinthebox I had a misty eye when reading your tweet... what I saw was the promotion of FLEMM. Had to clean up and check again, then laugh for a bit
TSConf is coming to Seattle in 2018! Join the #TypeScript community for a conference focused completely on TypeScript! tsconf.io #TSConf #TypeScript @typescriptlang #iHeartTypeScript
The first TypeScript demo. medium.com/@lukeh/the-fir…

Sergey Tihon has gone... @sergey_tihon
4K Followers 491 Following I've gone to BlueSky: https://t.co/8P6Lb455s0
Isaac Abraham @isaac_abraham
7K Followers 3K Following Author of "Get Programming with F#" and "F# in Action". Founder of @compositionalit. .NET MVP. Azure. Guitar. Tottenham. Creator of 2-line PRs. British / German
Tomas Petricek (find ... @tomaspetricek
9K Followers 933 Following Assistant prof @matfyz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at @UniKentComp and @Cambridge_CL
♦ ereliuer eteer �... @ereliuer_eteer
4K Followers 628 Following
Rick @rickasaurus
10K Followers 3K Following 2x Dad, AI Old-Timer, FP Enjoyer, Math for Fun, Startup Leadership Roles in: Fintech, Healthcare, RegTech, Biotech. B2B, B2B2C, Successful Exit CTO.
Adam Granicz @granicz
2K Followers 1K Following CEO, IntelliFactory - Your Functional Experts, Caltech CS
Scott Wlaschin @ScottWlaschin
11K Followers 2K Following I believe that solutions emerge from the judicious study of discernible reality. @ScottWlaschin on fosstodon and bsky
Kirill Osenkov 🇺�... @KirillOsenkov
9K Followers 505 Following Developer tools at Microsoft. .NET, C#, Roslyn, Visual Studio, Editor, WPF, MSBuild, MEF. https://t.co/oznJRNdBWD
Jack Fox @foxyjackfox
2K Followers 2K Following Urbit maximalist Developing Obelisk, the time-travelling RDBMS for Urbit https://t.co/tn8lY1ehCT
Rob Palmer @robpalmer2
10K Followers 2K Following JavaScript Infrastructure & Tooling at Bloomberg. Co-chairing @TC39. Likely to tweet tech stuff about JS & software performance. Opinions are my own.
Oleg Tkachenko 🇺�... @olegtk
519 Followers 328 Following Principal Software Engineer on the Microsoft @VisualStudio team. Ukraine (Luhansk)🇺🇦→Israel🇮🇱→US🇺🇸. Opinions are solely mine.
Bastien Gares @bastiengares
3K Followers 7K Following ML Engineer | Data Scientist @ Orange | Student @ Mines Paris PSL Executive Education & DataScientest | alumni MSc Computer Science @ Supinfo | math python rust
2BitSalute @2BitSalute
379 Followers 543 Following I like OCaml. Formerly Microsoft (O365 Core/Substrate internals), Facebook (Hacklang). I identify as a peacenik
🔮 KNO/WHY 🔮 @ProjectKnoWhy
3K Followers 1K Following PRODUCER | DJ | Founder of “Feeding Back Tuesday” MGMT: [email protected] ☠️Las Vegas, NV☠️
Sami Gülen @SamiG42
53 Followers 4K Following
furkanonder @fsyscall
3K Followers 163 Following @thepsf Triage Member | Focusing on CPython #LKD #Python #ArchLinux #Django #eBPF
basarat @basarat
11K Followers 4K Following Microsoft #MVP for #TypeScript 🌹 && YouTube https://t.co/ybRmGEoGIV && Pro Courses https://t.co/VqwLGxfufo && Discord https://t.co/7Ru2NT2xQk
Andrew Branch @atcb
3K Followers 646 Following Working on TypeScript at Microsoft. I appear when someone says “module resolution” three times in the dark. He/him
Jesus Graterol @jesusgrat_dev
372 Followers 3K Following Experienced Web Developer specializing in scalable, high-performance solutions, including web apps, RESTful APIs, and database architectures.
Edguimar Seixas @EdguimarSeixas
154 Followers 2K Following ex-comunista, cristão praticante, anti samba, pagode, rap, funk e favelas : Pró bombardeamento de todos locais onde só nasce PCC e CV.
Kasperi Apell @kasperiapell
131 Followers 144 Following SWE. Previously Applied Mathematics at University of Helsinki.
Bert Maher @tensorbert
3K Followers 342 Following I’m a software engineer building high-performance kernels and compilers at Anthropic! Previously at Facebook/Meta (PyTorch, HHVM, ReDex)
Nadav Rotem @nadavrot
4K Followers 414 Following Engineering director at Facebook. Interested in systems, compilers, ML, performance, and other stuff. 🇮🇱
user @bob660651
7 Followers 309 Following
Mark Stanford @1mark344
728 Followers 5K Following I am a mysterious man who would help you if I could.
egil @IDontStalk
31 Followers 1K Following
shzmwfgwzf @asnawysl
120 Followers 4K Following Charity Volunteer, Buddhist Believer, Help those who are struggling in life and God will bless you
apardoe 🐀 @apardoe
798 Followers 1K Following Transportation is a housing problem. Housing is a transportation problem.
Backed By Blue (ex-FB... @BackedByBlue
871 Followers 4K Following An angel syndicate and entrepreneurial community led by current and ex-FB employees to launch, support, and invest in startups. Join us!
Andrei Pechkurov @AndreyPechkurov
1K Followers 633 Following Top data race and segfault producer in the room.
Matt Page @void_star
134 Followers 628 Following “We have outsmarted ourselves, like greedy monkeys, and now we are full of dread.”
岳撼🌻 @biesnecker
1K Followers 692 Following
Maribel Arenas @maribelarenasv
426 Followers 2K Following Periodista extremeña con un pedacito del corazón en América Latina. Escribo en @EP_Extremadura. Antes en @EFEnoticias con #EFElaCaixa y @ObservadorUY
Joseph Musser @jnm236
351 Followers 1K Following Partner and principal dev at @techsola. 7-year Microsoft MVP. Working on new C# language features. Finding perfect balance.
Alexey Zudenkov @drunaar
184 Followers 5K Following
Guido Ziliotti @Gorgodrilla
46 Followers 2K Following
Marlin Lachance @_marlinla
233 Followers 4K Following 🏛 Institution Junkie ⚵ ⚵ Rust CosmWasm #️⃣ F# Enthusiast 🟠 Crypto Native 🙀 Fact Checker 💸 Value Added ⚛ Cosmos IBC ⛓ Decent Org 🇨🇦 Toronto CA ⭐⭐⭐⭐⭐
Kevin Avignon @KAvignon
654 Followers 660 Following Senior Software Engineer @Petal - my thoughts are my own | Rails/.NET/BEAM
Goswin Rothenthal @GoswinR
545 Followers 2K Following Architect, Engineer, Computational Designer, ♥ F#
Ali @shishini
313 Followers 3K Following ★ Logic is good ★ 🇪🇬 🇨🇦 ★ Fédéraliste ★ Centriste ★ Decentralization is good ★ #GetYourPoppy
Sergey Pomadin @pomadin
33 Followers 94 Following
CNA IT @CNA__IT
123 Followers 832 Following High-standard IT recruitment services for companies worldwide.
John Myles White @johnmyleswhite
27K Followers 79 Following Engineering director at Meta :: MSL :: PyTorch. Before Meta, Julia core developer and psychology PhD student.
Roberto B @Roberto08021321
17 Followers 444 Following
Sheetal Kamat/Nandi @sheetalkamat
279 Followers 70 Following
Anton Trunov @falsenov
745 Followers 591 Following Compiler and formal methods engineer (Coq, TLA+, Rust, OCaml); now building @tact_language, previously @swaylang, @zilliqa and @IMDEA_Software
Carl Meyer @carljm
3K Followers 557 Following https://t.co/iyt7klgL0V. dev @astral_sh. ex @Instagram & @Meta. co founder @OddBird. Python and other things. he/him.
🇺🇦 John Azariah... @johnazariah
2K Followers 4K Following He/Him · @[email protected] · @[email protected] · https://t.co/7g7GxM6sxY · Meeanjin // Views are my own
Stanislav.Sidristy @sidristij
266 Followers 199 Following
Rafael Oliveira @theolivenbaum
617 Followers 4K Following Aerospace engineer turned entrepreneur. I tweet about building and growing https://t.co/xpqMR2vvdh ( @curiosity_ai )
Alprazolam @Fab92Victor
22 Followers 378 Following
Account @Accnt0
18 Followers 477 Following
Vlad @avevlad
9 Followers 133 Following
Erik Meijer @headinthebox
31K Followers 2 Following
David Fowler @davidfowl
139K Followers 1K Following Distinguished Engineer at Microsoft on .NET, Creator of NuGet, SignalR, https://t.co/PiydKAsC8g Core, Aspire and Barbadian 🇧🇧, Tennis Player, Father, other half @symonefowler
Don Syme @dsymetweets
11K Followers 1 Following Find me elsewhere. https://t.co/H8XqNJyMcO https://t.co/U1RG0DBd3Z
Scott Hanselman 🌮 @shanselman
321K Followers 10K Following VP of Developer Community @ MSFT - Code, OSS, STEM, Beyoncé, 🏴🇿🇼#T1D, #DevRel YouTube+TikTok listen to the @Hanselminutes inclusive tech podcast!
Miguel de Icaza ᯅ�... @migueldeicaza
98K Followers 5K Following Fun Stack Vibing. Started Xamarin, Mono, Gnome; was MSFT/.NET/Xamarin/Mono/VSMac/AI https://t.co/QkbDDWMXRf @migueldeicaza.bsky.social
Bartosz Adamczewski @badamczewski01
18K Followers 982 Following ⚫ Concurrency, Performance, Machine Learning, #dataorienteddesign ⚫ R&I Director - I lead CS & DS teams ⚫ Making a Compiler ⚫ Links - https://t.co/1wD23D7xrt
Jared Parsons @jaredpar
15K Followers 713 Following Work on compilers and languages. Creator of VsVim. He/Him #BlackLivesMatter
Tomas Petricek (find ... @tomaspetricek
9K Followers 933 Following Assistant prof @matfyz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at @UniKentComp and @Cambridge_CL
♦ ereliuer eteer �... @ereliuer_eteer
4K Followers 628 Following
Rick @rickasaurus
10K Followers 3K Following 2x Dad, AI Old-Timer, FP Enjoyer, Math for Fun, Startup Leadership Roles in: Fintech, Healthcare, RegTech, Biotech. B2B, B2B2C, Successful Exit CTO.
Adam Granicz @granicz
2K Followers 1K Following CEO, IntelliFactory - Your Functional Experts, Caltech CSBartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Aleksey Shipilëv @shipilev
27K Followers 586 Following In love-hate relationship with machines. Doing weird stuff, so you don't have to. Personal account, expect no perfection. Currently: everything OpenJDK at AWS.
Computer Science @CompSciFact
251K Followers 19 Following Daily tweets about computer science and related stuff @JohnDCook.
Kirill Osenkov 🇺�... @KirillOsenkov
9K Followers 505 Following Developer tools at Microsoft. .NET, C#, Roslyn, Visual Studio, Editor, WPF, MSBuild, MEF. https://t.co/oznJRNdBWD
Jeffrey Snover @jsnover
65K Followers 1K Following Jeffrey Snover: Google Distinguished Engineer / PowerShell Inventor / Science geek.
Jon Skeet @jonskeet
63K Followers 637 Following Christian, husband (of @HollyKateWebb), father, feminist, software eng, author, @stackoverflow contributor. He/him. Mostly at @jonskeet.uk on Bluesky now.
2BitSalute @2BitSalute
379 Followers 543 Following I like OCaml. Formerly Microsoft (O365 Core/Substrate internals), Facebook (Hacklang). I identify as a peacenik
Andrej Karpathy @karpathy
1.4M Followers 1K Following Building @EurekaLabsAI. Previously Director of AI @ Tesla, founding team @ OpenAI, CS231n/PhD @ Stanford. I like to train large deep neural nets.
furkanonder @fsyscall
3K Followers 163 Following @thepsf Triage Member | Focusing on CPython #LKD #Python #ArchLinux #Django #eBPF
All The Right Movies @ATRightMovies
915K Followers 233 Following Telling the story of Hollywood one movie at a time. Behind-the-scenes stories sourced direct from cast/crew or 3+ verified sources. Podcast + daily posts. 🎬
Шизойд @sebullllba
13K Followers 309 Following Aircraft maintenance, A320 Fam, A340, B737 Fam, B747, B757, CRJ200, E195, MD-80. Весь 💩 постинг, коты, личное и про работу переехали на личный акк
Denis Yaroshevskiy @dyaroshev
824 Followers 141 Following C++ dev. Opinions are my own. Feel free to reach out if you think I know an answer to a technical question you have, I don't mind.
Bert Maher @tensorbert
3K Followers 342 Following I’m a software engineer building high-performance kernels and compilers at Anthropic! Previously at Facebook/Meta (PyTorch, HHVM, ReDex)
Ken Shirriff @kenshirriff
72K Followers 1K Following No longer active on Twitter. Bsky: @righto.com; Mastodon: @[email protected]
Dmitry Vyukov @dvyukov
9K Followers 381 Following I tweet about fuzzing, bugs, sanitizers, security, hardening, kernels, syzkaller, Go, performance, concurrency, lock-free algorithms.
Paul Vick @panopticoncntrl
1K Followers 79 Following Language/database/performance geek. Previously of Microsoft and Meta. @panopticoncentral.bsky.social @[email protected]
Anthony D. Green @ThatVBGuy
786 Followers 121 Following Current VB enthusiast & vigilante. Former Language Designer & PM for https://t.co/ksPXhzpFV4 @ Microsoft. Support me on Patreon: https://t.co/PCbWMoz2PR
Amir @disruptnhandlr
1K Followers 227 Following Compiler engineer obsessed with compute efficiency: LLVM BOLT, Meta • ex CPU R&D, Intel • МФТИ
Buitengebieden @buitengebieden
2.9M Followers 76 Following The official positive side of 𝕏. I’m Sander from the Netherlands. All copyrights belong to their respective owners! DM for credits/removal/submission!
Mark Tsimelzon @marktsimelzon
501 Followers 783 Following Director of Engineering, WhatsApp / Meta. All opinions are my own.
Science girl @gunsnrosesgirl3
3.9M Followers 6K Following science in context, art history and some puzzles to solve
Volodymyr Zelenskyy /... @ZelenskyyUa
8.2M Followers 1 Following President of Ukraine / Президент України
Andrei Pechkurov @AndreyPechkurov
1K Followers 633 Following Top data race and segfault producer in the room.
David Goldblatt @davidtgoldblatt
1K Followers 441 Following Low-level perf stuff mostly. At various points, I've done llvm, wg14/wg21/sg1, jemalloc, thrift, folly. @[email protected]
Alisa Esage Шевч�... @alisaesage
38K Followers 101 Following Independent Hacker & Researcher, Owner of Zero Day Engineering @zerodaytraining • Pronounced ‘is edge’
Joseph Bialek @joseph... @JosephBialek
4K Followers 344 Following No longer using Twitter, find me on Mastodon: @[email protected] Security engineer @ Microsoft. I speak on my own behalf, not my employers.
Geoff Langdale @geofflangdale
3K Followers 128 Following CMU CS PhD; Hyperscan chief; Intel Principal Engineer. Side projects include a superoptimizer. he/him
Halvar Flake @halvarflake
44K Followers 3K Following Choose disfavour where obedience does not bring honour. I do math. And was once asked by R. Morris Sr. : "For whom?" @[email protected]
Fabian Giesen @rygorous
15K Followers 94 Following Abstraction maker, abstraction breaker. @[email protected] he/him
Denis Bakhvalov @dendibakh
5K Followers 448 Following Performance 🥷 @Intel. Book author📖. Blogger✍️. Speaker📢. Chess fan♟️. My newsletter: https://t.co/k0RKkc64zE. All opinions are my own. he/him
Catherine @whitequark
28K Followers 395 Following this account is no longer monitored i primarily post on whitequark at mastodon dot social, or elsewhere under the same username 2010-2024 bye!
Lee Howes @LeeWHowes
225 Followers 103 Following
Nadav Rotem @nadavrot
4K Followers 414 Following Engineering director at Facebook. Interested in systems, compilers, ML, performance, and other stuff. 🇮🇱
Sam Gross @colesbury
2K Followers 117 Following
apardoe 🐀 @apardoe
798 Followers 1K Following Transportation is a housing problem. Housing is a transportation problem.
Matt Page @void_star
134 Followers 628 Following “We have outsmarted ourselves, like greedy monkeys, and now we are full of dread.”
Mike Schroepfer @schrep
100K Followers 270 Following founder @Gigascale, Sr Fellow/fmr CTO @Meta, founder @AdditionalVent. Let’s go build!
Yury Selivanov - e/py... @1st1
10K Followers 244 Following Co-founder & CEO of @geldata • Python core developer • PSF fellow • async/await • asyncio • uvloop • asyncpg
Pablo Galindo Salgado @pyblogsal
13K Followers 347 Following Python Steering Council and core developer. Python 3.10/3.11 release manager. @ThePSF Fellow. Deals with black holes and parsers. Attracts linker problems.
Kevin Parry @kevinbparry
186K Followers 2K Following Stop-motion animator & video wizard ✨ Free editing lessons: https://t.co/Dbov5QTJ60
Casey Muratori @cmuratori
61K Followers 145 Following Programming: https://t.co/Bdh1Xj2PpV Comics: https://t.co/fmdjK9HFxW
David Tolnay @davidtolnay
9K Followers 138 Following
Guido van Rossum @gvanrossum
288K Followers 480 Following Python's BDFL-emeritus, Distinguished Engineer at Microsoft, Computer History Fellow, fully vaccinated. Opinions are my own. He/him.
Patrick Walton @pcwalton
18K Followers 520 Following Programming languages and graphics person. @pcwalton.bsky.social
Andrew Gallant @burntsushi5
10K Followers 96 Following I love to code. I rarely check DMs. My email address is on my web site.
Daniel Lemire @lemire
29K Followers 2K Following Software performance expert. Ranked in the top 2% of scientists globally (Stanford/Elsevier 2024) and among GitHub's top 1000 developers.