csmoe @cs_moe
mastodon: https://t.co/xf3T1OEYtx Joined January 2018-
Tweets79
-
Followers57
-
Following323
-
Likes187
#Xiaomi HyperOS Team is urgently hiring #Rust engineers to develop the operating system. Locations: **Beijing** & **Shenzhen** Apply now: Send your resume to [email protected]
📢 It's here! The second edition of my book "Performance Analysis and Tuning on Modern CPUs" is out NOW! Dive into low-level optimizations and learn to write fast code like a pro. Grab your copy: amzn.to/4fsroBs Please RT to spread the word! #NewBook #BookRelease 🧵1/3
Key issue in Rust/Linux "drama" is: kernel devs resist "formalizing "APIs for Rust code, not RAII itself. Rust allows disabling RAII. Ironically, critics attack Rust's borrow checker with linked lists, ignoring Rust's recommendation of arenas as superior for that case.
Key issue in Rust/Linux "drama" is: kernel devs resist "formalizing "APIs for Rust code, not RAII itself. Rust allows disabling RAII. Ironically, critics attack Rust's borrow checker with linked lists, ignoring Rust's recommendation of arenas as superior for that case.
no more clone() or pre let when you have branches of a borrowed and owned type🎉
no more clone() or pre let when you have branches of a borrowed and owned type🎉
> Additionally, setting the PWD variable through with-env is now disallowed. @nu_shell what the hell? Every time I upgrade it, there will always be some inexplicable breaking changes waiting for me, and there is no help in the error report. Then I have to Google for the issue.
Sometimes you get a github issue from the search engine and read it. Suddenly, someone throws a link to tell you to discuss in zulip or a random hackmd url. Although I know that rust has zulip archives, these contents rarely appear in public. Quite annoying.
Open Sourcing Ferrocene! ✨🎉 ferrous-systems.com/blog/ferrocene…
Our OOPSLA'23 paper is now on arXiv. We developed a new pedagogy for teaching Rust's ownership model, and we evaluated the pedagogy's learning outcomes with data from thousands of Rust learners. arxiv.org/abs/2309.04134
Rust's build script might not be that bad, when a non-homebrew user saw Ocaml libraries hard-coded shell and homebrew in their build flow. github.com/ocaml/opam-rep…
Excited to be one of them😊
New blog post: Context and capabilities in Rust tmandry.gitlab.io/blog/posts/202…
How Rust optimizes async/await II: Program analysis tmandry.gitlab.io/blog/posts/opt…
Vim: lightweight Rust Rust
I wrote a bit from Rust All Hands, including array iterators and rayon+wasm: developers.redhat.com/blog/2019/03/2…
ITS HERE!!!! Rust 1.31 and Rust 2018 is finally out! blog.rust-lang.org/2018/12/06/Rus… Thank you so much to everyone who has contributed over these past three years. ❤️❤️❤️
I wrote an introduction to async/await for beginners to the area (like me!) What do you think of the approach? github.com/nrc/apr-intro (the language is a bit rough, it's a first draft and I couldn't decide if it should be a blog post or an intro to a longer guide)
My final presentation about the existential type work I did during my #mozilla internship is up youtu.be/ippwMSMLD5Q
Hey #rustlang twitter, what was your 'aha!' moment when learning Rust?
I wrote a thing explaining all nuances of `impl Trait` in short sentences and with no math degree as a prerequisite: gist.github.com/oli-obk/7a5d06… Complain if something isn't clear
Rust 1.27 is here! SIMD, “dyn Trait” and book search, among other improvements! 🎉🎊 blog.rust-lang.org/2018/06/21/Rus…

