Amélia Liao 🪄🧊 @plt_amy
agda maintainer. moved to @[email protected] amelia.how Brazil Joined February 2017-
Tweets34K
-
Followers4K
-
Following581
-
Likes47K
Amélia Liao 🪄🧊 retweeted
you sure showed them by writing in yahoo answers prose
you sure showed them by writing in yahoo answers prose
59
205
3K
460K
594
Download Image
Amélia Liao 🪄🧊 retweeted
btw these large scary math symbols are just dependent types
btw these large scary math symbols are just dependent types https://t.co/RBctTUEcFO
Listening to graninas will never be a worthy industry practice. 🚷 His takes become obsolete much faster than he can actually post them. 🚮 His so-called "books" are just a questionable tactic to squeeze money out of the industry.🧑🔧🔫🕵️ You know why. ⬇️
PLANT THE TOMATOS WHERE?
PLANT THE TOMATOS WHERE? https://t.co/HiPbzLUEzY
Amélia Liao 🪄🧊 retweeted
it has been 0 days since someone made an unhelpful comment on the touchHLE GitHub that's just a verbatim ChatGPT response
Amélia Liao 🪄🧊 retweeted
@no_earthquake @GreatBooksofth2 @grassmannian @spitfountain0 @halomancer1 are u kidding me theyre huge on morality over at the nlab
I have no idea how to search for this but has anyone else encountered this bizzare issue where firefox ui popups on macOS just. get stuck there. and you can't click away from them. this is troubleshooting mode so definitely not an extension
Amélia Liao 🪄🧊 retweeted
Slides from today's talk on unfolding in implementations of type theory: jozefg.github.io/papers/2023-wg…
Amélia Liao 🪄🧊 retweeted
The answer is no! First, note that sSet = [Δᵒᵖ, Set] is a topos, and thus has a subobject classifier ω : 1 → Ω. It is easy to check that 1 (the terminal object) is a quasicategory – maps to 1 extend uniquely along any morphism. ...
The answer is no! First, note that sSet = [Δᵒᵖ, Set] is a topos, and thus has a subobject classifier ω : 1 → Ω. It is easy to check that 1 (the terminal object) is a quasicategory – maps to 1 extend uniquely along any morphism. ...
I got up in the morning and my only reward were some cool shadows
Amélia Liao 🪄🧊 retweeted
Amélia Liao 🪄🧊 retweeted
Não há maior manifestação do descontentamento do homem com o mundo no qual foi cruelmente lançado que a existência do FIAMBRE (a.k.a. apresuntado). O negócio é literalmente um bloco de PORCO EMULSIFICADO. Um monumento à subversão da ordem natural das coisas.
A photographer took a photo of Melog before and after telling him pss
Amélia Liao 🪄🧊 retweeted
Twitter's bug bounty program has a new category: "Recommendation Algorithm Manipulation" Since a working proof-of-concept is required, this tweet is mine. Please help me demonstrate the "ask nicely" exploit, by engaging with this tweet.
Amélia Liao 🪄🧊 retweeted
Important question, whose answer tells you a lot about someone : Imagine you had the opportunity to have a drink with any scientist from history, living or dead. Which drink would you choose?
the worst part of the salon isn't the caustic smells or the incessant itching it's Coldplay
Amélia Liao 🪄🧊 retweeted
you ever not want to check some coherence conditions so bad you start getting real philosophical about the nature of proof?
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Egbert Rijke @EgbertRijke
3K Followers 1K Following Postdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him
naomi (forgetful func... @fixedpointfae
5K Followers 512 Following 25 sols | polymorphic lambda witch ✨ | she/her/她 | haskell + rust + scala dev | op amp enthusiast | compilers + analog synths | https://t.co/UOuLLmAqKm
julesh @_julesh_
10K Followers 137 Following Applied Compositional Thinking. Also at @CyberCatInst and @[email protected]
neural oscillator of ... @mycoliza
21K Followers 1K Following wow, everything’s computer at @oxidecomputer
Jessamyn Dukes @rhymeswspecimen
3K Followers 494 Following eternal math undergrad: UCC '20, Rutgers '23. can leap small ottomans in a single bound. queer, trans, gender is performative. not Jessamyn "the gun" Duke.
Algebraic Geometer @BarbaraFantechi
10K Followers 2K Following Full Prof, cis white woman, #BiInSci. Opinions my own. https://t.co/bOV22mJQbg Graph from https://t.co/W5M7KnClOP
Kate @thingskatedid
23K Followers 1K Following she/her · If I unfollowed you, it's because you keep posting things without alt text https://t.co/FpwhLrRETb
Matteo Capucci @mattecapu
6K Followers 820 Following 🇮🇹, PhD @mspstrath, mathematician @ARIA_research (category theory for systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
Iso (math fool) @IsomorphicPhi
6K Followers 1K Following Background in theoretical physics/math. Interested in mathematics, philosophy and physics. Some kind of anarchist communist, I guess. He/they. Eng/Swe
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Edward Kmett @kmett
16K Followers 824 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Dᵇ(Monkey) Alex Sch... @chmonke
2K Followers 219 Following Graduated from @UW-Seattle studying math. I like AG and commutative algebra. 2nd year PhD student @Columbia
Evan Washington @evanewashington
8K Followers 3K Following phd student in philosophy @ucberkeley丨RVA丨logic, category theory, epistemology, and philosophy of (mathematics, language, science)丨he/him
Graham Hutton @haskellhutt
8K Followers 697 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
bowtochris.bsky.socia... @BowToChris
1K Followers 514 Following Software Assurance. IV&V. Type theory. Single and ready to mingle.
Bruno Gavranović @bgavran3
9K Followers 923 Following Building structured neural networks using principles from category theory.
CherylMacadam @Sf5kL5Y10cUdv9E
10 Followers 595 Following
Roger @Roger45374821
218 Followers 7K Following
Bas @basketticode
5 Followers 676 Following
kevwjin @kevwjin
5 Followers 117 Following
Edward Z. Yang @ezyang
14K Followers 1K Following I work on PyTorch at Meta. Chatty alt at @difficultyang.
Tamas Szokol @tamas_szokol
144 Followers 2K Following
Rahul @_rahulgoraniya_
63 Followers 1K Following BSc in CS @unibirmingham | PTAS, Parameterized Complexity & Graph Algorithms | Seeking PhD opportunities
Andrew David Meier @andrewdmeier
113 Followers 2K Following
ULTRA/MAGIC @ULTRAMAGlC
2K Followers 353 Following Bending elliptic curves and constructing languages for a living. ZKP researcher. Views are my own, proofs are formally verified. 🏳️🌈🏳️⚧️ she/her
Mustafa Merdan @MustafaMer85033
1 Followers 167 Following
? . ? @fenjickle
7 Followers 426 Following
Shin seung ho @jsredman
17 Followers 300 Following
. @doobeedooway
185 Followers 1K Following
王小虎 @Wang0921Xiaohu
0 Followers 13 Following
John Smith @johnsmith968530
77 Followers 297 Following
Gabriel @Gabriel55476762
1 Followers 43 Following
Tom @tomstructured
24 Followers 506 Following CS student. Studying logic and programming languages. Mastodon: @[email protected]
orphée @orpheeeeeee
18 Followers 152 Following
Alea 🎲🍸⛵️ @noncanonicAleae
920 Followers 872 Following Uberlogiker. Tescreant. Systems without systems. Here to make friends and be perplexed.
Torechy @Torechy1DwNgYl
20 Followers 471 Following
Murat Bolu @MurattBolu
92 Followers 345 Following
spacechimplives @spacechimplife
186 Followers 595 Following A dad trying to use information theory & cognitive science to figure out how to give people a voice. @spacechimplives.bsky.social
kentpalmer @kentpalmer
512 Followers 2K Following Systems Engineer, Realtime Software Engineer, Systems Theorist, Philosopher, Ontologist. https://t.co/6G0ja3vphL @[email protected] same handle threads, bsky
Ben Green @chreod
269 Followers 995 Following
kei @thelissimus
662 Followers 336 Following type theory & compiler engineering & formal methods ⊢ Haskell & Agda & Lean
Ilya @Zlonast
12 Followers 231 Following
Olaf Kai Kol @login2345678
44 Followers 171 Following Math student, from Polish/German. I like set theory (Inner model theory) and algebraic geometry as a hobby.
Darius Liddell @nousandnoose
93 Followers 1K Following "that the trees are high and the grasses short is a mere accident of our own foot-rules and our own stature" ~ plants, feminism(s) https://t.co/5dljKARxPA
sam @kouteili
1 Followers 22 Following Computer Science PhD Candidate @yale Software Verification, Computer Music, Dataflow Graphs
Alex Nelson 📎 @anelson_os
152 Followers 1K Following Software developer; tweets reflect my opinion, not my employer's...and rt≠endorsement. AMS Subject Class.: 68V15, 68V20, 20Exx.
Human Internet Relay @Ryxai
14 Followers 251 Following Sometimes I break my computer, sometimes my computer breaks me. Type theory, ai, maths, tools for thought and persistent existential crises.
silentzer @sillentzer
34 Followers 2K Following
jaigel @_jaigel_
2 Followers 74 Following
Suraj @Suraj_Powar09
57 Followers 408 Following Grad student in the Dept of Mathematics at Southern Illinois University, Carbondale,IL. If my life is a Theorem, X is a footnote. 🇮🇳
Daniel Litt @littmath
50K Followers 884 Following Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Some theorems @CihanPostsThms
29K Followers 6 Following Posting some theorems, and occasionally other stuff. By @bahran_cihan
Egbert Rijke @EgbertRijke
3K Followers 1K Following Postdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him
naomi (forgetful func... @fixedpointfae
5K Followers 512 Following 25 sols | polymorphic lambda witch ✨ | she/her/她 | haskell + rust + scala dev | op amp enthusiast | compilers + analog synths | https://t.co/UOuLLmAqKm
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).
julesh @_julesh_
10K Followers 137 Following Applied Compositional Thinking. Also at @CyberCatInst and @[email protected]
neural oscillator of ... @mycoliza
21K Followers 1K Following wow, everything’s computer at @oxidecomputer
Alexandra ✨ @EulerWept
4K Followers 373 Following \mathbb{🥺} | she/her | 1312 | antifa | I study math | 🧗🏻♀️
Jessamyn Dukes @rhymeswspecimen
3K Followers 494 Following eternal math undergrad: UCC '20, Rutgers '23. can leap small ottomans in a single bound. queer, trans, gender is performative. not Jessamyn "the gun" Duke.
Algebraic Geometer @BarbaraFantechi
10K Followers 2K Following Full Prof, cis white woman, #BiInSci. Opinions my own. https://t.co/bOV22mJQbg Graph from https://t.co/W5M7KnClOP
Kate @thingskatedid
23K Followers 1K Following she/her · If I unfollowed you, it's because you keep posting things without alt text https://t.co/FpwhLrRETb
Matteo Capucci @mattecapu
6K Followers 820 Following 🇮🇹, PhD @mspstrath, mathematician @ARIA_research (category theory for systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Edward Kmett @kmett
16K Followers 824 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Dᵇ(Monkey) Alex Sch... @chmonke
2K Followers 219 Following Graduated from @UW-Seattle studying math. I like AG and commutative algebra. 2nd year PhD student @Columbia
Naïm Camille Favier @ncfavier
142 Followers 293 Following (homotopy, cubical) type theory, category theory, functional programming, music. PhD student at Chalmers. Any pronouns. @[email protected]
clocksSugars @clocksSugars
2K Followers 527 Following LEARN MATH LEARN MATH LEARN MATH LEARN MATH LEARN MATH LEARN MATH LEARN MATH LEARN MATH LEARN MATH @cloaksshooters
Alex Kavvos @lambdabetaeta
726 Followers 887 Following computer scientist (moonlighting as category theorist). lecturer at @bristolcs @BristolUni
LiaMochi 🩹🍵🍡... @Liamochi_
778 Followers 314 Following 🌸 Lia・🌱 Artist ꒱ GMT -3 🔞 ♡￤https://t.co/22Y2zWXHot 🍡🥛꒰ 🍃 vtuber, autista, fadiga+dor cronica 🍵💤꒱ 🖥꒰˖@yvedia_exe 's mama ♡ ᗜ⩊ᗜ
Halli @iamharaldur
269K Followers 20 Following Tweets auto delete. Founder @uenodotco and Anna Jóna. Building wheelchair ramps @rampupteam. Chairman @hafnarhaus. Music @onnujonuson. Host Let's Walk podcast.
Emily 🏳️⚧�... @emily_etale
201 Followers 305 Following Hello! I'm a mathematician and type designer based in Brazil, currently working on the Clowder Project and Darwin.
linearly independent ... @aris_uu
478 Followers 813 Following arisu | she/they | math undergrad @ itb'23 | interested in learning math, computer science, and linguistics | ID/EN/learning JP | pfp: @keropiki
disco elysium psyche ... @discosensitive
13K Followers 2 Following bot that tweets volition, inland empire, empathy, authority, esprit de corps, suggestion, & horrific necktie quotes 🪩
𝕮𝖎𝖓𝖊𝖗�... @CineraVerinia
1K Followers 424 Following Trying to git gud at TCS research and abstract mathematics. LW village idiot.
André 🇵🇸 @mathpoeta
121 Followers 513 Following Baiano | Doutorando em Matemática IME-USP | Anticapitalista | Antifascista | Anti-IA
Orestis Melkonian @omelkoni
153 Followers 389 Following PhD student @ Uni of Edinburgh. Previous coq'aine addict, now seizing the means of production (code) with Agda & formalizing UTxO blockchains / smart contracts.
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Benedikt Ahrens @benedikt_ahrens
89 Followers 53 Following PhD in mathematics from Université Nice Sophia Antipolis Assistant Professor at Delft University of Technology Birmingham Fellow at University of Birmingham, UK
Felipe @fbanados
432 Followers 5 Following PhD from Splablab (@ubc_spl). Chilean. @dccuchile graduate. He/him.
😡fermion, PhD @angryfermion
37K Followers 506 Following making AI slop @meta (former physicist (derogatory))
Simon Peyton Jones @simonpj0
5K Followers 3 Following
sclv @sclv
2K Followers 3K Following "more important than being able to do mathematics is to be sure the applications are meaningful." - e. bishop • https://t.co/45nJUN3IqD
Bev Johnson 🌸 @beverlylove
99K Followers 1K Following Character designer & illustrator / https://t.co/raBHqU67hd / work inquiries: beverly.blue88@gmail
Rose Bohrer @rose_bohrer
452 Followers 612 Following Asst CS Prof at WPI. Interdisciplinary from PL/FM/CPS to HCI and games. 🏳️⚧️(she/her) EN/中文
Sam Lindley @reifyreflect
639 Followers 281 Following
💗ame💗| VGen com... @ameblum
2K Followers 1K Following She, bi, part time digital artist • i ♡ nora & vicky • following ≠ endorsement • love is with love repaid 💕
Cihan Bahran @bahran_cihan
685 Followers 3K Following Mathematician. Turkish cis-het man (he/him/his), upper middle-class. MDD. Pronounced Gee-han (IPA dʒihan).
frobunnius @anabunnian
202 Followers 67 Following Mark, Cujo, Lula. Mathematicians — justice, rabbits, and local number theory (anabelian geometry ∪ arithmetic dynamics). Committing crime on company time.
centurii-chan @CenturiiC
535K Followers 3K Following history/yuri artist all my characters are very gay sometimes 🔞 if you'd like to help me grow please consider my patreon in https://t.co/OxfF0tsjON
suzanne @TheTrashbang
4K Followers 601 Following hitscanner apologist — tired trans woman — level/environment design sicko — https://t.co/M6Jywo3Hjb — she
@[email protected]... @DelftPL
226 Followers 165 Following Programming languages research group at TU Delft. This account is no longer active, follow us at https://t.co/l5hJ0MfhxG instead.
Prophet @welltypedwitch
3K Followers 544 Following There's no sense crying over every mistake. You just keep on trying till you run out of cake. - GLaDOS https://t.co/70SfmxnROe https://t.co/p6LXXU7dGH
Nelson Niu @nelsonsniu
268 Followers 322 Following he/they • math phd student at uw • uaw4121 unit chair • actor • uw ms ’23 • mit sb ’21 • https://t.co/6FtLPEZm2i
Counting is Hard(@cou... @counting_hard
45 Followers 201 Following @[email protected] Maths / CS account of @reset_shift. YT / Blog coming soon. Dodecahedron Fan Combinatorics / Category Theory / Type Theory
SulMatul @HayleyDyer16
1K Followers 509 Following Medicine is my lawful wife, literature is my mistress
Chris @HallaSurvivor
13 Followers 4 Following Math major at Carnegie Mellon with a love for music, functional programming, and helping others. They/Them.
Dan Christensen @dan2christensen
185 Followers 30 Following I'm a mathematician at the University of Western Ontario. I'm on Mastodon at https://t.co/JxvlNFwIpl
Paige Randall North @PaigeRNorth
74 Followers 43 Following Postdoc in Math/CS/Eng @ UPenn. She/her. 🏳️🌈
Alex Dixon @dixonary_
564 Followers 178 Following Assistant Professor @WarwickDCS; Game designer and developer; Whodle creator; @PocketWorkshop_; Tall; He/They 🏳️🌈
Matti Palli 🧙�... @tritlo
3K Followers 2K Following uncertified haskell engineer | certified researcher
Axel Ljungström @overleaf_user
49 Followers 74 Following Mainly here to read football rants (preferably about IK Sirius). If you're looking for maths, I'm found here these days: https://t.co/OQCmQVjhqj
Trends for United States
45,9 B posts
116 B posts
7.847 posts
19,1 B posts
9.637 posts
6.999 posts
22,3 B posts
7.822 posts
5.328 posts
30,5 B posts
26,8 B posts
3.481 posts
3.918 posts
2.054 posts
4.532 posts
5.556 posts
2.935 posts
1.427 posts
19,5 B posts
3.535 posts
You might like
Talia Ringer 💚
@TaliaRinger
29K Followers
Alexandra ✨
@EulerWept
4K Followers
Type Theory Forall
@ttforall
4K Followers
Derived memes for spe...
@DerivedMemes
3K Followers
(s)ad Astra 🏳️�...
@astradiol
865 Followers
Matteo Capucci
@mattecapu
6K Followers
Ningning Xie
@xnningxie
4K Followers
julesh
@_julesh_
10K Followers
Ben Grimmer
@prof_grimmer
3K Followers
Dᵇ(Monkey) Alex Sch...
@chmonke
2K Followers
julia🦄
@KamerynJW
6K Followers