T @tomstructured

Joined January 2025

Tweets

1
Followers

23
Following

262
Likes

129

T @tomstructured

a year ago

@RanolP_777 Where is this from?

1 0 0 396 0

View Details

alco ⊢ ꙮ @qualiascript

1K Followers 447 Following internal realist. liberal particularist. cognitively biased.

えみか @d9199xhk0d4f

8 Followers 210 Following フォローしてね♡イチャイチャしたい♡セフレ募集⇒

学びたい、こと... @Alwe_Logic

4K Followers 3K Following 音楽と数学が好きです。key:@KeyAlwe (そんなに動いてないです) 欲しい物リスト: https://t.co/p13p68sw6N

adalovescoffee @adalovescoffeee

409 Followers 443 Following extremely stubborn math wanderer, olympic mud swimmer

bowtochris.bsky.socia... @BowToChris

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

Virgie Heaney @HeaneyVirg63679

84 Followers 2K Following

sophia from Nautamine... @nautamine

882 Followers 3K Following (♯××)💉🩸🩸🩸🩸🩸🩸🩸 sheaf theory enjoyer severe addiction to rpg gacha games cute bachelardian 💉🩸🩸🩸🩸🩸🩸🩸(¯□¯) en+fr/ar/zh/de in order of proficiency

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

Tsung-Ju Chiang @tsungjuc

78 Followers 196 Following Studying programming languages. Mastodon: @[email protected]

aria(l) @blarptech

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

Acorn @acornprover

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

れみ @mo93tqx0m4ff4

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

桃子 @loufyuj6u2r

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

LitFill @razzy_ar

366 Followers 2K Following Haskell is love, haskell is life. Looking for opportunities. there is only one true god.

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

Ilia Vlasov @fastreedsolomon

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

다믜 @damhiya

249 Followers 507 Following 프로그래밍과 증명을 합니다. I write programs and proofs. Love Haskell, Martin-Löf type theory, Nix package manager, and Hoare logic.

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

347 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

374 Followers 377 Following logics and categories. like to play with dependent types. 23. vegan. penn. @logic_int

yotsunva @yotsunva

766 Followers 733 Following ultraminimalistic 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

297 Followers 574 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

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

CS PhD student @DrexelCCI working on formalization in Lean. Maintainer of https://t.co/waYLdE0QGI. Formerly Quant Finance at Bank of America.

Chris Henson @_chenson__

1K Followers 3K Following CS PhD student @DrexelCCI working on formalization in Lean. Maintainer of https://t.co/waYLdE0QGI. Formerly Quant Finance at Bank of America.

davi @misterclayt0n

911 Followers 302 Following I build stuff

Mitchell Hashimoto @mitchellh

203K Followers 146 Following Creator of Ghostty. 👻 Prev founded @HashiCorp, created Vagrant, Terraform, Vault, and others.

Acer @AcerFur

7K Followers 2K Following Furry pure maths student @Cambridge_Uni. | 🇬🇧🇵🇹 21 He/Him | Incoming @OpenAI. Opinions my own.

isabel @isabelrosesss

731 Followers 176 Following smart enough to know better, dumb enough to do it anyway

alco ⊢ ꙮ @qualiascript

1K Followers 447 Following internal realist. liberal particularist. cognitively biased.

Daniel Rosiak @DanRosiak

436 Followers 491 Following math (category theory) by day, build by night

ludwig @ludwigABAP

47K Followers 2K Following God’s chosen principal engineer. What is impossible for you is not impossible for me.

Elias Judin @elias_judin

384 Followers 997 Following pure maths. universal algebra // categorical topology // Galois theories. university of cape town.

Elliot Glazer @ElliotGlazer

5K Followers 786 Following Set theorist and AI math benchmarker. Researches the axiom of choice. Led the development of FrontierMath.

Jenny Qu @GuanniQu

2K Followers 1K Following ctf player @SquidProxyLover • previously RL for math @caltech • she/they • DMs open

Sridhar Ramesh @RadishHarmers

91K Followers 501 Following Born Samuel Langhorne Clemens in rural Missouri. Adopted the pen name "Sridhar Ramesh" from riverboat slang.

interests: compilers, chemistry, logic, nanofabrication, pharmacology ❧ transhumanist ❧ essays, fiction: https://t.co/AtER14BENh ❧ code: https://t.co/3Ge94WFnGJ ❧ 🏳️‍🌈

Fernando 🌺🌌 @zetalyrae

