Sunjay @Sunjay03
Rust, Compilers, Game Dev, Life. 🇨🇦✈️🇺🇸 he/him/they sunjay.dev Deep within a compiler Joined September 2009-
Tweets1K
-
Followers2K
-
Following397
-
Likes30K
@modernserf @steveklabnik tapl is the best I know for this (though it does require learning to read inference rules). the reason it's pretty good is because (roughly) every second chapter implements the one before it so you can see the inference rules map to code and work it out that way if you prefer.
@fitzgen maybe if I send you the tabled evaluation paper you can just write your own prolog engine 😅
@__anp__ yes the other lock pictured definitely was. it was funny because this is just a random fence in the rose garden, not a bridge or anything. those locks will not last lol
@myrrlyn ooof yeah that has got to be scary for a lot of people
@sedulousmice congrats!!! this is a huge accomplishment!!! 🎉😁
@ManishEarth murder hornets but they have the virus
Mara @m_ou_se
44K Followers 405 Following Rust dev, Electronics engineer, Author, @rustlang Library team lead, ADHD, Polyamorous, Lesbian, She/Her
Manish @ManishEarth
15K Followers 623 Following territory mapper. 💉did @ca_covid . 🗣️ likes languages. ✈️ Repatriate/ABCD. 👨🔬 Formerly physics. he/him
neural oscillator of ... @mycoliza
22K Followers 1K Following wow, everything’s computer at @oxidecomputer
Tim McNamara @timClicks
25K 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 516 Following Programming languages and graphics person. @pcwalton.bsky.social
Kate @thingskatedid
22K Followers 1K Following she/her · If I unfollowed you, it's because you keep posting things without alt text https://t.co/FpwhLrRETb
Luca Palmieri @algo_luca
16K 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.
Sy Brand @TartanLlama
25K Followers 1K Following c++ developer advocate @microsoft ~ poet ~ film/noisemaker ~ mask enthusiast ~ they/them
llogiq @llogiq
3K Followers 878 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/him
🇺🇦 Ingvar Stepa... @RReverser
8K Followers 1K Following OSS devtools, ex-Google Chrome, ex-Cloudflare, these days actively working in the WebAssembly land. Not here anymore, find me on Bluesky.
henry 🌘 @hdevalence
16K Followers 2K Following ex-{mathematician, cryptographer, cypherpunk} // navigating the library of babel
Lars Bergstrom @larsberg_
3K Followers 3K Following Google Director of Engineering, @android Platform Tools & Libraries. @rust_foundation & @risc_v Board of Directors. Powerlifter. (he/him)
Kenneth Sinder @KennethSinder
285 Followers 89 Following Software engineer, indie music lover, frequent blood donor, proud pet parent. I work on Notion’s API, MCP, and Agents, but opinions here are my own.
Senthilnathan @senth1ll
112 Followers 545 Following Rust dev @gardenfi || Bridging Bitcoin to new frontiers || Sometimes I touch grass
agent crunchwrap @agent_wrap
781 Followers 988 Following ai agent groupie ⛬ member of technical staff @FactoryAI
Cuiawtaux @Cuiawtaux909
18 Followers 925 Following
sf bro @coolkaka61
2 Followers 206 Following
satyajit nayak | MVPs... @satyajitnayk
16 Followers 265 Following 🛠️ Backend dev (Go, Node.js, Postgres) 🔍 Exploring real-world problems | Building tiny MVPs 🧠 Learning in public | Rust curious ⚡ Startup energy | DMs open
aksh1618 @aksh1618
64 Followers 1K Following Technical Architect @ 99Acres. Interested in all things Spring, Kotlin & Rust. Excited about Distributed Systems & Wasm. Part-time O11y nerd.
n. @m5jama
32 Followers 767 Following
Xiaochao Yan @Xiaochao_Yan
29 Followers 1K Following
Serhii Havrylov @SerhiiHavrylov
335 Followers 837 Following PhD student at the University of Edinburgh
jm goom @sucrenoir
488 Followers 1K Following (old) fullstack dev, ai, modular, synths, cryptos, kitesurf, goomishi, digim.i
zhuoyunwei @robinzyw31
87 Followers 3K Following
dirkjbosman @dirkjbosman
585 Followers 4K Following Builder of Software, Hardware & ML systems. Latest projects: - Age of Ai: https://t.co/uIt7eBrS2S - Algojam: https://t.co/TLruXtE7q1 - Audioflow: https://t.co/vmmvIE7bdE
Harsh Mahajan @007harshmahajan
216 Followers 8K Following
Tuan Vu @tuanevu
7 Followers 1K Following
Heneau @Heneau221439
24 Followers 3K Following
Saarika Varma @SaarikaV
666 Followers 758 Following CEO of METEX Entertainment Corp | Founder & Director of Startups | Small-Cap Investor | Fintech | Music | Startup Consultation Available via website or DM.
Ted Feng @artisdom
107 Followers 2K Following
Antoine Boyer @antoineb19
31 Followers 89 Following
Neythus @Neythus180831
94 Followers 4K Following
Lesme @Lesme165168
61 Followers 3K Following
Amal Jossy @Amal_Jossy
133 Followers 811 Following JavaScript developer | loves front-ends | plays Apex and Valorant | 🇮🇳
Shreyas @66_shrey
2K Followers 1K Following Blinders on @meadow_so 🐎 Prev. founded Scout (acq @stockx). Make stuff you love and forget about the rest!!!
Yoda @yodaprime79
0 Followers 56 Following
Anh Nguyen @AnhNguy13823210
2 Followers 337 Following
Bokonon_Lives @Bokonon_Lives
305 Followers 1K Following Coder and retro speedrunner putting my best foot forward | He/him | https://t.co/IToosCyeqB | [email protected] | Mastodon: @[email protected]
Kanwardeep Singh @kanwardeep007
15 Followers 60 Following
mohit @toingg_itsMohit
10 Followers 442 Following just a simple guy from the foothills of the Himalayas with dreams in eyes......... 😎
Unnsse Khan @unnsse
28 Followers 312 Following
Paul @r_kersbergen
604 Followers 694 Following Former Head of SEO for an $8M VC funded Palo Alto startup. Excited about Growth!
Daivik Goel @DaivikGoel
2K Followers 4K Following 🔨Building @Shor_Pay | YC(S25) | I throw tech events @thefoundersbrew | 🎓 @uwaterloo Grad | 🎙 Host of The Building Blocks Podcast
Pratham Savaliya @par_tham
186 Followers 1K Following Machine Learning Practitioner☘️!Community @hackthisfall
Rick Dé | ʀᴅtect.... @rdtect
1K Followers 1K Following Product Designer + Strategist. Digital Experience and Transformation using AI and emergent Tech
Divik @divik_mittal
92 Followers 360 Following curiously navigating life • amateur reader • worker thread
Farhan Ali Khan @arriqaaq
244 Followers 1K Following Senior Software engineer at @SurrealDB, previously @immudb @vmware @cisco
Chris Cunningham @chris_purgatory
133 Followers 3K Following Fresh. Opinions not my employers etc. He/him/his @chris-cunningham.bsky.social @[email protected]
Amit @ARTayade
54 Followers 272 Following
Dresa @_carolinedes
114 Followers 526 Following
Beech @0xKnxwledge
599 Followers 4K Following defi trading @GSR_io | advising @parabolamarkets | (fin)math @uchicago | @paradigm fellow | prev researching @sorellalabs & @lavavc_
Jules @hauntedhost0
673 Followers 5K Following Pattern matching, communization, weird horror, jute knots, love poems lost in notes apps 👻🏳️⚧️
Raj Kumar @mrajkumar83
11 Followers 126 Following
Mara @m_ou_se
44K Followers 405 Following Rust dev, Electronics engineer, Author, @rustlang Library team lead, ADHD, Polyamorous, Lesbian, She/Her
Manish @ManishEarth
15K Followers 623 Following territory mapper. 💉did @ca_covid . 🗣️ likes languages. ✈️ Repatriate/ABCD. 👨🔬 Formerly physics. he/him
neural oscillator of ... @mycoliza
22K Followers 1K Following wow, everything’s computer at @oxidecomputer
Tim McNamara @timClicks
25K 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 516 Following Programming languages and graphics person. @pcwalton.bsky.social
Kate @thingskatedid
22K Followers 1K Following she/her · If I unfollowed you, it's because you keep posting things without alt text https://t.co/FpwhLrRETb
Björkus 'No time_t t... @__phantomderp
13K Followers 2K Following The C Standard Cannot Be Replaced And Will Never Be Destroyed. ➡ https://t.co/IWEB4XZpve | Avatar @KIINGKIISMET | Banner @Reckless_Moss
Jon Gjengset @jonhoo
36K Followers 190 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
Sarah Drasner @sarah_edo
300K Followers 3K Following Opinions my own Area Tech Lead, AI and Web Ecosystem @chrome, Formerly Sr. Director of Core Infra @google • O'Reilly Author • https://t.co/HhzYWwxYAH
Michael Gattozzi @mgattozzi
5K Followers 70 Following I was gifted premium I would never actually buy it. 'A bad programmer' according to the Orange Site, he/him.
Aria Desires @Gankra_
8K Followers 364 Following its me, the sapphic disaster who maintains your docs. trans woman, she/they, 30 (avatar: @dizzimitzi) on a sabbatical
Jaana Dogan ヤナ �... @rakyll
167K Followers 1K Following ML/AI Systems at Google. Simplicity and optimism. Personal opinions. 🇺🇸🇪🇺
Catherine @whitequark
27K Followers 386 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!
ashley williams @ag_dubs
19K Followers 187 Following a mess like this is easily five to ten years ahead of its time. former @rustlang core team. now i build build systems at @shopify.
Sy Brand @TartanLlama
25K Followers 1K Following c++ developer advocate @microsoft ~ poet ~ film/noisemaker ~ mask enthusiast ~ they/them
SwiftOnSecurity @SwiftOnSecurity
411K Followers 9K Following computer security person. former helpdesk.
Rust Language @rustlang
153K Followers 2 Following A programming language empowering everyone to build reliable and efficient software. ** This account is no longer active. Follow us on other platforms! **
Will Crichton @tonofcrates
7K Followers 160 Following Cognitive engineer, assistant professor @BrownUniversity.
Senior Oops Engineer @ReinH
20K Followers 2K Following doin capitalism a frighten, https://t.co/mROKLREFXT deleted my bsky account because of the racism don't ask me to come back
Circleboom @circleboom
230K Followers 1K Following We create intuitive and easy-to-use social media products for brands, SMBs and users / Official X Enterprise Developer @circleboomhub @circleboomdev
Xfactor521 @xfactor521
60 Followers 157 Following She/Her A nurse with a heavy passion for games. (Leaving medicine to start game dev eventually)
Satnam Singh @satnam6502
22K Followers 3K Following Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Varun / 王潤 / げ�... @typesanitizer
1K Followers 487 Following I am once again asking you to expect more from the tools you use every day. OK: English, हिंदी, ગુજરાતી; limited 日本語, 中文. Avatar by @evatrice. He/Him.
sailor mercury @sailorhg
30K Followers 0 Following ✿ putting the soft in software engineer ✿ https://t.co/AFt9POD5Z3 | 🇲🇨🇺🇸| bi | she/they/dia | @[email protected] | i follow via lists
Sammy S @ImmutableBug
78 Followers 72 Following I die, as I have lived, a free spirit, an Anarchist, owing no allegiance to rulers, heavenly or earthly. (she/they, alt @StealthyBug)
S🦀sha @scrabsha
1K Followers 403 Following Rust, compilers, functional programming and shitposting also -- 🏳️⚧️ -- she/her -- DMs always open
Amy Chantasirivisal @AmyChanta
3K Followers 4K Following Engineering Leader - People first, always. she/her, 🇹🇭🇺🇸 Leadership, DEI&B, tech, ADHD, toddlers, cats, food, and sometimes shitposts
Josh Stone @cuviper
467 Followers 84 Following Compiler Engineer @RedHat; @rustlang Library and Release team member; former Project Director @rust_foundation; he/him
Lexa @Lexacutable
3K Followers 1K Following 🐘 @[email protected] 🌥️ @lexacutable.bsky.social 🌇 Game programmer 🌃 sleepy wine mom 🐚🎼 loyal sailbird 🏳️⚧️ saucy on main 💕
nora tindall 𝕐 @NoraDotCodes
2K Followers 244 Following "and once the last of those fires let fall / there was no lord in the world at all"
shenetworks @shenetworks
74K Followers 875 Following a menace • hacker • shenetworks @ TikTok & YouTube & Twitch.
Disposable Gamer (Jes... @TheDisposableG
345 Followers 301 Following I like talking nonsense about games while staring into the black void of the lens.
Sean McArthur @seanmonstar
5K Followers 80 Following rust all the https 🦀 @hyperium_rs 🐘 Mastodon: @[email protected]
@[email protected] @shafikyaghmour
8K Followers 866 Following Compiler Engineer clang front end. Interests: C++, C, and undefined behavior. Martial Artist, Book Worm and Dad. @[email protected] he/him
Ali Spittel @ASpittel
114K Followers 2K Following dev stuff @aws // Python + JavaScript engineer // tweets my own
Brian Anderson @NewbieBrian
503 Followers 5 Following
senyo @senyeezus
927 Followers 883 Following networking & kubernetes • causing incidents until morale improves @flydotio • interested in software beneath the stack • 🇬🇭 x 🇿🇦
Penumbra 🌘 @penumbrazone
22K Followers 197 Following A fully private, end-to-end encrypted DEX and blockchain for the Cosmos and beyond.
jill wohlner @JillWohlner
9K Followers 341 Following Recruitment. Queer. Sober. Wife. Very funny person. Founder - The Good Recruiting Company
Marc Brooker @MarcJBrooker
25K Followers 749 Following Distinguished engineer at AWS. AI, agents, databases, and serverless. Views are my own.
Shane Miller @SkippersWif
1K Followers 1K Following CEO | Certified Autism Specialist | Ex-AWS, GEICO, CSC
Meredith Whittaker @mer__edith
119K Followers 4K Following President of @signalapp, Chief Advisor to @ainowinstitute (Also on Mastodon @[email protected], also on bsky @meredithmeredith.bsky.social)
the6p4c 💻🐶 @the6p4c
3K Followers 680 Following ✨🐶 warning: loud borks and boings ahead 💖 they/them 🦈⭐
Dev @Dev14e
1K Followers 864 Following no time for facts, vibes only. washed up, has been grad student
rea ✈️ LAX @rea_loretta
7K Followers 776 Following buliding https://t.co/Mh3rwU8K8Q artist @SharkyFi 🍋 coder @ToastEng @SlackAPI 🎒 @caltech 🍡
Talia Ringer 🕊🪬 @TaliaRinger
33K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Elgin-Skye McLaren @elginskye
1K Followers 2K Following Sr. Product Manager @Mozilla MSc Interactive Arts + Technology @SIATSFU. Mostly tweets about 💻 and 🐕 (She/Her)
Edward Kmett @kmett
17K Followers 812 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
justkelly.bsky.social @UrFriendKelly
28K Followers 2K Following not really here any more, active on bsky! feminist gamer cat lady, ex-software engineer, now in law school at Cornell
Cain Maddox @ctrlshifti
60K Followers 263 Following https://t.co/yO4cPzMSTo https://t.co/uU4TRYk3gv i don't check my dms. for inquiries, email me at [email protected]
Colm MacCárthaigh @colmmacc
38K Followers 2K Following VP / Distinguished Engineer at Amazon Web Services. Also: Open Source and Apache, Cryptography, Irish Music, mediocre Photography.
Rust Foundation @rust_foundation
41K Followers 178 Following The nonprofit dedicated to stewarding the Rust programming lang & its community 🦀 bsky: https://t.co/pURKYFM3az Mastodon: rustfoundation
sabree λ ☕ → �... @HeavyPackets
2K Followers 2K Following ♥️ Security + Privacy, PL, Formal Methods, DX, Rust 🦀, Lean, F* 🏳🌈 {⊥/⊥}
President Biden Archi... @POTUS46Archive
35.7M Followers 5 Following This is an archive of a Biden administration account, maintained by the National Archives and Records Administration.
José Manuel Calderó... @josecalderon
2K Followers 865 Following Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
J. Florence Martin @JFMwrites
155 Followers 331 Following Writer of SFF. Contributing Editor @MagazineCrows. 🌟 ENU '19 #SHUWPF '21
juliette🌲💜📚 @sedulousmice
13 Followers 181 Following books & TTRPGs mostly. they/them. might be 28, might be an ageless entity from another realm.
niki c @inventednight
233 Followers 768 Following also known as nick ## security & coding person ## no pronoun preference
Andy Jassy @ajassy
3.8M Followers 284 Following Lead Amazon, married and father of two kids, big sports/music/film fan, experienced buffalo wings eater. Go Kraken!
Carter Anderson @cart_cart
5K Followers 151 Following Creator of Bevy Engine | GameDev | Programmer | Artist | Previously: Senior Software Engineer at Microsoft | @cart.work on Bluesky
Amit Patel @redblobgames
19K Followers 15 Following I explain algorithms and math with interactive web pages (incl. pathfinding, hexagons, procgen maps, voronoi). Wrote Solar Realms Elite; helped w/@rotmg_news
You might like
David Tolnay
@davidtolnay
9K Followers
Michael Gattozzi
@mgattozzi
5K Followers
Sean McArthur
@seanmonstar
5K Followers
Guillaume Gomez @impe...
@imperioworld_
3K Followers
llogiq
@llogiq
3K Followers
Andrew Gallant
@burntsushi5
11K Followers
Manish
@ManishEarth
15K Followers
Josh Triplett @josh@j...
@josh_triplett
4K Followers