Tom @tomstructured

CS student. Studying logic and programming languages. Mastodon: @[email protected] Joined January 2025

Tweets

1
Followers

23
Following

506
Likes

137

No recent Tweets. New Tweets will appear here.

AnnabelleAlice @2N7k1bO6WZ3Ddm

10 Followers 696 Following There is no limit to what we, as women, can accomplish.

bowtochris.bsky.socia... @BowToChris

1K Followers 514 Following Software Assurance. IV&V. Type theory. Single and ready to mingle.

Julia Visiagina @juliavi_art

27 Followers 188 Following

Virgie Heaney @HeaneyVirg63679

92 Followers 2K Following

s↭phia ▓ ☽ @nautamine

673 Followers 3K Following algebraic topology and topoi enjoyer interested in ontology en fr ar de / zh learning

Studying programming languages. Mastodon: @tsungju@mathstodon.xyz

Tsung-Ju Chiang @tsungjuc

81 Followers 198 Following Studying programming languages. Mastodon: @[email protected]

aria @blarptech

13 Followers 52 Following 🏳️‍⚧️ Studying mathematics to better hit p100 in the afghan drug market.

Acorn @acornprover

78 Followers 82 Following The world's greatest theorem prover, with integrated AI, to do the boring parts for you.

れみ @mo93tqx0m4ff4

236 Followers 2K Following JD2❤スケベつぶやき多め♡もっとしたい♡

桃子 @loufyuj6u2r

278 Followers 2K Following JD3❤エロねた多め♡セフレ💛

LitFill, the Sanct @razzy_ar

259 Followers 2K Following Haskell is love, haskell is life. simple english because am might be stubid.

ale @ale_lopezperez

14 Followers 197 Following Interests: - Functional Programming - Maths - Rust - Haskell

I prove and verify things at @NethermindEth | rust, haskell | compilers and hardware aficionado | ex-category theorist | opinions are mine

Ilia Vlasov @fastreedsolomon

645 Followers 607 Following I prove and verify things at @NethermindEth | rust, haskell | compilers and hardware aficionado | ex-category theorist | opinions are mine

Stephanie @s_fowler67

196 Followers 3K Following

프로그래밍과 증명을 합니다.
I write programs and proofs. Love Haskell, Martin-Löf type theory, Nix package manager, and Hoare logic.
https://t.co/KGHmRVtwWb

다믜 @damhiya

232 Followers 396 Following 프로그래밍과 증명을 합니다. I write programs and proofs. Love Haskell, Martin-Löf type theory, Nix package manager, and Hoare logic. https://t.co/KGHmRVtwWb

Enfocado en la crítica a la economía política y en el conocimiento de mis determinaciones por medio del método dialéctico.

Kevin @ren_min2000

380 Followers 6K Following Enfocado en la crítica a la economía política y en el conocimiento de mis determinaciones por medio del método dialéctico.

duve @jevonduve

147 Followers 224 Following logician and mystic. love grunge and fruit. like to play with dependent types. anarchovegan. 22. penn. @duveZK

yotsunva @yotsunva

678 Followers 661 Following constructive algebra

Rudolf Carnap @CarnapSpeaks

4K Followers 1K Following

arisu | she/they | math undergrad @ itb'23 | interested in learning math, computer science, and linguistics | ID/EN/learning JP | pfp: @keropiki

linearly independent ... @aris_uu

wasabi @wasabi__315

275 Followers 547 Following :: (PhD Student at ScienceTokyo, traP, Haskell, Agda, OCaml)

Professor at National Institute of Technology | mathematical logic | theoretical computer science | quantum physics | analytic philosophy

Kenji Tokuo @ktokuo

994 Followers 1K Following Professor at National Institute of Technology | mathematical logic | theoretical computer science | quantum physics | analytic philosophy

CS PhD student @DrexelCCI working on categorical semantics in Lean. Collector of retro computers and vintage books. Formerly Quant Finance at Bank of America.

Chris Henson @_chenson__

863 Followers 3K Following CS PhD student @DrexelCCI working on categorical semantics in Lean. Collector of retro computers and vintage books. Formerly Quant Finance at Bank of America.

@Penn mathematician; engineer; educator;
assoc. dean of undergraduate education @PennEngineers;
illustrator; animator; e/acta non verba

prof-g @robertghrist

23K Followers 2K Following @Penn mathematician; engineer; educator; assoc. dean of undergraduate education @PennEngineers; illustrator; animator; e/acta non verba

Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.

Jonathan Aldrich @JAldrichPL

4K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.

voicecoding latency and throughput hacker. How did I get here and what am I doing in this hand basket? @joseph_garvin@hachyderm.io @josephhgarvin.bsky.social

Joseph Garvin @joseph_h_garvin

1K Followers 3K Following voicecoding latency and throughput hacker. How did I get here and what am I doing in this hand basket? @[email protected] @josephhgarvin.bsky.social

