David Justo
PL fool and DB theory nerd. Working on the C++ Address Sanitizer for Windows these days (dynamic analysis for memory safety), still a Durable Functions nerd.
@ttforall.bsky.social
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
@rreverser.com
#WebAssembly consultant You might know me from my work on OSS tools and libraries (JS / Wasm / Rust), Wasm DevRel at Google Chrome, or breaking the internet at Cloudflare. 📝 https://rreverser.com/ 📷 https://instagram.com/rreverser
@zerochilltea.bsky.social
any | staff site reliability engineer with roots in SWE | Daoist,artist, writer, musician, complex systems thinker, troll under the bridge w shitty puzzles | soft, like the ocean is soft. gentle, like the sun could be gentle | www.nombiezinja.com |not poly
@typeholes.bsky.social
Interested in all things programming, cooking, cats. Love to explore new programming languages and build dev tools.
@sarahedo.bsky.social
Opinions my own. https://sarah.dev Sr Director of Engineering @ Google: Core Web, Android, iOS Infrastructure Formerly Vue Core • Frontend Masters teacher • O'Reilly Author • https://www.engmanagement.dev/ https://github.com/sdras
@r.v.cx
Pretty sure I’m right about: - RFC 3339 dates - ISO 216 paper sizes - Fahrenheit weather temperatures - Dot-grid paper - End-to-end encryption - Software engineering being about collaboration costs Less confident about the rest. https://linktr.ee/rvcx
@kattenbarge.bsky.social
Independent journalist covering internet culture, politics, and media @spitfirenews.com.
@pvh.ca
just this guy, you know? (director of research @ ink & switch, coined "local-first", contributor to automerge, former postgres guy, heroku staff, ex-game developer, arctic oceanographer.)
@damianedwards.com
PM Architect on .NET at Microsoft ❤️ craft 🍺 malt 🥃 good ☕ fine ⌚ F1 🏎️ 📺 https://live.damianedwards.com
@kagi.com
Humanizing the web with a user-centric search engine and browser - no ads, no trackers, just you and the product you love: https://kagi.com/
@cola.baby
Art and apparel for people who are sick of this shit already www.thecolacorporation.com
@adamgordonbell.bsky.social
Follow me for Coding, Computers, and Backend stuff. Community at Pulumi Host of CoRecursive Give me feedback: https://admonymous.co/adamgordonbell
@drun.v25media.com
👨🏼🎤 he / him 📜 Papers We Love Co-Founder 🍵 Tea filtration organism ∞ Parenthesis enthusiast 🧠 Psi-division ⚠️ Social Media is Bad You Have Been Warned
@plrg-bristol.bsky.social
This is the account of the Programming Languages Research Group at the University of Bristol. https://plrg-bristol.github.io/
@phillipcarter.dev
just a computer boy who likes ML and PL and OpenTelemetry work: @honeycomb.io, past microsoft (F# and .NET) play: computers, backpacking, snowboarding, hiking, kayaking https://phillipcarter.dev/
@djc.ochtman.nl
Fan of Rust, open source maintainer. Please consider sponsoring my OSS work on GitHub.
@nikomatsakis.com
Weird Al meets Grace Hopper. Rustacean. He/him. I work for @AWSCloud. Opinions on twitter and elsewhere are my own.
@konstantinoskallas.bsky.social
Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
@james.newtonking.com
Principal Software Engineer ASP.NET. Author of Newtonsoft.Json.
@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
@mary.my.id
web dev @buttondown.com 🏳️⚧️🇮🇩 she/it · 22 dms open but rarely checked mary.my.id for projects and other socials
@donmoyn.bsky.social
Policy Professor, Ford School, University of Michigan. Irish immigrant. Administrative burdens guy. Free newsletter, Can We Still Govern?: https://donmoynihan.substack.com
@kirillosenkov.com
(Unofficial) VP of Developer Productivity at Microsoft. Developer tools, engineering systems, .NET, C#, Roslyn, Visual Studio, Editor, WPF, Avalonia, MSBuild.
@aftermath.site
Aftermath is an independent, worker-owned website about video games and internet culture. www.aftermath.site
@uchilrev.bsky.social
The University of Chicago Law Review is a journal of legal scholarship edited by students of The University of Chicago Law School.
@ericmigi.com
Inventor of things. Previously: cofounder Beeper.com, partner @ycombinator, founder @pebble
@jakebailey.dev
According to git blame, I wrote the TypeScript compiler, don't fact check that Senior Software Engineer at Microsoft working on TypeScript Underground gopher, finally revealed https://jakebailey.dev/ https://github.com/jakebailey arch btw
@parkerortolani.com
product development @ Penske Media | prev @theverge.com & @polygon.com, @9to5mac.com, and @buzzfeed.com | opinions are my own 🔗 https://www.parkerortolani.com ✍🏻 https://www.postsbyparker.com 🎨 https://www.behance.net/parkerortolani
@virtualddd.com
A community driven platform for people who want to get more in depth knowledge of Domain-Driven Design and solving complex business problems.
@pierredb.bsky.social
Computer science researcher/assistant professor at CVUT (Prague) Research on programming languages, including R www.pdonatbouillud.fr
@dryad.technology
glitch girl — I do not trust this place and would prefer you follow me on Mastodon https://mastodon.social/@mcc — Avatar by Egypt Urnash — she/her — 🏳️⚧️🏳️🌈
@lcamtuf.coredump.cx
Substack: http://lcamtuf.substack.com/archive Homepage: http://lcamtuf.coredump.cx
@tonofcrates.bsky.social
@reifyreflect.bsky.social
@ghostrights.bsky.social
CS PhD student at UMD (part of @plumlab). Previously at Epic, Northwestern University.
@tracketpacer.bsky.social
🚀 rockit network engineer 👩🏼💻that lil voice in yr head singing abt ethernet 🛜 weird use cases & silly tech! 💌 tracket@tracketpacer.com 🌎 tracketpacer.com
@skylight.social
👇Join Skylight Social!👇 https://apps.apple.com/us/app/skylight-social/id6740706006
@citostyle.bsky.social
CS Prof @ TU Wien (Vienna), prev DevAI @ Google, Probability @ Meta, Researcher @ MIT and Uni Zurich
@kanadig.com
Building Python extension and tools for VS Code. Developer Manager at Microsoft https://github.com/karthiknadig https://linkedin.com/in/karthiknadig/
@joborgs.bsky.social
Associate prof at Uppsala University in Programming languages Swedish econ through an MMT lens - MMT for Sweden Born at 335 ppm, living in Stockholm 🇸🇪 previously 🇬🇧 🇩🇪 🇨🇭 Private account, he/him, 🌹 🇺🇦 🟣