CoopCoding
Loves programming; with an interest in functional programming.
Current language: purescript
https://www.coopcoding.top/
@requestmetrics.com
Integrated Web Performance Monitoring ๐ https://requestmetrics.com/
@pmbanugo.me
Software engineer/consultant, trainer, and author @pluralsight. Interested in Web performance, CI/CD, scalable/fault-tolerant systems https://www.youtube.com/@pmbanugo
@performanceobserver.dev
A virtual meetup for the web performance community https://performanceobserver.dev/
@alekseykulikov.bsky.social
#webperf, founder of https://treo.sh/, synth player, live in Maribor, Slovenia
@markrussinovich.bsky.social
CTO of Microsoft Azure, author of novels Rogue Code, Zero Day and Trojan Horse, Windows Internals, Sysinternals tools. Opinions are my own.
@jeriellsworth.bsky.social
๐จโ๐ฌ Big nerd. Building things. โจ๐๐ซ๐๐๐๐๐๐น ๐ท๐ ๐ต๐พ๐๐ธ๐ฝ ๐๐๐๐๐โจ ๐ Trump voters: History wonโt be kind to you. Neither will I ๐ Progress isnโt about making you comfortable
@formalland.bsky.social
Formal verification for everyday-life applications We use math to ensure your code has no vulnerabilities For Rust, Solidity, zk circuits. We use Rocq. https://formal.land/
@elefthei.bsky.social
PhD candidate @Penn, Compilers, Formal Verification, Cryptography. Previous: @AWS, @MIT, @Apple.
@aldlatour.bsky.social
Computer Scientist. Assistant professor interested in Boolean satisfiability, counting, reasoning under uncertainty, formal verification. Feminist. Trekkie. Traveller. Go-to LaTeX expert in our research group.
@jgancher.bsky.social
Assistant Prof @ Northeastern. Formal verification + security + crypto. https://gancher.dev
@keles.bsky.social
METU CENG 21' PhD Student at UMD Programming Languages/Formal Verification/Random Testing Writing at http://alpkeles99.medium.com Twitter: @keleesssss
@jingbow.bsky.social
Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM
@lawrpaulson.bsky.social
Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications.
@vanlightly.bsky.social
Researcher, advisor, writer, formal verification eng @ Confluent. Everything data (dist sys, databases, messaging, data eng/analytics). https://jack-vanlightly.com, https://www.hotds.dev Credit: ESO/B. Tafresh
@gamingonlinux.com
News + Opinions. UK based. One person mostly. Content creator of many forms. Support on Patreon: http://patreon.com/liamdawe https://www.gamingonlinux.com (official account). Personal on @liamd.gamingonlinux.com Email tips: contact@gamingonlinux.com
@kyleshevl.in
Software engineer. Skilled with React, Astro, JS/TS, and frontend. Expanding my skills with Postgres more & more these days. Scratch golfer. AuDHD. https://kyleshevlin.com
@nickyt.online
Developer Advocate @pomerium.io OSS Maintainer & Contributor Cloudinary Ambassador prev: @opensauced.pizza, @netlify.com, @dev.to ๐ Montrรฉal ๐จ๐ฆ ๐ nickyt.online ๐๏ธ OneTipAWeek.com ๐๏ธ YouTube.com/@nickytonline
@reactuniverseconf.com
React Universe Conf is a React and React Native conference happening on Sept 2-4, 2025, in Wrocลaw, Poland. Lear more on https://www.reactuniverseconf.com/.
@jonmajorc.dev
Jesus โ โข Senior Software Developer @ Infinite Red writing React Native โข Published Photographer โข Coffee enthusiast โข Bless God in all that you do โ๏ธ
@danawoodman.com
pronounced: Day-Nuh. seรฑor software dev (typescript, svelte, astro, golang). tax wealth, not work
@israataha.bsky.social
๐ฉ๐ฝโ๐ป Software Engineer/Architect | React | React Native | .NET/C# I blog occasionally on israataha.com
@irontonythedev.bsky.social
โ๏ธ Senior React Native Developer @callstack.com ๐จ๐ปโ๐ป Creator of: react-native-keycloak, react-auth, react-native-redux-toolkit-starter-app
@joshuayoes.com
Senior Software Engineer at @infinite.red @jamon.dev's professional tweet booster
@nerdfromchile.bsky.social
Hombre de familia ๐งโ๐งโ๐งโ๐ง | Desarrollador y arquitecto de software ๐จ๐ปโ๐ป | Lector curioso ๐ | Viajero incansable ๐ | Vancouver, Canadรก ๐จ๐ฆ
@zoontek.me
Frontend & mobile @ http://swan.io โข author of react-native-(permissions | localize | bootsplash | edge-to-edge)
@kraenhansen.dk
Software craftsman, particularly interested in local-first software, databases, sync engines and (react) native code. Father of three ๐ญ๐ผ๐ถ from Denmark ๐ฉ๐ฐ Building DevTools at MongoDB ๐ Accepts sponsorships ๐ธ https://github.com/sponsors/kraenhansen
@reactiflux.com
The largest chat community of professional React developers. Find us on Discord: https://join.reactiflux.com Contact the team: hello@reactiflux.com
@jgarplind.bsky.social
I'm with Kevin ๐ถ Developing all kinds of software for ๐ฅ@๐ก at Medoma I mostly post tech-related things I find useful and want to remember, hopefully interesting others along the way.
@bonesyblue.bsky.social
Senior Dev ๐จ๐ปโ๐ป || Musician ๐น || Engineer ๐ฑ|| Rocket man ๐ Interested in all things React, React Native & Expo. Co-Organizer of Kiel React (Native) Meetup. ๐Hamburg, DE
@atila.io
@neon.tech | @solidjs.com | GDE Web Tech โณ atila.io/youtube Puns are usually intended.
@tommy.nguyen.works
Developer at Microsoft, working on React Native, developer experience, mostly in open source. Hobby game developer. ๐ https://github.com/tido64 ๐ https://hachyderm.io/@tido
@robwalker.co
Staff Software Engineer @ Nearform | Co-founder of http://papertrail.io | React {Native} | Newcastle, UK | Dad of 2
@satya164.page
โฅ๏ธ CSS, JavaScript, TypeScript, React, React Native ๐ผ Front-end @callstack.com ๐จ Builds @reactnavigation.bsky.social ๐ Globe Earther ๐ณ๏ธโ๐ He/Him
@tomekzaw.bsky.social
React Native Open Source Developer at Software Mansion, maintainer of #Reanimated, author of #LiveMarkdown, App.js Conf 2022 speaker, React Native Connection 2024 speaker
@grabbou.com
Objective-C was great ๐ cto and founder at callstack, react native core contributor
@wcandillon.bsky.social
Maker of the โCan it be done in React Native?โ YouTube series http://youtube.com/wcandillon
@codinsonn.dev
Full-product Universal App Dev. Helps you build portable features for Web and Mobile in a write-once way ๐ค ๐พ #GraphQL โก๏ธ #ReactNative โก๏ธ #Expo โก๏ธ #NextJS โก๏ธ #Zod โก๏ธ #Typescript Dev merch for fun & funding ๐ All of my stuff ๐ https://codinsonn.dev/bio
@margelo.com
High-end app development agency, aka "the React Native Avengers". Hire us: https://margelo.com
@flikq.dev
CoFounder & Champion of UI/UX & Dev @Kolex.gg digital & hybrid collectibles on and off chain & https://sky.flikq.dev - I design, scope & build stuff - React/React Native / Expo - Sim Racer