Principal Scientist @AWS. Formal methods, systematic testing, fuzzing applied to distributed systems. Creator of P : https://t.co/Xnbk9a6xUw

Ankush Desai @ankushpd

2K Followers 778 Following Principal Scientist @AWS. Formal methods, systematic testing, fuzzing applied to distributed systems. Creator of P : https://t.co/Xnbk9a6xUw

CS student. 25(present day/present time). Linear algebra stan. Wannabe mathematician.anime/stats/genetics HUN/ENG.
AI engineer(the good kind)
Discord:krichard12

Richárd @krichard1212

2K Followers 743 Following CS student. 25(present day/present time). Linear algebra stan. Wannabe mathematician.anime/stats/genetics HUN/ENG. AI engineer(the good kind) Discord:krichard12

Mark Moon @eka_mark_moon

568 Followers 454 Following I teach people math. What can I help you learn?

Postdoc at INRIA/ENS Paris; Incoming Assistant Prof in CS @TuftsUniversity; Ex @PurdueCS @galois @SambaNovaAI @UUtah; Bluesky @guannanwei.bsky.social

Guannan Wei @GuannanWei

1K Followers 960 Following Postdoc at INRIA/ENS Paris; Incoming Assistant Prof in CS @TuftsUniversity; Ex @PurdueCS @galois @SambaNovaAI @UUtah; Bluesky @guannanwei.bsky.social

Z_2-graded reese @Right_Inverse

1K Followers 361 Following former UTexas undergrad, current fourth year (dear god) math phd student @ UNC-CH

Carles Sáez @csaez_math

3K Followers 1K Following Always learning. Here I mainly talk about pure math in English/Catalan/Spanish. Statistician at work, geometer at heart.

$math phd student formally diagnosed with ¯\_(ツ)_/¯ // a 2-dimensional category should not have an *underlying* 1-category // keeping it a lil fruity tbh$

jord! @isbellduality

855 Followers 461 Following math phd student formally diagnosed with ¯\_(ツ)_/¯ // a 2-dimensional category should not have an *underlying* 1-category // keeping it a lil fruity tbh

José Pedro Magalhãe... @dreixel

356 Followers 131 Following Managing Director, Head of Core Strats at @StanChart

C++, Compilers, Computer Architecture, Generic Programming, GPGPU, HPC, Machine Learning, Numerics, Parallel Computing, Quantitative Finance

Matt @matt_dz

5K Followers 3K Following C++, Compilers, Computer Architecture, Generic Programming, GPGPU, HPC, Machine Learning, Numerics, Parallel Computing, Quantitative Finance

Yihong Zhang @yihongz_bot

742 Followers 737 Following PhD student at @uwplse and @uw_db . Also on 🦋.

25 sols | polymorphic lambda witch ✨ | she/her/她 | haskell + rust + scala dev | op amp enthusiast | compilers + analog synths | https://t.co/UOuLLmAqKm

