Tom @tomstructured

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

Tweets

1
Followers

24
Following

511
Likes

139

No recent Tweets. New Tweets will appear here.

Maufi @Maufi25662

11 Followers 1K Following

adalovescoffee @adalovescoffeee

339 Followers 407 Following extremely stubborn math wanderer, olympic mud swimmer

AnnabelleAlice @2N7k1bO6WZ3Ddm

35 Followers 2K Following There is no limit to what we, as women, can accomplish.

bowtochris.bsky.socia... @BowToChris

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

Julia Visiagina @juliavi_art

27 Followers 190 Following

Virgie Heaney @HeaneyVirg63679

97 Followers 2K Following

s*phia / naut @nautamine

682 Followers 3K Following algebraic topology and topoi enjoyer mizar hater ontology from time to time en fr ar de / zh learning

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

Tsung-Ju Chiang @tsungjuc

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

aria(l) @blarptech

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

Acorn @acornprover

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

れみ @mo93tqx0m4ff4

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

桃子 @loufyuj6u2r

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

LitFill, the Sanct @razzy_ar

263 Followers 2K Following Haskell is love, haskell is life. there is only one true god

ale @ale_lopezperez

14 Followers 195 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

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

Stephanie @s_fowler67

205 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

234 Followers 401 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

379 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

155 Followers 232 Following logics and categories. like to play with dependent types. vegan. nondual idealism or something.

yotsunva @yotsunva

681 Followers 662 Following constructive algebra

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

277 Followers 553 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__

866 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.

LaurieWired @lauriewired

105K Followers 285 Following researcher @google; serial complexity unpacker; https://t.co/Vl1seeNgYK ex @ msft & aerospace

rank decomposition @rankdim

1K Followers 363 Following machine learning, maths, history and philosophy of sciences

MIT(Μίττον)@�... @mit00042

550 Followers 208 Following MIT(@aaaazzz18)の大学垢/数学と言語をするアイコンは1巻カラー絵のアルトちゃん(かわいい)

Sridhar Ratnakumar @sridca

631 Followers 0 Following

Previously: VP@Unity3d
Previously: Engine Director@Insomniac Games

Leadership. Family. Video game engine development.
Data-oriented programming.

Mike Acton @mike_acton

29K Followers 9K Following Previously: VP@Unity3d Previously: Engine Director@Insomniac Games Leadership. Family. Video game engine development. Data-oriented programming.

Vanessa @vanessainstem

11K Followers 6K Following She/her 🇧🇷🇹🇼🇺🇸🏳️‍🌈 Air quality scientist & mathematician. CUNY ➡️ MIT ➡️UUtah (PhDing 👩🏻‍💻) Clean Air Kits discount in link below

sin-ack @traits_reality

635 Followers 75 Following sin-ack@github. An object that sends and receives messages. Working on zigSelf: https://t.co/djGHD2LhT4

Physics and mathematics. Fascinated by casting physical notions into the language of formal systems. Art, philosophy, dance, language, fashion, coffee. Vegan.

Misha / Миша @mishapathy

1K Followers 716 Following Physics and mathematics. Fascinated by casting physical notions into the language of formal systems. Art, philosophy, dance, language, fashion, coffee. Vegan.

Yaashaa Golovanov @Golovanov_ammoc

11K Followers 605 Following Director, AMMOC - An International Math Circle in honor of Vladimir Igorevich Arnold and Jerrold Eldon Marsden.

adalovescoffee @adalovescoffeee

339 Followers 407 Following extremely stubborn math wanderer, olympic mud swimmer

Math, Inc. @mathematics_inc

6K Followers 0 Following A new company dedicated to autoformalization and the creation of verified superintelligence.

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

prof-g @robertghrist

24K 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 777 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 @krichard121212

2K Followers 765 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

572 Followers 453 Following I teach people math. What can I help you learn?

Guannan Wei @GuannanWei

1K Followers 956 Following Assistant Professor in CS @TuftsUniversity; Ex @Inria @PurdueCS; Bluesky @guannanwei.bsky.social

Z_2-graded reese @Right_Inverse

1K Followers 360 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

853 Followers 459 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 741 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 786 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 519 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

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

Julia Visiagina @juliavi_art

27 Followers 190 Following

Tivadar Danka @TivadarDanka

84K Followers 513 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

304 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

18K Followers 2K Following malleable software @NotionHQ / prev @inkandswitch, @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 404 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

956 Followers 240 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

404 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_

192 Followers 412 Following to infinity and no further.

Nick Benton @SystemFOmega

578 Followers 572 Following Unpredictably impredicative

Bruno Oliveira @bcdsoliveira

251 Followers 118 Following

The Granule Project @granulelang

180 Followers 32 Following

Valentin Robert ❤�... @Ptival

219 Followers 354 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 429 Following Ph.D. student @HKUniversity, interested in programming languages, type systems, theorem proving, program verification, and logics.

veysel λ @trazumin

224 Followers 105 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

838 Followers 387 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

499 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

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