José Valim

@josevalim

Late announcements only. Creator of @elixirlang. Chief Adoption Officer at @dashbit and @livebookdev.

+ Follow

Eric Migicovsky

@ericmigi

Product of my errors. Previously: @beeper @YCombinator @Pebble

+ Follow

Geoff Knauth

@gknauth

software developer, flight instructor, coxswain/rower, linguist

+ Follow

Tampa Bay Times

@tb_times

Florida's largest newspaper with 14 Pulitzer Prizes. Have story ideas or tips? DM us. Support our local journalism: subscribe.tampabay.com | tampabay.com/donate

+ Follow

Nate Foster

@natefoster

professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.

+ Follow

Susan Potter

@susanpotter

CTO / Principal SWE Consultant @referentiallabs. Antifascist. Gay. Immigrant. Loves: #OptionsTrading #FunctionalProgramming #economics #mathematics #systems

+ Follow

10 Tampa Bay

@10tampabay

Tampa Bay’s official CBS affiliate 📺📱 News 📰 Weather ☀️ Traffic 🚦 Sports 🏈 News tips? 📱 727-577-1010, 📧 [email protected] or reply using @10TampaBay

+ Follow

Jens Mönig

@moenig

Lawyer, Learner, Lead Programmer of @UCBerkeley Snap! Researcher @SAP

+ Follow

nixCraft 🐧

@nixcraft

Enjoy #Linux, #macOS, & #Unix systems? #Opensource software & #programming? Enjoy #Sysadmin & #DevOps work? Follow us to make the most of your geeky IT career.

+ Follow

Mitch ((No Kings!!)) 🟦😱

@mwand

+ Follow

Johns Hopkins All Children's Hospital

@allchildrens

Johns Hopkins All Children's Hospital provides expert pediatric care for children and families from across the state of Florida and beyond.

+ Follow

Xtext

@xtext

Xtext - Language Development Framework

+ Follow

WFLA NEWS

@wfla

WFLA News Channel 8 is a news leader in Tampa Bay.

+ Follow

Visit St. Pete-Clearwater

@visitspc

Welcome to the official X for St. Pete-Clearwater, Florida - Home to America's Favorite Beaches! ☀️🌴🏖

+ Follow

NEJM

@nejm

The New England Journal of Medicine is the world’s leading medical journal and website.

+ Follow

Paul Dellegatto⚡️FOX

@paulfox13

Chief meteorologist at FOX13 in Tampa. Tweeting about weather ⛈ - sports 🏈 - Brody 🐕 Natick, MA native. Fluent in sarcasm.

+ Follow

x - Tampa Bay Lightning

@tblightning

Welcome to hockey paradise. Your '04, '20, & '21 Stanley Cup Champions. 🏆 #GoBolts

+ Follow

Johns Hopkins Children's Center

@hopkinskids

Johns Hopkins Children’s Center is ranked among the best children's hospitals in the nation. #KidsHealth #ForTheKids

+ Follow

American Academy of Pediatrics

@ameracadpeds

Dedicated to the health, safety and well-being of infants, children, adolescents and young adults.

+ Follow

Daniel Friedman

@dfried00

+ Follow

Tampa Bay Rays

@raysbaseball

Posts with a hint of citrus 🍊

+ Follow

JetBrains MPS

@jetbrains_mps

MPS is an open-source tool to create domain-specific languages (DSL). Join us on Slack: jb.gg/slack-mps-comm…

+ Follow

Jeremy Siek

@jeremysiek

Prof. at IU, dad, runner, cook, programming language design, gradual typing, generic programming, type systems, mechanized proofs. @[email protected]

+ Follow

Sebastian Ullrich

@derkha

find me at @[email protected]

+ Follow

PLDI

@pldi

The ACM SIGPLAN Conference on Programming Language Design and Implementation. Official hashtag this year: #PLDI2025. Tweets by @konskallas and @lastland0

+ Follow

Tyler van der Hoeven

