David Tolnay @davidtolnay
Maintenance supervisor github.com/dtolnay Redwood City, CA Joined October 2018-
Tweets339
-
Followers7K
-
Following138
-
Likes209
buck2 continues to be pretty amazing for our rust/typescript/etc. monorepo. it takes a lot of digging in to figure out how to make things work - the latest being creating builds with different build options. But once it works, it's insanely good.
We got an email from the Serbian Registry of Internet Domain Names (RNIDS), the organisation that is responsible for the `.rs` top-level domain. Looks like they are a big fan of Rust. 😊
Herb Sutter says we are close to solving memory safety in C++ without runtime overhead. #CppCon
Today, @ONCD takes an engineering-forward approach to policymaking with our new technical report, “Back to the Building Blocks.” We’re joined by titans of industry, academia, & civil society to implement the ambitious goals set forth in this report. whitehouse.gov/oncd/briefing-…
Microsoft is hiring for a new Rust tooling team! We're currently looking for a Software Engineering Manager to "play a pivotal role in supporting diverse Rust initiatives throughout the entire Microsoft engineering ecosystem." #rust #rustlang jobs.careers.microsoft.com/global/en/shar…
I really wish there were people who would collaborate on a memory-safe C++ design! I don't want to be the only one doing this.
Let futures be futures without.boats/blog/let-futur…
We're hiring for a Principal Software Architect! Microsoft 365 group is "forming a new team focused on enabling the adoption of the Rust programming language as the foundation to modernizing global scale platform services, and beyond" #rust #rustlang jobs.careers.microsoft.com/global/en/job/…
If you are an experienced marketer in search of an opportunity at a mission-based tech organization, you might be the perfect fit for the Rust Foundation's fully remote Marketing Specialist position! Interested? Learn more and apply by Feb 7: app.beapplied.com/apply/hy66g5t8…
Rust's crates-io is now getting as many downloads per week as it got in the years 2015, 2016, 2017, and 2018 put together.
Rust's crates-io is now getting as many downloads per week as it got in the years 2015, 2016, 2017, and 2018 put together.
C++ Should Be C++ This was an evening session at the fall 2023 ISO C++ meeting based on my same-titled paper. I argued that drastic changes to the language aren't helpful, we need to say "no" more often, and that the committee should prioritize user needs. wg21.link/P3023R1
"The U.S. Cybersecurity & Infrastructure Security Agency (CISA), National Security Agency (NSA), Federal Bureau of Investigation (FBI), and cybersecurity authorities of Australia, Canada, United Kingdom, and New Zealand jointly developed this guidance" media.defense.gov/2023/Dec/06/20…
The effort to create an official Rust specification has begun! Read about it in this blog post from the newly launched specification team: blog.rust-lang.org/inside-rust/20…
Had a great time doing a keynote at @ProssimoISRG on Microsoft approach to memory safety. Made a huge announcement - @Microsoft is going big on Rust and spending $10 million to make it 1st class language in our engineering systems + $1 million @rustlang foundation.…
Had a great time doing a keynote at @ProssimoISRG on Microsoft approach to memory safety. Made a huge announcement - @Microsoft is going big on Rust and spending $10 million to make it 1st class language in our engineering systems + $1 million @rustlang foundation.… https://t.co/w0EkzAjZaG
Excited about Rust? We are looking for a new manager for the Rust team here at Amazon. This is a unique opportunity to work with a top-notch team of people passionate about supporting and growing the Rust language. Boston area strongly preferred. amazon.jobs/en/jobs/247947…
Congrats to @MSFTQuantum on shipping their new Rust based Quantum Development Kit! 🗜️180mb QDK is now just 700kb for everything needed for Q# dev in VS Code ⏱️Some programs could take minutes to compile before, now < 1s 🖥️CI before took 2-3 hours, now 10m devblogs.microsoft.com/qsharp/introdu…
For quite some time, I've been hearing that it's hard to find @rustlang jobs that aren't in the cryptocurrency space or in very early-stage startups. Well, @HelsingAI is hiring almost exclusively Rust folks, and we're neither of those things [1/10]
We have just released a new CppNow 2023 Conference Video! Carbon Language Successor Strategy: From C++ Interop to Memory Safety - by @chandlerc1024 - CppNow 2023 youtube.com/watch?v=1ZTJ9o… #Carbonlang #Coding
Mara Bos @m_ou_se
43K Followers 454 Following Rust dev, Electronics engineer, Author, @rustlang Library team lead, ADHD, Polyamorous, Lesbian, She/HerTim Clicks @timClicks
22K Followers 3K Following On the planet to build a better planet. Software person, kind of into Rust and creative coding. Author of Rust in Action (https://t.co/qgWenxBkeP).Patrick Walton @pcwalton
18K Followers 560 Following Programming languages and graphics person. @[email protected]Jon Gjengset @jonhoo
32K Followers 192 Following Rust live-coder and OSS tinkerer who loves teaching. I try to keep a high SNR. Wrote Rust for Rustaceans. At @HelsingAI. Ex AWS. Co-founded @readysetio. he/him@[email protected] @ekuber
9K Followers 5K Following We spent decades trying to invent a sufficiently smart compiler when we should have been inventing a sufficiently empathetic one. 💼 AWS, opinions my ownLuca Palmieri @algo_luca
14K Followers 2K Following Rust / backend dev / org design / climate. Baking on the good days. Author of https://t.co/WDxzUHAAe6. Building https://t.co/YMfw1oaHIi, a new Rust web framework.Andrew Gallant @burntsushi5
8K Followers 97 Following I love to code. I rarely check DMs. My email address is on my web site.Armin Ronacher @mitsuhiko
51K Followers 721 Following Creator of Flask; Now @getsentry — love API design, Python and Rust. Love my stuff? https://t.co/aVQ1KPH8jA — “more nuanced in person”nrc @nick_r_cameron
6K Followers 624 Following Previously: Rust at Microsoft, Rust core team, distributed databases at PingCAP, Firefox graphics and layout. He/him. @[email protected]emilk @ernerfeldt
4K Followers 260 Following Co-founder and CTO of https://t.co/vUXlGEjSft. Creator of https://t.co/R6aLlYjce5, the friendly GUI library for Rust.Lucretiel 🦀 @Lucretiel
3K Followers 2K Following Neophile. #rustlang at @1Password. #boardgames. #ADHD. 33. He/him/his. Mercator Projection Apologist. https://t.co/gt72b8pKN8…David Pedersen @DavidPdrsn
2K Followers 329 Following Software engineer at @EmbarkStudios 🦀 @tokio_rs core working on axum, tower, tower-http, and tonic.Sean McArthur @seanmonstar
5K Followers 86 Following rust all the https 🦀 @hyperium_rs 🐘 Mastodon: @[email protected]Bryan Cantrill @bcantrill
47K Followers 4K Following Co-founder and CTO of @oxidecomputer. Nom de guerre: Colonel Data Corruption. Lifeboat: @[email protected]Jessie Frazelle @jessfraz
133K Followers 161 Following CEO @zoodotdev, 👩🏻💻 @oxidecomputer, 📝 @ACMQueuellogiq @llogiq
3K Followers 951 Following #RustLang 🦀 bard. Father of 3+cat. Devourer of waffles. Probably knows the German word for it, whatever it is. Sometimes randomly grabs a Ukulele&sings. he/himXuanwo @OnlyXuanwo
9K Followers 941 Following ASF Member. Apache #OpenDAL PMC Chair. VISION: Access data freely across services by any method.Josh Triplett @josh@j.. @josh_triplett
4K Followers 209 Following Free and Open Source Software developer. #rustlang developer, working on the language, library, and Cargo. he/him or they/them Fediverse: @[email protected]Guillaume Gomez @impe.. @imperioworld_
2K Followers 112 Following Rust language reviewer and contributor, rustdoc team leader, GNOME foundation member, owner of the Gtk-rs organization https://t.co/gSCISSPYX3Iran Rust Community @rustirancom
9 Followers 10 FollowingFay λ @fay_carsons
335 Followers 403 Following ultralight and easily embedded 😇 full stack + shader art 👁️ FP enjoyer 🦀🐫👩🏻🔬 currently looking for work 👀Ecliptical Software I.. @Ecliptical
10 Followers 26 Following Solving real-world problems using Rust, Kubernetes, and other Cloud-Native technologies.qrv @qrvdtz
31 Followers 948 FollowingDav @heisdave7
389 Followers 1K Following 🦀 Engineer • Writer @cybertechwiz • @gdscfuto Cybersecurity lead🛡️ • @Chimoney_io amb💡• @solana errand boy🚀 • John 14:6🤍Yusuke Abe @AbeYusuke3
442 Followers 6K Following searching for new ideas on how to solve the unanswered questions for all mankind humanity freedom sci/tech/med #rust #quantum #AI intp-ubr-mensa-2e ∞ for ∞PengFei Bai @pengfei_ba38401
44 Followers 136 Followingjojomensah.eth 🧑�.. @jojomensah89
87 Followers 388 Following https://t.co/W42tTFku9i Frontend Developer & Web3 Developer |React.js|Next.js| Typescript| 💙 https://t.co/wVlDPHByIg Armyyuroitaki @yuroitaki
133 Followers 657 FollowingDerPuppets @DerPuppets
32 Followers 62 Followinganjola 🐍 @ajide_ekun
99 Followers 882 Following Software engineer. Python, Java, JavaScript and everything in between...Smith @anonymous467566
531 Followers 6K Followingluanxuedong @xuedongluan
13 Followers 434 FollowingLev @borichevskiy
155 Followers 877 Followinglht407 @lht407
278 Followers 4K FollowingMiquel v Smoorenburg @mikevsm
45 Followers 137 FollowingConcave Lines @ConcaveL76930
0 Followers 202 FollowingPikaju @PikachuIsKing
13 Followers 82 FollowingXY YU @YUXY_CH
0 Followers 15 Followingkallydev.eth @kallydev
890 Followers 430 Following 💭💡🎈 Student | Gen Z 20 y.o | Full Stack Developer | #Bitcoin #Ethereum #Web3 | #Rustacean #GopherMike @bsodmike
687 Followers 1K Following Experienced Rust 🦀/Python/Ruby/Node + AWS/CloudOps Engineer. Keen interest in Embedded RTOS dev with bare-metal Rust & Embassy ~https://t.co/b0aSI9Xaioalex @eepyalex
68 Followers 459 Following @eepyeleina's ouppy || i like computors, mathematics and linguisticsdterritorialist @dterritorialist
2 Followers 120 Followingrustacean @rustacean_new
12 Followers 16 FollowingMhadiel @Mhadiel2
0 Followers 58 Followingtristan @imakebadjokes
100 Followers 365 Following launch yourself on every wave | engineering against APTs at @phylaxsystemsILLEIST @ILLEIST_
4 Followers 165 FollowingKP64 @KPT_64
2 Followers 46 FollowingAlbertus Angga Raharj.. @AlbertusAnggaR
829 Followers 324 Following @albertusdev's 2nd account, this account is now inactive and only acts as a backup in case Twitter suspends me again 🫡ngp @chiefnoah13
190 Followers 1K Following Systems programmer. Almost never finishes a blog post Opinions are my own and not the views of my employer.Zane Duffield @ZaneDuffield
18 Followers 65 FollowingThomas Johansen @thomasjo
762 Followers 971 Following Research scientist. I mostly tweet about AI/ML and software engineering. Passionate about a11y, open access, and open source.Jian Lan @JianLan17
9 Followers 244 FollowingPatrick Fitzgerald @patrickf_ca
166 Followers 1K Following Software developer, environmentalist, plant-based and aspiring marathon runner. 🇮🇪 🇨🇦Nestor @blinking8888
9 Followers 57 FollowingMara Bos @m_ou_se
43K Followers 454 Following Rust dev, Electronics engineer, Author, @rustlang Library team lead, ADHD, Polyamorous, Lesbian, She/HerPatrick Walton @pcwalton
18K Followers 560 Following Programming languages and graphics person. @[email protected]Jon Gjengset @jonhoo
32K Followers 192 Following Rust live-coder and OSS tinkerer who loves teaching. I try to keep a high SNR. Wrote Rust for Rustaceans. At @HelsingAI. Ex AWS. Co-founded @readysetio. he/himneural oscillator of .. @mycoliza
19K Followers 1K Following 𓃭𓇋𓊃𓄿𓁐 • manic kernel dream girl • putting computers inside other computers at @oxidecomputer • @tokio_rs core team • nulla crux, nulla coronaManish @ManishEarth
14K Followers 612 Following territory mapper. 💉did @ca_covid . 🗣️ likes languages. ✈️ Repatriate/ABCD. 👨🔬 Formerly physics. he/himAria the Cat @Gankra_
8K Followers 410 Following its me, the sapphic disaster who maintains your docs. trans woman, she/they, 30 (avatar: @dizzimitzi) CTO of axodotdev, making cargo-dist so you don't have to@[email protected] @ekuber
9K Followers 5K Following We spent decades trying to invent a sufficiently smart compiler when we should have been inventing a sufficiently empathetic one. 💼 AWS, opinions my ownRust Language @rustlang
142K Followers 2 Following A programming language empowering everyone to build reliable and efficient software.Andrew Gallant @burntsushi5
8K Followers 97 Following I love to code. I rarely check DMs. My email address is on my web site.Armin Ronacher @mitsuhiko
51K Followers 721 Following Creator of Flask; Now @getsentry — love API design, Python and Rust. Love my stuff? https://t.co/aVQ1KPH8jA — “more nuanced in person”Will Crichton @tonofcrates
7K Followers 164 Following Cognitive engineer, incoming assistant professor @BrownUniversity.Rust Foundation @rust_foundation
37K Followers 165 Following An independent non-profit that exists to steward the Rust programming language and its global community. #rustlangnrc @nick_r_cameron
6K Followers 624 Following Previously: Rust at Microsoft, Rust core team, distributed databases at PingCAP, Firefox graphics and layout. He/him. @[email protected]Sophia June Turner �.. @sophiajturner
11K Followers 123 Following Mostly on: @[email protected]. Language nerd. @nu_shell core. Prev: @typescript, @rustlang core. 🏳️🌈🏳️⚧️. 🎶nerd. #ActuallyAutistic. (she/her)ashley williams @ag_dubs
21K Followers 169 Following a mess like this is easily five to ten years ahead of its time. former @rustlang core team. working on something new @axodotdev. she/theyReductRs @reduct_rs
15K Followers 19 Following The one and only women’s, trans persons’, and nonbinary persons’ fake programming newsletter. Our book, How To Win At Typechecking, will never be released.rust-analyzer @rust_analyzer
14K Followers 3 Following Empowering language server for @rustlang. Support at https://t.co/eMVqPirYpaSean McArthur @seanmonstar
5K Followers 86 Following rust all the https 🦀 @hyperium_rs 🐘 Mastodon: @[email protected]Michael Gattozzi @mgattozzi
6K Followers 76 Following 'A bad programmer' according to the Orange Site, he/him. DMs open. Always open to chat: https://t.co/Q5hQICeTdMKabir Oberai @kabiroberai
3K Followers 924 Following iOS developer and WWDC 17 scholar | known for Theos Jailed, @SuperchargeApp, and setting his school’s chemistry lab on fire this once | uwaterloo ’25 | he/himOxidizeConf May 28th-.. @OxidizeConf
1K Followers 1 Following Workshops and Two days of applied @rustlang insights from industry innovators. Berlin, May 28th-30th. Produced by @ferroussystems.Nilstrieb @Nilstrieb
721 Followers 278 Following i do things with rust and on rust and also other things. sometimes i don't do anything. find me: discord:nilstrieb, mastodon:@[email protected] he/himU.S. Central Command @CENTCOM
690K Followers 1K Following Official Account of U.S. Central Command (CENTCOM).Firefox 🔥 @firefox
2.5M Followers 529 Following The only non-profit-backed, people-first browser. Help: @FirefoxSupportInsanityBit @InsanityBit
3K Followers 537 Following Senior Engineer, Cloud SIEM at Datadog Previously: CEO/ Founder of @graplsec Developer on InsightIDR @Rapid7, Security Engineer on DART @DropboxGuillaume Gomez @impe.. @imperioworld_
2K Followers 112 Following Rust language reviewer and contributor, rustdoc team leader, GNOME foundation member, owner of the Gtk-rs organization https://t.co/gSCISSPYX3Brian Smith @BRIAN_____
3K Followers 549 FollowingServo @ServoDev
9K Followers 33 Following Servo: The embeddable, independent, memory-safe, modular, parallel web rendering engine written in Rust. @LF_EuropeBay Area Air Quality @AirDistrict
23K Followers 973 Following The Bay Area Air District is the country's first regional air pollution control agency. See our Social Media Policy: https://t.co/DBfOoTV8m0Weihang Lo 𓃺𓃹 @weihanglo
877 Followers 593 Following 📦 Cargo worker at home 🐙 https://t.co/W8k3IZXAwBMatthias @matthiasendler
3K Followers 570 Following Chief Meme Officer at corrode. https://t.co/pvo5WVDRwY @hellorustshow https://t.co/d9Mp9JqkxO https://t.co/xHcRfk9I6s https://t.co/ZGQus9aSag http://lychee.cliSean Baxter @seanbax
8K Followers 193 Following The road to Memory-safe C++. https://t.co/IoFMbCXdOw CppNow 2022: https://t.co/S9EzkyQBDfbluesky @bluesky
310K Followers 1 Following 🌐💬💙 From platforms to protocols. Sign up for Bluesky (no invite code required): https://t.co/rC9PCGgoL5Leah Silber @wifelette
6K Followers 1K Following CEO at @tildeio. @EmberConf, @RustConf and @RailsConf Organizer. @emberjs Core, @jQuery Core alum. All around technophile, currently mostly Rails. she/her.Wilfred Hughes @_wilfredh
3K Followers 3K Following Programming language development, human factors, and a healthy dose of Emacs. Also at https://t.co/faGheKE6VHAdam Jacob @adamhjk
18K Followers 1K Following CEO of the System Initiative, Co-Founder of Chef. Sustainable free and open source software communities. Music. He/Him. Mastodon: @[email protected],Neil Mitchell (neildm.. @ndm_haskell
5K Followers 169 Following Haskell/Rust programmer. Views expressed are my own.Buck Build @BuckBuildTool
273 Followers 1 Following Buck is a build system that encourages the creation of small, reusable modules consisting of code and resources, and supports a variety of languages.Elon Musk @elonmusk
181.7M Followers 585 FollowingLex Fridman @lexfridman
3.5M Followers 126 Following Host of Lex Fridman Podcast. Interested in robots and humans.Mastodon (@Mastodon@m.. @joinmastodon
172K Followers 1 Following Mastodon is the largest decentralized social network on the internet. Built on open web standards by a non-profit. Learn more on our website!Oxide Computer Compan.. @oxidecomputer
22K Followers 35 Following Servers as they should be. Mastodon: @[email protected] Bluesky: @oxidecomputer.bsky.socialEuroRust @euro_rust
2K Followers 30 Following EuroRust is a 2 day conference for the European Rust community. We cover all things Rust. Presented by @mainmatter – October 10th+11th 2024Renee Shah @reneeshah123
5K Followers 2K Following Partner @AmplifyPartners focused on developer tools, infra, ML, and security I Ex-Google & Waymo 🚙 | Blog: https://t.co/2QI3h5TJTh 👩🏽💻YAML Ain't Markup Lan.. @yamlnews
286 Followers 46 Following YAML — The Natural Language for Data News updates from the YAML Data Project#shitoberfest @shitoberfest
7K Followers 1 Following The official account to document shit pull-requests caused by #hacktoberfest. Tweet at this account with evidence of vandal PRs. A project by @geoffreyhuntleyDevX Initiative 🦀 @DevXInitiative
681 Followers 431 Following The DevX Initiative empowers individuals who want to flourish in @rustlang. It contributes through research, workshops, and sponsorship. 🦀Dr Rebecca Rumbul @RebeccaRumbul
3K Followers 643 Following Executive Director & CEO @rust_foundation, Council Member @ASA_UK Trustee @HansardSociety, PhD Int. Governance, like Politics/Civics/Tech/Ads/OpenBlair Magnet Alumni @blairmagnetalum
597 Followers 462 Following Following and sharing news about the Montgomery Blair High School Magnet Program and its alumni!SUV RVing @SUVRVing
87 Followers 0 Following Info on traveling, sleeping, living, and adventuring in an SUV.Rust Cross Team Colla.. @RustCTCFT
308 Followers 1 Following Rust Cross Times Collaboration Fun Time meetingTaylor Swift @taylorswift13
95.4M Followers 0 Following All’s fair in love and poetry... New album THE TORTURED POETS DEPARTMENT. Out now 🤍Chandler Carruth @chandlerc1024
15K Followers 248 Following Software, performance, optimization, programming languages, security, open source, #CarbonLang lead, #LLVM, #Clang, C++. 🏳️🌈 https://t.co/OJEo6948ae or https://t.co/20dk6962vgHacker News Status @HNStatus
6K Followers 0 Following The official channel for announcements about the status of Hacker News. To report problems, please email [email protected]. Thanks!Rust Secure Code WG @rustsecurecode
1K Followers 10 Following Official Twitter for the Rust Secure Code Working Group: making it easy to write secure code in RustRust and WebAssembly @rustwasm
8K Followers 0 Following Crafting the future of Rust and WebAssembly 🦀 +🕸David Wood @davidtwco
362 Followers 68 Following A software engineer from Scotland, with an interest in systems software and open source software; member of the Rust compiler team.Rust Hungary @RustHungary
154 Followers 41 Following Magyar Rust közösség | Hungarian community of the @rustlang programming language #rusthuat work, a larger project’s autocomplete went from 1300ms to 400ms. that’s the difference between usable and unusable! i want rust to succeed and for that to happen, rust’s tooling needs to scale sublinearly with codebase size. i don’t know how do that without orphan rules
i’m sorry for quote tweeting, but i feel very strongly about orphan rules— they’re great for tooling and they made it possible for me to land this improvement to rust-analyzer: github.com/rust-lang/rust…
> Orphan rule should be optional Yep.
I regret reading this Nix open letter. This is so dumb.
Extremely disappointed at anyone who signs that open letter. I'm sorry but you can't hide scape goating a single person by a lot of pretty words and use that as a shield to wade off people telling you that scape goating is not ok.
“Rust teams at Google are as productive as ones using Go, and more than twice as productive as teams using C++.” @larsberg_ #RustNationUK
We got an email from the Serbian Registry of Internet Domain Names (RNIDS), the organisation that is responsible for the `.rs` top-level domain. Looks like they are a big fan of Rust. 😊
Herb Sutter says we are close to solving memory safety in C++ without runtime overhead. #CppCon
The competition for talent at leading edge AI companies is intense. @AravSrinivas told us: “I tried to hire a very senior researcher from Meta. They said, come back to me when you have 10,000 H100 GPUs. That would cost billions and take 5-10 years to get from Nvidia.”
Today, @ONCD takes an engineering-forward approach to policymaking with our new technical report, “Back to the Building Blocks.” We’re joined by titans of industry, academia, & civil society to implement the ambitious goals set forth in this report. whitehouse.gov/oncd/briefing-…
Microsoft is hiring for a new Rust tooling team! We're currently looking for a Software Engineering Manager to "play a pivotal role in supporting diverse Rust initiatives throughout the entire Microsoft engineering ecosystem." #rust #rustlang jobs.careers.microsoft.com/global/en/shar…
I really wish there were people who would collaborate on a memory-safe C++ design! I don't want to be the only one doing this.
Engaged with r/cpp and got this reply in regards to my efforts to build a memory-safe path inside C++. He's not wrong. He's just reading the room. Dismayed that I can't find one other person in the C++ community who cares about addressing safety.
ok i cannot help but look at the new "code as config" lang pkl and be like - "this is rust types + serde + rustdoc" ?? which i mean, granted, solid combo.
this got put on my radar this morning and i'm super into it. ✅ binary distro+cache ✅ devDeps style project-level versioning ✅ "less docker" as motivation there's already an issue for cargo-dist compat, excited to dig in more 👯 dotslash-cli.com
Our vision for Act II of @arcinternet
I know that “ship it broken and fix it later” has been the vogue for the last decade, and for what it’s worth probably any company I was put in charge of would fail immediately. Even so, I can’t help but remain enamored with “build it once, build it the right way”
We're hiring for a Principal Software Architect! Microsoft 365 group is "forming a new team focused on enabling the adoption of the Rust programming language as the foundation to modernizing global scale platform services, and beyond" #rust #rustlang jobs.careers.microsoft.com/global/en/job/…