zeyt @1980_linux

Joined February 2019

Tweets

0
Followers

2
Following

317
Likes

91

No recent Tweets. New Tweets will appear here.

Tami @tami_stewart69

1K Followers 3K Following

Zama is an open source cryptography company that builds state-of-the-art Fully Homomorphic Encryption (FHE) solutions for blockchain.

Zama @zama_fhe

208K Followers 2K Following Zama is an open source cryptography company that builds state-of-the-art Fully Homomorphic Encryption (FHE) solutions for blockchain.

#Demoscener
#VJ Artist (DM me for your gigs ;) )
Coding shaders and other stuff on Twitch
PhD student @Inrev_Paris8
Fuck N*Ts
PP by @PainPerdu8bit
They/She

Flopine ♡✧( ु�... @FlopineYeah

2K Followers 548 Following #Demoscener #VJ Artist (DM me for your gigs ;) ) Coding shaders and other stuff on Twitch PhD student @Inrev_Paris8 Fuck N*Ts PP by @PainPerdu8bit They/She

Indie developer, now working on Simulario - a physics simulation based game, that runs all logic on GPU
Also senior dev in AAA
Unity3D, Unreal, C#, C++, HLSL

Zolden @ZoldenGames

6K Followers 595 Following Indie developer, now working on Simulario - a physics simulation based game, that runs all logic on GPU Also senior dev in AAA Unity3D, Unreal, C#, C++, HLSL

I built a C library that lets you compile 12kb static binaries that run natively on Linux, Mac, Windows, FreeBSD, OpenBSD, NetBSD and BIOS using just GCC/Clang.

Justine Tunney @JustineTunney

40K Followers 326 Following I built a C library that lets you compile 12kb static binaries that run natively on Linux, Mac, Windows, FreeBSD, OpenBSD, NetBSD and BIOS using just GCC/Clang.

Amanzhol Salykov @salykova_

2K Followers 43 Following making AI inference run really fast

@[email protected]... @calebccff

2K Followers 951 Following gay enby kernel hacker making linux phones follow me on mastodon!

Peter Draws ✍️ @PeterDraws1

16K Followers 0 Following

HowTheLightGetsIn Fes... @HTLGIFestival

16K Followers 957 Following The world's largest ideas and music festival, hosted by @IAI_TV. 💡 Join us next in London, September 20th-21st! Sign up for latest news: https://t.co/m11k7KJjJ6

soulscircuit @soulscircuit

2K Followers 3 Following creating cool stuff with raspberry pi. currently building Pilet tablet/console

LindyMan @PaulSkallas

144K Followers 973 Following Lindy Newsletter: https://t.co/k3A03LYLi1 @lindyeffect

bilge @bilgetbd

4K Followers 298 Following making games PAGER: https://t.co/7goI6FGUlo BD+S: https://t.co/TV3AEDJg0r

Mathematician, @UCBerkeley professor, author of LOVE & MATH (published in 20 languages), host of AfterMath series on YouTube, music expolorer as DJ Moonstein

Edward Frenkel @edfrenkel

23K Followers 110 Following Mathematician, @UCBerkeley professor, author of LOVE & MATH (published in 20 languages), host of AfterMath series on YouTube, music expolorer as DJ Moonstein

Andrej Dujella @dujella1

386 Followers 531 Following mathematician, loves numbers and singing

Justin Curry @currying

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

Experimental philosophy: An interdisciplinary field that uses the collection of empirical data to shed light on philosophical issues.

Experimental Philosop... @xphilosopher

20K Followers 1K Following Experimental philosophy: An interdisciplinary field that uses the collection of empirical data to shed light on philosophical issues.

David Bessis @davidbessis

9K Followers 351 Following Rogue mathematician. "The product of mathematics is clarity and understanding." — Bill Thurston

Matematik Köyü @Mat_Koyu

108K Followers 394 Following Matematik Köyü'nün şeyidir bu.

Lean @leanprover

6K Followers 46 Following Lean is a dependently-typed programming language and theorem prover.

adithya @00aleph00

13K Followers 233 Following i want to make abstract math accessible to the world!

Views of a Transhuman neo-Buddhist from the future on sociology, artificial intelligence, mathematics, philosophy, neonoir film, and the post-singularity era.

Captain Pleasure, And... @algekalipso

38K Followers 5K Following Views of a Transhuman neo-Buddhist from the future on sociology, artificial intelligence, mathematics, philosophy, neonoir film, and the post-singularity era.

Soundwave @sndwv_

438 Followers 152 Following 🤍🪽| Software Engineer @ (stealth) | Computer scientist, operator, collared, eepy angelgirl

fshcat @fshcat

167 Followers 568 Following ramping up

🎺🎶 La -2-catég... @Moinsdeuxcat

375 Followers 495 Following Con alivio, con humillación, con terror, comprendió que él también era una apariencia, que otro estaba soñándolo. 🖤🤍💜 (ő/őt)

Senior Lecturer @Sydney_Uni. Formerly Postdocs @IBMResearch, @Stanford; PhD @Columbia. Converts ☕ into puns: sometimes theorems. He/him. @ccanonne.bsky.social

Clément Canonne (on ... @ccanonne_

37K Followers 66 Following Senior Lecturer @Sydney_Uni. Formerly Postdocs @IBMResearch, @Stanford; PhD @Columbia. Converts ☕ into puns: sometimes theorems. He/him. @ccanonne.bsky.social

Daniel 🦋 @d_feldman

22K Followers 10K Following probably approximately correct

Latest news, research, and campus updates from one of the world's leading centers for theoretical research and intellectual inquiry.

Institute for Advance... @the_IAS

27K Followers 382 Following Latest news, research, and campus updates from one of the world's leading centers for theoretical research and intellectual inquiry.

Sydney Mathematical Research Institute (SMRI)
Transforming maths in Australia w/ research and public outreach. SydMathInst@mathstodon.xyz
YouTube https://t.co/tsujOpWYV6

SydMathInst @SydMathInst

860 Followers 437 Following Sydney Mathematical Research Institute (SMRI) Transforming maths in Australia w/ research and public outreach. [email protected] YouTube https://t.co/tsujOpWYV6

Logician & philosopher @ruhrunibochum, Post-Doc. I like proof theory, feminist logic, bilateralism, and a lot more in logic and in life. (she/her)

Sara Ayhan @Sara_Ayhan_

1K Followers 605 Following Logician & philosopher @ruhrunibochum, Post-Doc. I like proof theory, feminist logic, bilateralism, and a lot more in logic and in life. (she/her)

logician, adj. (pejorative)

I do math that mathematicians think is philosophy ...

and I do philosophy that philosophers think is math ...

Toby Meadows @TobyMeadows

2K Followers 639 Following logician, adj. (pejorative) I do math that mathematicians think is philosophy ... and I do philosophy that philosophers think is math ...

#Logician, #Onomast, #Medievalist, #AcademicMama, #Author, #Immigrant, founder of https://t.co/BFZX9c9uUK and @EllipsisImprint. Own views. Robot.

Doctor Logic @SaraLUckelman

5K Followers 2K Following #Logician, #Onomast, #Medievalist, #AcademicMama, #Author, #Immigrant, founder of https://t.co/BFZX9c9uUK and @EllipsisImprint. Own views. Robot.

Mathematician (Distinguished Professor of #Math at @RutgersU). Here to learn about research, education, and community. Let’s build something together.

Alex Kontorovich @AlexKontorovich

29K Followers 806 Following Mathematician (Distinguished Professor of #Math at @RutgersU). Here to learn about research, education, and community. Let’s build something together.

Math prof. Author of long-form textbooks on proofs (https://t.co/YqXnxDmOe0), real analysis (https://t.co/3IGQ6BIx5Z) & math history (https://t.co/KkXMGTxCDK).

Jay Cummings @LongFormMath

44K Followers 598 Following Math prof. Author of long-form textbooks on proofs (https://t.co/YqXnxDmOe0), real analysis (https://t.co/3IGQ6BIx5Z) & math history (https://t.co/KkXMGTxCDK).

🐦‍⬛ @glaebhoerl

574 Followers 659 Following nonblack nonraven

Gabriel Peyré @gabrielpeyre

102K Followers 453 Following @CNRS researcher at @ENS_ULM. One tweet a day on computational mathematics.

Quanta Magazine @QuantaMagazine

348K Followers 620 Following Illuminating math and science. Supported by @SimonsFdn. 2022 Pulitzer Prize in Explanatory Reporting.

Gil Kalai @GilKalai

3K Followers 243 Following

Stanislav Kapulkin @kapulkin

83 Followers 55 Following Mathematician-programmer, research in cognitive science based on category theory. CEO/CTO in https://t.co/xXaIIqKbZ9

Pure Mathematician+pianist. Grieving involuntary childlessness. Author: Unequal: The mathematics of when things do and don't add up, out 2025

Dr Eugenia Cheng --no... @DrEugeniaCheng

26K Followers 0 Following Pure Mathematician+pianist. Grieving involuntary childlessness. Author: Unequal: The mathematics of when things do and don't add up, out 2025

Maths Jam is an opportunity for self-confessed maths enthusiasts to meet in a pub & share puzzles, games, and other cool maths stuff. No spoiler replies please!

Maths Jam @MathsJam

26K Followers 65 Following Maths Jam is an opportunity for self-confessed maths enthusiasts to meet in a pub & share puzzles, games, and other cool maths stuff. No spoiler replies please!

Professor of Neurobiology and Ophthalmology at Stanford Medicine • Host of Huberman Lab • Focused on science and health research and public education

Andrew D. Huberman, P... @hubermanlab

1.6M Followers 2K Following Professor of Neurobiology and Ophthalmology at Stanford Medicine • Host of Huberman Lab • Focused on science and health research and public education

(s)ad Astra 🏳️�... @astradiol

865 Followers 392 Following 𝑆𝑝𝑎𝑐𝑒 𝑎𝑛𝑑 𝐿𝑜𝑔𝑖𝑐; 𝒮ℴ𝓎𝓁ℯ𝓃𝓉 𝓌𝒾𝓃ℯ 𝓅𝒶𝒾𝓇𝒾𝓃ℊ. 𝔓𝔲𝔯𝔢 𝔪𝔞𝔱𝔥𝔰 𝔓𝔥𝔇. 🏳️‍⚧️ 𝒔𝒉𝒆/𝒉𝒆𝒓 postdoctoral fellow in CS at @wesleyan_u

zeta @zeta_globin

15K Followers 2K Following four raccoons in a trench coat

..often the only visitor to labs whose researchers are not 100% sure if they are doing something very, very secret or just something very few people care about.

mjos\dwez @m-jos.bsky... @mjos_crypto

4K Followers 667 Following ..often the only visitor to labs whose researchers are not 100% sure if they are doing something very, very secret or just something very few people care about.

Vitaliy Kaurov @superflow

951 Followers 630 Following Curious. Entangled. Chief Editor @ Wolfram Staff Picks. Physicist.

Algebra Etc. @AlgebraFact

194K Followers 19 Following Tweets about algebra, number theory, and miscellaneous math by @JohnDCook.

Computer Science @CompSciFact

251K Followers 19 Following Daily tweets about computer science and related stuff @JohnDCook.

Logic & Applications @LogicPractice

27K Followers 8 Following Logic and applications of logic from @JohnDCook

PhD student at the University of Cambridge and Student Researcher at Google DeepMind. Working on AI for formal mathematics.

Marco Dos Santos @dsantosmarco

176 Followers 185 Following PhD student at the University of Cambridge and Student Researcher at Google DeepMind. Working on AI for formal mathematics.

Senior Scientist, Zap Surgical & Associate Professor, Mathematics and Statistics, Univ. of San Francisco. I post on math.stackexchange under the name littleO.

Daniel O'Connor @Singularitarian

2K Followers 4K Following Senior Scientist, Zap Surgical & Associate Professor, Mathematics and Statistics, Univ. of San Francisco. I post on math.stackexchange under the name littleO.

Assistant Professor at NUS. Scaling cooperative intelligence & infrastructure for an automated future. PhD @ MIT ProbComp / CoCoSci. Pronouns: 祂/伊

xuan (ɕɥɛn / sh-ye... @xuanalogue

9K Followers 1K Following Assistant Professor at NUS. Scaling cooperative intelligence & infrastructure for an automated future. PhD @ MIT ProbComp / CoCoSci. Pronouns: 祂/伊

Mathematician (algebraic geometry, motives & friends, singularities in statistics and ML).

'Geometry is successful magic' (R. Thom)

University of Amsterdam.

Simon Pepin Lehalleur @plain_simon

4K Followers 6K Following Mathematician (algebraic geometry, motives & friends, singularities in statistics and ML). 'Geometry is successful magic' (R. Thom) University of Amsterdam.

No recent Favorites. New Favorites will appear here.