Husnan Kazmi @Husnan_UMATR
9 Followers 26 Following Consultant at @umatr_io - Sourcing the best talent within #Rust community & finding life changing opportunities across the globe. 🌍🚀 🦀
Elad M @EladM253340
1 Followers 20 Following
Tsung-Ju Chiang @tsungjuc
80 Followers 198 Following Studying programming languages. Mastodon: @[email protected]
Tiotey @TioteyuT9eC3s
73 Followers 3K Following
Mitchell Franklin @Mitch_UMATR
940 Followers 3K Following Founder of @UMATR_io and Creator of @RustMatters & @ScalaMatters 🦀 Sourcing the best talent across the globe within #Rust, #Scala, and #Python.
IvanSen @IvanSenDN
1 Followers 4 Following Hey guys. This is a hobby and gaming page, but I'm never against chatting. :)
saki @ichitandaqqq
18 Followers 333 Following
Burlin @cblh03
20 Followers 629 Following
Vicki @brown_vicki1
329 Followers 3K Following
Joseph Garvin @joseph_h_garvin
1K Followers 3K Following voicecoding latency and throughput hacker. How did I get here and what am I doing in this hand basket? @[email protected] @josephhgarvin.bsky.social
Lisa @lisa_parish_
331 Followers 3K Following
Arlene @arlene_cullum
231 Followers 3K Following
@[email protected] on... @calebjasik
364 Followers 3K Following 🏳️🌈 welcome to the slam jam he/him #BlackLivesMatter fedi: @[email protected] cohost: @calebjasik bsky: @calebjasik.jasik.xyz
Realm @Realmgroup_io
2K Followers 2K Following Realm is your secret weapon for future Web2 & Web3 teams.
Fermyon @fermyontech
4K Followers 2K Following Faster, high-performance compute for serverless apps. Creators of @spinframework, collaborating on @spinkube. Powered by #OpenSource #WebAssembly.
███████... @motchang
1K Followers 3K Following テクノロジー教 インターネットデブリ / コミュニケーションが苦手 / https://t.co/iuFmWYdbvT / https://t.co/tei4U5gBbh / https://t.co/UcDKA0lqfU
LeviScale - Hiring En... @levi_scale
23 Followers 231 Following Blockchain Headhunter 👨💻 On the lookout for engineers: Smart Contract, Go, Rust/Substrate, Fullstack
Arthur Carcano @ArthurCarcano
31 Followers 112 Following PhD in mathematics and computer science, @rustlang developer, Current side-project, an api-less dns-01 solver : https://t.co/eY2687x7Q3 🇫🇷
mikuku @mikuku2007
264 Followers 558 Following
Cyanide @urcyanide
526 Followers 301 Following
edwin0cheng @edwin0cheng
125 Followers 452 Following Copy & paste programmer, rust-analyzer alumnus, accidental rust macro! lover.
Rust Security 🦀 �... @RustSecurity
4K Followers 4K Following News about #Rustlang Security & Fuzzing. Not affiliated with @rustlang core team. 🎉 #Rust security Audit and Fuzzing training is now available 🥳
蓝色骨头 @sbluetrain
77 Followers 2K Following
lht407 @lht407
492 Followers 7K Following
Tyler Mandry @tmandry
2K Followers 820 Following still trying to do everything everywhere all at once // fuchsia rust lead @google, lang team @rustlang. opinions mine. he/him
kennytm @kennytm
2K Followers 76 Following Tweets here do not represent the view of any unnatural legal entities.
Amaan Cheval @AmaanC
1K Followers 3K Following Systems Programmer. I like traveling and learning things (i.e. all of the things!). Buzzwords: reverse engineering, x86, kernels, compilers, neuroengineering
RustLondon 🦀 @RustLondon_
3K Followers 1K Following Rust London Users Group https://t.co/gjXfamjkX2 🦀🦀
Preethesh @CoconutRoboto
15 Followers 58 Following
Observer47 @observer_47
5 Followers 33 Following
const @oli@hachyderm.... @oli_obk
2K Followers 164 Following Compiler and dev tools enthusiast. Opinions many. he/they. works at @awscloud & opinions are probably not my employer's. fediverse: @[email protected]
快速取水筏 @sqsfk_internal
194 Followers 981 Following 無槓青年 | wow, somebody in the universe is looking at my bio!
Stefan Zimmermann @zimmermanncode
339 Followers 1K Following Just #Coding | #CPP #Python #Hy #Scala #Clojure | #SDN #NFV Dev@ #ADVAoptical.com | #Bioinf #VR #AR | Miss my #Blender #CAVE | No life w/o #Emacs #ConEmu #Clink
Roxana Mann @updatedsapiens
46 Followers 311 Following
SWI-Prolog official a... @SWI_Prolog
818 Followers 139 Following Official account of the SWI-Prolog project
@[email protected] @ekuber
8K Followers 4K Following We spent decades trying to invent a sufficiently smart compiler when we should have been inventing a sufficiently empathetic one. 💼 AWS, opinions my own
Ryan Dahl @rough__sea
18K Followers 327 Following cofounder of @deno_land, creator of @nodejs. often goes by ry.
Mike Schroepfer @schrep
100K Followers 271 Following founder @Gigascale, Sr Fellow/fmr CTO @Meta, founder @AdditionalVent. Let’s go build!
jordwalke @jordwalke
64K Followers 738 Following Created @reactjs and @ReasonML. Formerly @facebook. Product at @replit
justin (in NY) @justinmk
4K Followers 56 Following @Neovim maintainer. Vim contributor. CC-BY-4.0 "People are afraid to merge." - Less Than Zero
Samuel Groß @5aelo
24K Followers 502 Following Working on Project Zero, Big Sleep, and V8 Security. Personal account. Also @[email protected] and https://t.co/aVitnPjBie
Adam Taylor @ATaylorFPGA
17K Followers 8K Following FPGA and Embedded Systems expert, Experienced #System, #Hardware, #FPGA designer. Views My Own
Tsung-Ju Chiang @tsungjuc
80 Followers 198 Following Studying programming languages. Mastodon: @[email protected]
Zed @zeddotdev
57K Followers 47 Following A next-generation code editor that enables high-performance collaboration with AI and your team. https://t.co/4Ua0UqLrsv
Ivan Fratric 💙💛 @ifsecure
18K Followers 207 Following Security researcher at Google Project Zero. Author: Jackalope, TinyInst, WinAFL, Domato. PhD. Tweets are my own. Backup @[email protected]
Tianyin Xu @tianyin_xu
5K Followers 1K Following Watchman in a cornfield @IllinoisCDS @ECEILLINOIS @ACMSIGOPS
max.rss @tekknolagi
2K Followers 900 Following Bread, beans, programming languages; fmr Chief Potato; he/him; cover photo credit xkcd proud owner of https://t.co/kUeNYzHHut https://t.co/q3ainEJ9sW
Philip Herron @the_philbert
305 Followers 396 Following Lead Maintainer for Rust GCC https://t.co/NKTEZsNIxG
Ramon de C Valle @rcvalle
984 Followers 3 Following Vulnerability researcher at @Google. Views are my own. @[email protected]
Ross Tate @rossetate
3K Followers 148 Following Researcher and Consultant for Programming-Language Design and Implementation
Danning Xie @danning_x
538 Followers 232 Following Research Scientist @PyTorch MSL | CS PhD @PurdueCS | GenAI | LLM4Code | Software Engineering Researcher
Varun / 王潤 / げ�... @typesanitizer
1K Followers 494 Following I am once again asking you to expect more from the tools you use every day. OK: English, हिंदी, ગુજરાતી. Learning: 日本語, 中文. Avatar by @evatrice. He/Him.
Neil Mitchell (neildm... @ndm_haskell
5K Followers 165 Following Haskell/Rust programmer. Views expressed are my own.
András Kovács @andrasKovacs6
905 Followers 66 Following Type theory & applications. Also on Mastodon: https://t.co/KYgeYKJQgM
Internal Tech Emails @TechEmails
583K Followers 881 Following Internal tech industry emails that surface in public records. 🔍
EduardoRFS.tei @TheEduardoRFS
9K Followers 2K Following 26yo anti floating point developer. You can almost always find me at https://t.co/XTQJQqaVhe, it's the boring side of tech.
Chromium Flag Updates @ChromiumFlags
203 Followers 0 Following Bot that tweets changes to the chrome/browser/flag-metadata.json file. Not affiliated with Chromium/Google. Made by @ThomasOrlita.
Avalonia UI @AvaloniaUI
7K Followers 1K Following Develop desktop, mobile, embedded, and WebAssembly apps with C# & XAML from a single codebase.
Behdad Esfahbod @behdadesfahbod
9K Followers 3K Following Software Engineer consultant specializing on fonts and text. @HarfBuzz. Ex Facebook/Google/RedHat/FarsiWeb. #WomenLifeFreedom 🌈
Jimmy Koppel @jimmykoppel
3K Followers 302 Following Making every Claude Code user a 100x developer @ccdotdev. Turning good software engineers into great at https://t.co/r6u0DWASrS . Ph. D. in PL from @MIT.
Static Analysis Sympo... @symposiumSAS
298 Followers 2 Following 31th International Static Analysis Symposium, co-located with @splashcon #SAS2024
Joran Dirk Greef @jorandirkgreef
8K Followers 2K Following Creator, Founder and CEO of @TigerBeetleDB — the financial transactions database designed to power the next 30 years of transaction processing.
Min Hsu @bekket_mcclane
531 Followers 260 Following LLVM Plumber, Wrangler, and (occasionally) Developer @ SiFive
TigerBeetle @TigerBeetleDB
8K Followers 1K Following The financial transactions database designed to power the next 30 years of transaction processing.
Dmitrii Kovanikov @ChShersh
48K Followers 232 Following Dysfunctional Programming account #1. Senior SWE at Bloomberg. I write C++ for money. ex-Haskell, ex-OCaml. All opinions are my own.
Charlie Marsh @charliermarsh
28K Followers 827 Following Building @astral_sh: Ruff, uv, and other high-performance Python tools. Prev: Staff engineer @SpringDiscovery, @KhanAcademy, BSE @PrincetonCS.
type Arthur(working_o... @CohenArthurDev
421 Followers 301 Following https://t.co/i6qIXVcuxL | @[email protected] | @gcc_rust co-lead with @the_philbert. he/him
PVLDB @pvldb
5K Followers 10 Following The Proceedings of the VLDB Endowment (PVLDB) RSS Feed: https://t.co/5wEKOfq2OD Bluesky: https://t.co/jULSIiQ5M3
Skye Soss @Skyb0rg
173 Followers 402 Following I guess I do programming languages stuff. Using Standard ML, C++, CMake, Haskell
The Spectator Index @spectatorindex
3.1M Followers 0 Following News, media and data from around the globe. Covering politics, economics, science, tech and sport.
Richard Smith @zygoloid
4K Followers 95 Following #CarbonLang lead, former Clang maintainer and C++ standard editor. Googler. He / they.
@ericniebler.bsky.soc... @ericniebler
12K Followers 138 Following C++ core compute libraries tech lead at @nvidia, husband, father, @isocpp member, former nomad, and sometimes artist wannabe. Views are mine, not my employer's
Eureka Labs @EurekaLabsAI
73K Followers 1 Following We are building a new kind of school that is AI native.
LambdaConf 2025 @lambda_conf
8K Followers 2K Following A mind-blowing programming conference, held in Estes Park, CO.
Xudong Sun @xu_dong_sun
1K Followers 803 Following Incoming Assistant Professor at @eceuoft | PhD from UIUC @siebelschool | System reliability, formal verification, and testing | Playing/fighting with Kubernetes
AI at Meta @AIatMeta
717K Followers 288 Following Together with the AI community, we are pushing the boundaries of what’s possible through open science to create a more connected world.
ICFP Conference @icfp_conference
4K Followers 18 Following ACM SIGPLAN International Conference on Functional Programming. Tweets by @shwestrick.
SSI Inc. @ssi
102K Followers 0 Following A straight shot to safe superintelligence. Join us https://t.co/hHla3vusDE.
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.
Joel David Hamkins @JDHamkins
26K Followers 281 Following Mathematics and philosophy of the infinite. Professor of Logic @NotreDame @UniofOxford #ProofandtheArt #PhilMaths #InfinitelyMore #BookOfInfinity