@kalepail

OG developer advocate @StellarOrg. "Work, and stuff will happen".

+ Follow

NUS Hackers

@nushackers

We're building a community of passionate hackers in the National University of Singapore 🦆 💻

+ Follow

Dillon Mulroy λ

@dillon_mulroy

leading domains @vercel ▲ • tweets about functional programming, typescript, neovim, & formula 1 • github.com/dmmulroy • twitch.tv/dmmulroy

+ Follow

Tampa International Airport ✈️

@flytpa

Official account of Tampa International Airport, the gateway to the West Coast of Florida

+ Follow

Pebble

@pebble

Wearables with brains for people with heart. Turn tiny moments of awesome into the best times ever. Tell the world how you #MakePebbleYours ❤️

+ Follow

AuroraWatch

@aurorawatch

Witness the Northern Lights with the University of Alberta's free email alert service for central Alberta. Visit our website for activity, images and more!

+ Follow

Sonic Pi

@sonic_pi

The Live Coding Music Synth for Everyone. Express yourself with code whilst learning core Computer Science concepts. Patreon: patreon.com/samaaron

+ Follow

Lisp Flavored Erlang

@erlanglisp

Now on Mastodon at fosstodon.org/@lfe

+ Follow

OCaml

@ocamllang

OCaml is a general purpose industrial-strength programming language with an emphasis on expressiveness and safety.

+ Follow

Bob Konferenz

@bobkonf

Account on hiatus. Please find us at @[email protected] and @bobkonf.bsky.social

+ Follow

Snap! Cloud

@snapcloud

Visually create, save, and share projects, in the cloud, with Snap!, a blocks-based programming language. Brought to you by @UCBerkeley, @SAP and @moenig

+ Follow

Sapna Kudchadkar, MD, PhD

@sapnakmd

#Anesthesiologist-In-Chief @HopkinsKids. Professor & Vice Chair for #PedsICU & #PedsAnes @HopkinsMedicine. @PICU_Up Director. Researcher. Mom. 🎺

+ Follow

fsharpJobs

@fsharpjobs

Ping me If you have open #fsharp position or looking for #fsharp job. Account is owned by @sergey_tihon.

+ Follow

Ben Greenman

@ben_greenman

+ Follow

notjack

@doitwithalambda

rapid unscheduled torment nexus disassembly expert — nonbinary, she/they, 28 — writes Racket — bsky.app/profile/notjac… — cohost.org/notjack

+ Follow

Michael Ballantyne

@mj_ballantyne

PhD student @neu_prl, making @racketlang a better host for DSLs.

+ Follow

CodexCli

@openaicodexcli

Community account for sharing OpenAI's Code CLI related projects and releases. Views and shares do not reflect @OpenAI positions.

+ Follow

Lean

@leanprover

Lean is a dependently-typed programming language and theorem prover.

+ Follow

Diego Crespo🎄

@deusinmach

Man of God. I write the deusinmachina.net blog about Programming, Programming Languages, Technology, and Artificial Intelligence

+ Follow

Sacha Ayoun

@sachaayoun

PostDoc at Imperial College London with Azalea Raad and Peter O'Hearn Formally core developer on the Gillian Platform

+ Follow

sophia*

@oxa11ce

memetic outlaw

+ Follow

LangDev Conference 2024

@langdev2024

The Language Developer’s Workshop is an informal meeting where language engineering enthusiasts.

+ Follow

Sam Westrick

@shwestrick

assistant prof @NYU_Courant CS :: PL :: parallel computing :: music :: lead dev of the MaPLe compiler github.com/mpllang/mpl :: shwestrick.bsky.social

+ Follow

Alex Knauth

@alexknauth

I like programming languages and functional programming, music, art, math-as-an-art-form, lakes, and other random he|they & 27 pronoun.is/he?or=they

+ Follow

mbg

@mbrg0

Breaking AI. Building @zenitysec, lead @owaspnocode, columnist @DarkReading

+ Follow