Charly
Computer system researcher, working on OS, virtualization, and confidential computing.
@rust-lang.org
A programming language empowering everyone to build reliable and efficient software.
@microkerneldude.bsky.social
Physicist by training, computer engineer by passion Scientia (distinguished) Professor and John Lions Chair of Operating Systems at UNSW Sydney and Founding Chairman of the seL4 Foundation FACM FIEEE FTSE FRSN ML
@rustfoundation.org
The Rust Foundation is an independent nonprofit organization dedicated to stewarding the Rust programming language and its global community. rustfoundation.org
@rustconf.com
A conference dedicated to #rustlang and its global community 🦀 Join us for RustConf 2025 from Sept 2-5. More info to come! rustconf.com
@fredericjacobs.com
Cryptographic & Security Engineering “Blue Skies” on all things #cryptography, #security, #climate, European #aerospace, #energy and #mobility. Previously: helped start Signal, early Bellingcat contributor www.fredericjacobs.com
@pa0x73cal.bsky.social
ENSTA @ Brest. Associate professor. Embedded systems, microarchitectures security, FPGA and other stuff. pcotret.gitlab.io
@eurorust.eu
EuroRust is a 2 day conference for the European Rust community. We cover all things Rust. Presented by @mainmatter October 9th+10th 2025, Paris & online
@lauriewired.bsky.social
researcher @google; serial complexity unpacker; writing http://hypertextgarden.com ex @ msft & aerospace
@bevyengine.org
Official account for Bevy Engine: a refreshingly simple free and open source game engine built in Rust. Follow for news and curated #bevy / #bevyengine content. https://bevyengine.org
@inkandswitch.com
An independent research lab exploring the future of tools for thought. We envision a new computer that amplifies human intelligence. A system that helps you think more clearly, collaborate more effectively, and is available anywhere and anytime.
@stuffwithstuff.com
Dad, husband, brother, son. Working on Dart at Google, ex-game dev at EA, wrote "Game Programming Patterns" and "Crafting Interpreters". http://stuffwithstuff.com/
@sigplan-pldi.bsky.social
The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi25.sigplan.org/. Official hashtag this year: #PLDI2025. Posts by @konstantinoskallas.bsky.social and @lastland.bsky.social.
@neovim.io
Neovim is a hyperextensible Vim-based text editor Ways to support the project: - https://github.com/sponsors/neovim - https://store.neovim.io - Have fun using it and spread the word
@tweedegolf.bsky.social
Software agency in NL. Web, security and embedded. Rust specialists.
@acm.org
The world's largest professional organization advancing #computing as a science and profession. Also on Mastodon | LinkedIn | Meta | YouTube | Instagram.
@gnutools.bsky.social
GCC, Binutils, GDB, GLIBC. The system compiler for the FOSS and Linux software ecosystem. Continually Improving.
@romac.me
Hi! I am Romain (or Romac). At work, I strive to build correct and resilient distributed systems using Rust and formal methods. At home, I like writing mini-compilers and all sorts of software in Rust, Scala, Swift and Haskell.
@felicitas.pojtinger.com
Code sorceress @loopholelabs.io #linux #kubernetes #virtualization #wasm #gnome Mastodon: @pojntfx.mastodon.social.ap.brid.gy she/her | Vancouver, BC https://felicitas.pojtinger.com/
@godsped.com
@agg.io
🚀 engineer; also electronics, embedded and scientific software, FPGAs, Rust. Beginner astrophotographer. He/him.
@nushell.bsky.social
A new type of shell. This account is currently suspended. For recent updates, follow us on our blog, GitHub, or join our Discord. https://www.nushell.sh
@ab.id.au
Core OS and systems security research @Google Zurich. Ex-{UNSW,ETH,MSR}. Mostly 🇦🇺. He/him.
@solalpirelli.bsky.social
Automated software verification, scientific integrity, and random rants. Previously: PhD at EPFL.
@marcbrooker.bsky.social
Serverless, databases, and serverless databases at AWS. Views my own. Check out my blog: https://brooker.co.za/blog/
@konstantinoskallas.bsky.social
Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
@pcwalton.bsky.social
Programming languages and graphics person. Rust compiler developer, Firefox hacker, Bevy contributor.
@typst.app
Compose papers faster: Focus on your text and let Typst take care of layout and formatting.
@jfbastien.com
Distinguished engineer Woven by Toyota—Compiler engineer—security enforcer—C++ standards committee language evolution chair—WebAssembly co-instigator 🔗 https://jfbastien.com 🔗 https://tlbh.it 📍 東京、日本
@nikomatsakis.com
Weird Al meets Grace Hopper. Rustacean. He/him. I work for @AWSCloud. Opinions on twitter and elsewhere are my own.
@fasterthanli.me
hi, I'm amos! 🍃 they/them 🫐 open-source goblin and content creator(TM) at @bearcove.eu ✨ be kind, be curious articles: https://fasterthanli.me videos: https://youtube.com/@fasterthanlime podcast: https://sdr-podcast.com work: https://bearcove.eu
@bcantrill.bsky.social
Co-founder and CTO of Oxide Computer Company. According to Field of Schemes, "tech exec and Oakland A's fan" -- but more of an Oakland Ballers fan now.
@servo.org
Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications. https://servo.org https://github.com/servo/servo
@ncameron.org
@jamesmunns.com
Notable Protocol Enjoyer. Doing stuff, mostly in Rust and on Embedded systems. Need help with that? Hire me @onevariable.com Co-host @sdr-podcast.com DMs (matrix): @jamesmunns:beeper.com DMs (signal): jamesmunns.255 he/him Kein Ort für Nazis
@ferroussystems.bsky.social
Ferrous Systems builds stable software in and around Rust. We focus on development, tooling and training for embedded systems and network services. https://ferrous-systems.com
@elizas.website
e-girl (engineering girl) • interested in the kind of software nobody writes anymore • making computers at @oxide.computer • love too cheap to meter • nulla crux, nulla corona
@atproto.com
Social networking technology created by Bluesky. Developer-focused account. Follow @bsky.app for general announcements! Bluesky API docs: docs.bsky.app AT Protocol specs: atproto.com
@steveklabnik.com
#rustlang, #jj-vcs, atproto, shitposts, urbanism. I contain multitudes. Currently in Austin, TX, but from Pittsburgh. Previously in Bushwick, the Mission, LA.