11K Followers 2K Following interests: compilers, chemistry, logic, nanofabrication, pharmacology ❧ transhumanist ❧ essays, fiction: https://t.co/AtER14BENh ❧ code: https://t.co/3Ge94WFnGJ ❧ 🏳️‍🌈

Daniel Sainati @sainati_

97 Followers 152 Following Programming Languages PhD Student @CIS_Penn. Formerly @flow_blockchain, @flowtype. @Cornell CS ‘18

studying maths @KULeuven_fwet (mainly interested in logic, categories and types)
designs magazines for @Veto_be
I aspire to one day understand the Yoneda lemma

simeon 🦀 λ @simeondermaats

535 Followers 2K Following studying maths @KULeuven_fwet (mainly interested in logic, categories and types) designs magazines for @Veto_be I aspire to one day understand the Yoneda lemma

A software engineer and computer science enthusiast. I mostly use C, OCaml, Rust, and Golang.
hirrolot@gmail.com

hirrolot @hirrolot

570 Followers 52 Following A software engineer and computer science enthusiast. I mostly use C, OCaml, Rust, and Golang. [email protected]

palalansoukî @_ni_nn_i_

2K Followers 363 Following 光榮はその眼に輝き、星の光ときらめく。

Arbutus Tree @aphercotropist

2K Followers 667 Following 🇨🇦🌳 trees, the meaning of being, and category theory

디멘 @dimenerno

2K Followers 532 Following 논리학과 철학을 공부합니다.

Mikael Brockman @meekaale

7K Followers 1K Following "Independent, innovative, and inventive, they can also become preoccupied with their thoughts and imaginary constructs."

Rafi (رافع) @Rafi3AK

574 Followers 274 Following he/him/his; math, nature, politics

LaurieWired @lauriewired

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

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

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

Sridhar Ratnakumar @sridca

792 Followers 0 Following Coffee, swimming & programming. Currently working on https://t.co/fQs4PyVKLE & https://t.co/mto3JrztzX

sin-ack@github. An object that sends and receives messages.
Software plumber.
Use Bazel! Use Gerrit!
Working on zigSelf: https://t.co/djGHD2LPIC

sin-ack @traits_reality

1K Followers 97 Following sin-ack@github. An object that sends and receives messages. Software plumber. Use Bazel! Use Gerrit! Working on zigSelf: https://t.co/djGHD2LPIC

adalovescoffee @adalovescoffeee

409 Followers 443 Following extremely stubborn math wanderer, olympic mud swimmer

Math, Inc. @mathematics_inc

13K Followers 0 Following Solve math, solve everything. Dedicated to superintelligence via autoformalization

Robert Ghrist = mathematician; engineer; educator;
assoc. dean of undergraduate education Penn Engineering;
illustrator; animator; acta non verba

prof-g @prof_g

24K Followers 2K Following Robert Ghrist = mathematician; engineer; educator; assoc. dean of undergraduate education Penn Engineering; illustrator; animator; acta non verba

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

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

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

Richárd @krichard121212

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

Tivadar Danka @TivadarDanka

92K Followers 527 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

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

The retreat where curious programmers recharge and grow. 🌱

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

Recurse Center @recursecenter

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

Building Noosaga to map the history and structure of all ideas. Author of 'Threshold Dialectics: Understanding Complex Systems and Enabling Active Robustness'.

Axel Pond @axel_pond

1K Followers 286 Following Building Noosaga to map the history and structure of all ideas. Author of 'Threshold Dialectics: Understanding Complex Systems and Enabling Active Robustness'.

veysel λ @trazumin

224 Followers 124 Following programming languages λ

Fiona @fionafibration

386 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),
Professor at Uni Tübingen.
https://t.co/lvCLTiKbL1

Jonathan Brachthäuse... @__protected

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

Noam Y @noam_yy

488 Followers 441 Following i like weird cs stuff & anime

Kiran @kirancodes

1K Followers 187 Following Research Scientist I work in Programming Languages research, on formal verification. British South Asian diaspora~

leloy! @leloykun

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

Tanner Duve @duveZK

191 Followers 117 Following

Vincent Abbott @vtabbott_

7K Followers 359 Following Maker of *those* diagrams for deep learning algorithms | @mit @mitlids PhD student under @GioeleZardini

The Institute for Typ... @typememetics

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

Sofia @algebraic_dev

3K Followers 901 Following I work with Lean

sophia from Nautamine... @nautamine

Tsung-Ju Chiang @tsungjuc

78 Followers 196 Following Studying programming languages. Mastodon: @[email protected]

aria(l) @blarptech

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

texoport @texoport__

448 Followers 258 Following he/him

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

EuroProofNet @EuroProofNet

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