naomi (forgetful func... @fixedpointfae

Vidit Nanda @viditnanda

8K Followers 789 Following prof @oxunimaths & fellow @pembrokeoxford.

Justin Curry @currying

2K Followers 855 Following Associate Professor of Math & Statistics at UAlbany-SUNY

bowtochris.bsky.socia... @BowToChris

1K Followers 514 Following Software Assurance. IV&V. Type theory. Single and ready to mingle.

postdoc @GlasgowCS ❤️ PhD student @UniKentComp on the @granulelang team 💙🧡 former masters student @SheffieldUni 💚 LGBT+ 💜 (she/they)

Dani ✨🐚 @starsandspirals

331 Followers 236 Following postdoc @GlasgowCS ❤️ PhD student @UniKentComp on the @granulelang team 💙🧡 former masters student @SheffieldUni 💚 LGBT+ 💜 (she/they)

Julia Visiagina @juliavi_art

27 Followers 188 Following

Tivadar Danka @TivadarDanka

83K Followers 511 Following I make math and machine learning accessible to everyone. Mathematician with an INTJ personality. Chaotic good.

Research Software Engineer, responsible for Taverna Server and a fair bit of the Tcl programming language. Now doing tools to support neuromorphic computing.

Donal Fellows @donalfellows

302 Followers 112 Following Research Software Engineer, responsible for Taverna Server and a fair bit of the Tcl programming language. Now doing tools to support neuromorphic computing.

Geoffrey Litt @geoffreylitt

17K Followers 2K Following researching malleable software @inkandswitch / prev PhD @MIT_CSAIL / 🇯🇵🇺🇸

The retreat where curious programmers recharge and grow.

Work at the edge of your abilities, develop your volitional muscles, and learn generously.

DMs open!

Recurse Center @recursecenter

30K Followers 405 Following The retreat where curious programmers recharge and grow. Work at the edge of your abilities, develop your volitional muscles, and learn generously. DMs open!

building the next AI architecture to replace current LLMs. author of 'Threshold Dialectics: Understanding Complex Systems and Enabling Active Robustness'.

Axel Pond @axel_pond

950 Followers 230 Following building the next AI architecture to replace current LLMs. author of 'Threshold Dialectics: Understanding Complex Systems and Enabling Active Robustness'.

Xuejing, aka Snow @hxjxsnow

402 Followers 2K Following Open to Work / exPhD #HKUPLG @HKUniversity / From Changsha Hangzhou Sthlm NY HK / 🏳️‍🌈 / ADHD is my super ability / INS @hxjxsnow

James Chapman @jmchapman_

193 Followers 411 Following to infinity and no further.

Nick Benton @SystemFOmega

576 Followers 574 Following Unpredictably impredicative

Bruno Oliveira @bcdsoliveira

251 Followers 118 Following

The Granule Project @granulelang

180 Followers 32 Following

Valentin Robert ❤�... @Ptival

220 Followers 355 Following He/Him. Research Engineer at @Galois. Static types and mechanized theorem proving enthusiast.

Ph.D. student @HKUniversity, interested in programming languages, type systems, theorem proving, program verification, and logics.

Jinhao Tan @tamkamhou

70 Followers 427 Following Ph.D. student @HKUniversity, interested in programming languages, type systems, theorem proving, program verification, and logics.

veysel λ @trazumin

225 Followers 106 Following programming languages λ

Fiona @fionafibration

394 Followers 1K Following homotopy theory & mathematical physics, she/her, 🏳️‍🌈🏴󠁧󠁢󠁳󠁣󠁴󠁿

Researcher in computer science,
all things effects, author of the Effekt language (https://t.co/HrYL6Fvffa),
JunProf. at Uni Tübingen.
https://t.co/lvCLTiKbL1

Jonathan Brachthäuse... @__protected

821 Followers 385 Following Researcher in computer science, all things effects, author of the Effekt language (https://t.co/HrYL6Fvffa), JunProf. at Uni Tübingen. https://t.co/lvCLTiKbL1

Noam Y @noam_yy

505 Followers 430 Following i like weird cs stuff & anime

Trans gal 🏳️‍⚧️, Pronouns: (She/Her)
Postdoc
I work in Programming Languages research, on formal verification.
British South Asian diaspora~

Kiran 🏳️‍⚧�... @kirancodes

281 Followers 146 Following Trans gal 🏳️‍⚧️, Pronouns: (She/Her) Postdoc I work in Programming Languages research, on formal verification. British South Asian diaspora~

leloy! @leloykun

6K Followers 4K Following Math @ AdMU • NanoGPT speedrunner • Muon fan 🤍 • prev ML @ XPD • 2x IOI & 2x ICPC • https://t.co/nfO038itfn

Tanner Duve @duveZK

153 Followers 115 Following proof engineer @nexuslabs · prev. @ penn · formal methods, logic & PL

Dan Licata @admitscut

1K Followers 862 Following Types and cats.

Sydney Gibson 🚛 �... @sydgibs

3K Followers 318 Following Software Engineer @aurora_inno. Previously @MIT & @CSDatCMU. Trying to befriend Pittsburgh’s local groundhogs.

Philip Wadler @PhilipWadler

246 Followers 0 Following

Vincent Abbott @vtabbott_

7K Followers 335 Following Maker of *those* diagrams for deep learning algorithms | @mit @mitlids incoming PhD

The Institute for Typ... @typememetics

692 Followers 106 Following Truth in types, safety in thought. Advancing the use of type theory as a protective factor against cognitohazard.

Sofia @algebraic_dev

4K Followers 829 Following 🏳️‍⚧️ uuh I try to code cool stuff

s↭phia ▓ ☽ @nautamine

673 Followers 3K Following algebraic topology and topoi enjoyer interested in ontology en fr ar de / zh learning

Computer scientist interested in the connections between things. Assistant professor at @LIX_lab @Polytechnique. https://t.co/idhOknEIRO

Noam Zeilberger @noamzoam

738 Followers 546 Following Computer scientist interested in the connections between things. Assistant professor at @LIX_lab @Polytechnique. https://t.co/idhOknEIRO

Tsung-Ju Chiang @tsungjuc

81 Followers 198 Following Studying programming languages. Mastodon: @[email protected]

aria @blarptech

13 Followers 52 Following 🏳️‍⚧️ Studying mathematics to better hit p100 in the afghan drug market.

sai @texoport__

456 Followers 212 Following he/him

European Research Network on Formal Proofs (#COSTAction 20111), aimed at boosting the interoperability & usability of proof systems.

EuroProofNet @EuroProofNet

153 Followers 7 Following European Research Network on Formal Proofs (#COSTAction 20111), aimed at boosting the interoperability & usability of proof systems.

No recent Favorites. New Favorites will appear here.