Ulrik Buchholtz @UlrikBuchholtz
Dane (he/him); mathematics, logic, and computer science; assistant professor at the University of Nottingham ulrikbuchholtz.dk Nottingham, England Joined August 2011-
Tweets379
-
Followers479
-
Following226
-
Likes6K
Before coming to Vienna for the HoTT/UF and WG6 workshops, @UlrikBuchholtz and I visited @EgbertRijke to work on acyclic types. We had a great time in Ljubljana! Ulrik talk about our work at HoTT/UF; his slides are available here: ulrikbuchholtz.dk/hott-uf-2023.p…
Very excited to be teaching an introductory course on domain theory and denotational semantics at MGS this year!
HoTT/UF Workshop 2023 April 22--23, Vienna (co-located with EPN WG6 meeting) Submission is open. hott-uf.github.io/2023/
A new paper by @UlrikBuchholtz, @dan2christensen, Jarl Taxerås Flaten an myself: arxiv.org/abs/2301.02636 Among the cool things we show are that the type of H-space structures on S^3 is Ω^6(S^3). We also introduce central types and show that they are infinitely deloopable.
It is my pleasure to announce that my textbook Introduction to Homotopy Type Theory is finished and available on the ArXiv 🎉 It will be published by Cambridge University Press in the Cambridge Studies in Advanced Mathematics series. arxiv.org/abs/2212.11082
Have you used "zbMATH Open"? It's the world's most comprehensive & longest-running abstracting & reviewing service in pure & applied maths. And even better, since 2021 it's completely open access! Why not give it a try today, and follow @zbMATH. zbmath.org
If you're interested in doing a PhD in Nottingham on homotopy type theory, constructive mathematics, or related topics, please get in touch!
If you're interested in doing a PhD in Nottingham on homotopy type theory, constructive mathematics, or related topics, please get in touch!
This week the #HoTTEST seminar has talks by junior researchers Jarl Flaten and Tom de Jong. The talks start at 11:30am EST on Thursday, Nov 17 and are followed by Gather Town. See uwo.ca/math/faculty/k… for the Zoom link, titles, abstracts, and calendar of all upcoming talks.
I gave a talk about acyclic types and epimorphisms in homotopy type theory, which is joint work (in progress) with @UlrikBuchholtz and @EgbertRijke. Slides: tdejong.com/talks/Birmingh… (2/3)
This week the #HoTTEST seminar has talks by junior researchers Axel Ljungström and Max Zeuner. The talks start at 11:30am EDT on Thursday, Oct 20 and are followed by Gather Town. See uwo.ca/math/faculty/k… for the Zoom link, titles, abstracts, and calendar of all upcoming talks.
Tomorrow afternoon I'll be speaking at the @FieldsInstitute at the Fields Medal Symposium honoring Akshay Venkatesh in a talk entitled "How I became seduced by univalent foundations" (7:15-8:30pm UTC): fields.utoronto.ca/talks/How-I-be…
Happy Ada Lovelace Day! #ald2022 #adalovelaceday findingada.com
Join us for Ada Lovelace Day celebrations next week! Featuring a screening of inspiring documentary ‘Hello World’ kindly donated by the film’s director @ShawnWildermuth @twainfilms. #BlackHistoryMonth #AdaLovelaceDay
This starts in about two hours! The topics are "Univalent Category Theory" and "Where are the open sets? Comparing HoTT with Classical Topology" #HoTT #HoTTEST
Hello! I'm looking for Ph.D. students who are interested in research on programming languages/formal verification/interactive theorem proving! Please reach out to me if you are interested or if you have any questions about my research, our group, or @Portland_State. (Please RT.)
Great to welcome Dan Marsden @StringDiagram as a new Assistant Professor in the FP lab, starting today! Looking forward to seeing lots of string diagrams on our whiteboards :-)
Lemme clear it up for you. Sci-fi is when you call spaces types and fantasy is when you call them animæ.
A group shot from our recent Computer Science away day. The last time we had an in-person away day was three years ago - it was great to finally see everyone again, and meet all the new folks!
Egbert Rijke @EgbertRijke
3K Followers 1K Following Postdoc in Ljubljana • Author of the Introduction to Homotopy Type Theory • Formalisation • Univalent Combinatorics • Agda • Math Twitch • he/him
Lawrence Paulson @LawrPaulson
2K Followers 277 Following Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications.
Graham Hutton @haskellhutt
7K Followers 696 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Matteo Capucci @mattecapu
4K Followers 789 Following 🇮🇹→🏴, PhD @mspstrath, mathematician (category theory for systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
András Kovács @andrasKovacs6
741 Followers 69 Following Type theory & applications. Also on Mastodon: https://t.co/KYgeYKJQgM
Pitching The Offer Op.. @PTOOP
1K Followers 611 Following (B&Q they/them) if it's enough to project probity and competence, compassion would seem surplus to requirements, and dignity positively dangerous
Max ⊶ New @maxsnew@.. @ProfMaxNew
1K Followers 225 Following Professor of Computer Science @umich, tweets about programming language design, semantics and ̶c̶a̶t̶e̶g̶o̶r̶y̶ ̶t̶h̶e̶o̶r̶y̶ profunctors. Louisiana ex-pat ⚜️
David Jaz Myers @myers_jaz
1K Followers 203 Following Got my PhD in notation. Categories, cohesion, things, ranting about how we need to abolish human rental.
Dr Valeria dePaiva @valeriadepaiva
3K Followers 2K Following Logician, category theorist, semanticist. Likes to understand life mathematically. She/Her
Jacques Carette @jjcarett2
2K Followers 1K Following Computer scientist. Programmer specializing in weird languages. Ex-mathematician. Loves cooking. Dabbles with quantum. Uses generative techniques everywhere.
Simon Pepin Lehalleur @plain_simon
3K Followers 5K Following Mathematician (algebraic geometry, motives & friends, singularity theory and ML). 'Geometry is successful magic' (R. Thom) University of Amsterdam. He/Him
🥢 Jon 🍲 @ionathanch
968 Followers 483 Following Jon(athan)? Chan 🏳️🌈 • he/they ↵ MSc @ubc_spl ⊢ PhD @CIS_Penn ↵ programming languages and type theory ↵ @[email protected] • https://t.co/ZOdjW75tH1
Merle @deinemerle
628 Followers 235 Following cats, logic, types and alg geometry, math student in Berlin, they/he
Jeremy Gibbons @jer_gib
2K Followers 276 Following Christian, functional programmer, bass player, increasingly absent-minded prof. Also @[email protected]
bowtochris.bsky.socia.. @BowToChris
1K Followers 513 Following Software Assurance. IV&V. Type theory. Single and ready to mingle.
daniel gratzer @dannygratzer
1K Followers 835 Following phd student @ aarhus university. (modal) type theory, (higher) category theory. he/him. 🏳️🌈.
陈韦伶 @Chen828chen
4 Followers 46 Following Dutch guy with chinese roots living in UK Computer Science BSc Hons @UoNComputerSci
Sharyl Dupoux @DupouxShar39641
74 Followers 5K Following
Karin Corf @KCorf92762
35 Followers 5K Following
Dania Schwering @DanSchwer
61 Followers 5K Following
Latonia Keogh @KeoLatoni
78 Followers 5K Following
Domonique Acedo @AcedoDomon21886
85 Followers 5K Following
Victoria_Lewis @lewis_vict75704
1 Followers 430 Following
Tom @plokhoylogika
68 Followers 523 Following logic, computer science, mathematics, philosophy, political theory. he/him.
Rais Latif @RaisLatif_Study
46 Followers 5K Following Hi I'm Rais. I'm mainly focussing on Math and Science lifelong. There is a lot to discover in these fields and my mind is always blown by all the cool things.
Fadi Akil @FadiAkil4
533 Followers 3K Following zu spät für die Götter;💀 zu früh für die große Politik. ☠️ Alt account @FadiAkil7
Kellan @Kellan555
31 Followers 4K Following
Martin Coll @colltoaction
29 Followers 320 Following Building a diagrammatic software stack | BCS @ComputacionUBA | Find me on GitHub!
Subhadip Sarkar(শ�.. @sarkarrsubhadip
317 Followers 2K Following ||Mathematical nerd🔢#️⃣🇮🇳|| ✈️👨🎓|| 📍When I'm unhappy,I do mathematics to be happy.When I'm happy I do mathematics to remain happy.🏳️🌈
georgie @georgie_bryan
237 Followers 503 Following
shahid khan @TheMShahid
37 Followers 437 Following Currently, I am pursuing BS in Computer Science from the University of Swat Love to programming / web development 1* HTML 2* JAVASCRIPT 3* Css 4* React Js
Paolo G. Giarrusso @Blaisorblade
2K Followers 2K Following @[email protected] PhD in ProgLang. Formalizing C++ and formally verifying a microkernel-based C++ hypervisor @bedrock_systems — Coq/Scala/Haskell
Frank Tsai @frankdec24
0 Followers 18 Following Interested in homotopy type theory and category theory. Abstract nonsense enjoyer. Aspiring mathematician.
sam.. @kha448053853552
0 Followers 983 Following
Fredrik Bakke @fredrbak
3 Followers 38 Following
DegenScholze @PerfectoidPeter
273 Followers 1K Following Maths PhD candidate 𝒩⭑ Investor ☾ X-AI-S-risks worrier 𝒩⭑ ADHD*AUTISM=1 ☾⭑-algebroid lover beware: crazy stuff with no topic focus down the road
WZY @zw324
34 Followers 2K Following
Danny Willems @dwillems42
837 Followers 2K Following _Try_ to make The Internet better. Currently @leak_ix & @o1_labs, @minaprotocol and @be_badaas / Ex Nomadic Labs and @tezos / Ex @B2C2group 🌱
hEzo @hEzohEzo4
106 Followers 942 Following Interested in Cognitive Science, Philosophy of Science, Logic and Artificial Intelligence
nond @STLCCIC
5 Followers 39 Following
James Barge @JamesGames132
8 Followers 123 Following
赵欢 @hzhao2023
0 Followers 22 Following
Patrick Nicodemus @PatNicodemus
305 Followers 255 Following Interests: -Computational biology -Category theory in homological algebra and type theory -Formalized mathematics in Coq
The Math Genome Proje.. @TheMathGenome
69 Followers 284 Following Democratizing higher mathematics with the 1st marketplace and social platform for mathematical proof curation, writing, and formalization.
. @Genius__pg
167 Followers 3K Following
Aran Nayebi @aran_nayebi
2K Followers 2K Following Building a Natural Science of Intelligence 🧠🤖 ICoN Postdoctoral Fellow @MIT Prev: PhD @Stanford @NeuroAILab
tats @tats2426
0 Followers 387 Following
Erin @erin_shoemaker7
1K Followers 3K Following
Ignorantist @SophisticateGuo
3 Followers 501 Following
adèle @adele55567
119 Followers 5K Following
Riemann Hypothesis de.. @ACanaanie
366 Followers 4K Following In this channel, you will see new and the most recent developments regarding the Riemann hypothesis!
Pernille @PernilleBoogie
1 Followers 46 Following
André Dias @sommoftypes
0 Followers 37 Following
UoNPrecisionImaging @UoNPIBeacon
446 Followers 520 Following The University of Nottingham is the home of MRI. Our pioneering invention continues to transform lives and medical care across the world.
cλbai @_cybai
859 Followers 5K Following Taiwanese, never Chinese! λ. @ServoDev contributor, Mozillian. Opinions are my own. he/him
Matt @__m8tt__
108 Followers 963 Following
Egbert Rijke @EgbertRijke
3K Followers 1K Following Postdoc in Ljubljana • Author of the Introduction to Homotopy Type Theory • Formalisation • Univalent Combinatorics • Agda • Math Twitch • he/him
Joel David Hamkins @JDHamkins
22K Followers 295 Following Mathematics and philosophy of the infinite. Professor of Logic @NotreDame @UniofOxford #ProofandtheArt #PhilMaths #InfinitelyMore #BookOfInfinity
Lawrence Paulson @LawrPaulson
2K Followers 277 Following Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications.
Graham Hutton @haskellhutt
7K Followers 696 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Daniel Litt @littmath
38K Followers 871 Following Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.
András Kovács @andrasKovacs6
741 Followers 69 Following Type theory & applications. Also on Mastodon: https://t.co/KYgeYKJQgM
Pitching The Offer Op.. @PTOOP
1K Followers 611 Following (B&Q they/them) if it's enough to project probity and competence, compassion would seem surplus to requirements, and dignity positively dangerous
Dr Eugenia Cheng --no.. @DrEugeniaCheng
27K Followers 0 Following Pure Mathematician+pianist. Grieving involuntary childlessness. Author: "Is Math(s) Real?" 2023 etc. Speaking Engagements via HSB: [email protected]
Max ⊶ New @maxsnew@.. @ProfMaxNew
1K Followers 225 Following Professor of Computer Science @umich, tweets about programming language design, semantics and ̶c̶a̶t̶e̶g̶o̶r̶y̶ ̶t̶h̶e̶o̶r̶y̶ profunctors. Louisiana ex-pat ⚜️
Timothy Gowers @wtgow.. @wtgowers
45K Followers 188 Following Mathematician. Professeur titulaire de la chaire Combinatoire au Collège de France. Also fellow of Trinity College Cambridge.
David Jaz Myers @myers_jaz
1K Followers 203 Following Got my PhD in notation. Categories, cohesion, things, ranting about how we need to abolish human rental.
Dr Valeria dePaiva @valeriadepaiva
3K Followers 2K Following Logician, category theorist, semanticist. Likes to understand life mathematically. She/Her
Jacques Carette @jjcarett2
2K Followers 1K Following Computer scientist. Programmer specializing in weird languages. Ex-mathematician. Loves cooking. Dabbles with quantum. Uses generative techniques everywhere.
Simon Pepin Lehalleur @plain_simon
3K Followers 5K Following Mathematician (algebraic geometry, motives & friends, singularity theory and ML). 'Geometry is successful magic' (R. Thom) University of Amsterdam. He/Him
🥢 Jon 🍲 @ionathanch
968 Followers 483 Following Jon(athan)? Chan 🏳️🌈 • he/they ↵ MSc @ubc_spl ⊢ PhD @CIS_Penn ↵ programming languages and type theory ↵ @[email protected] • https://t.co/ZOdjW75tH1
Iso (teacher become) @IsomorphicPhi
4K 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
Sam Bowman @s8mb
49K Followers 2K Following Editor of https://t.co/YPQHCCb6Ke. Just here to have fun. COYS 🇺🇦
Nottingham MathsJam @NOTMathsJam
271 Followers 267 Following Recreational Maths. In the Pub. In Nottingham. once a month, on the second to last Tuesday's.
Emily Turner @ETWriteHome
22K Followers 3K Following Storyteller and writer – Prolific public transport rider – Host of @roundelroundpod – she/they – probably on a bus
UCU @ucu
90K Followers 2K Following University and College Union, UK trade union for academics, lecturers, trainers, researchers & academic-related staff in further and higher education.
Azalea Raad @AzaleaRaad
1K Followers 286 Following Senior Lecturer (associate prof.) @ImperialCollege. UKRI Future Leader Fellow. Researcher in programming languages & formal verification. Director of @VeTSS_RI.
AssocForWomenInMath @AWMmath
8K Followers 217 Following Encouraging women and girls to study and to have active careers in the mathematical sciences.
Alexa VanHattum @avanhatt
2K Followers 1K Following Assistant Professor @Wellesley computer science. @CornellCIS PhD. Compilers + lightweight formal methods. she/her. [email protected] https://t.co/9UVghNn4e5
Tom de Jong @de_Jong_Tom
253 Followers 60 Following Postdoc at University of Nottingham working on HoTT/UF. PhD from University of Birmingham. Mathematician and runner.
Matthieu Sozeau @mattam_
271 Followers 95 Following CS researcher @INRIA, #Coq dev, type theory advocate and diletante artist.
Dan Marsden @StringDiagram
1K Followers 193 Following Categories, computer science and logic. @[email protected]
Dan Arrows @Dan_Arrows
61K Followers 547 Following Host of @IronDicePod and Three Arrows. 🎟 https://t.co/mPaCk2QkOP 📧 Enquiries to [email protected]
Merle @deinemerle
628 Followers 235 Following cats, logic, types and alg geometry, math student in Berlin, they/he
Michael Hobbes @RottenInDenmark
216K Followers 5K Following Currently @MaintenancePod and @IfBooksPod. Formerly @YoureWrongAbout, @HuffPost, @Highline. Solitary, poor, nasty, brutish and short.
Counting is Hard(@cou.. @counting_hard
67 Followers 218 Following @[email protected] Maths / CS account of @reset_shift. YT / Blog coming soon. Dodecahedron Fan Combinatorics / Category Theory / Type Theory
Type Theory Forall @ttforall
3K Followers 175 Following Making Type Theory, Programming Languages and Formal methods more accessible! https://t.co/g5sMaOyKHM
artemis @artfly
720 Followers 611 Following Vocalist • Songwriter • Poet • Producer • Mad Scientist • Dreamer • http://t.co/YPflnFM6
Axel Ljungström @overleaf_user
52 Followers 65 Following Type theory guy. Guillaume Brunerie is my ontology.
Zoey ⛈ @zoeyfyi
218 Followers 445 Following 🏳️⚧️ Trans. 👩💻 CS graduate. 🎓 PhD student. 🖥️ Agda enthusiast. 🌹Leftist. @[email protected] 💜 (she/her)
Théo Winterhalter @winterhalter_t
121 Followers 109 Following Researcher at Inria Saclay in Deducteam. Proof assistants and dependent types.
Paige Randall North @PaigeRNorth
77 Followers 46 Following Postdoc in Math/CS/Eng @ UPenn. She/her. 🏳️🌈
Stuart Presnell @logopetria
298 Followers 410 Following Mathematics, CS, physics, philosophy Most recently : Teaching logic and phil math in @PhilATBristol at @BristolUni @[email protected]
Doctor Logic @SaraLUckelman
6K Followers 2K Following #Logician, #Onomast, #Medievalist, #AcademicMama, #Author, #Immigrant, founder of https://t.co/BFZX9c9uUK and @EllipsisImprint. Own views. Robot.
Unfuck Your Habitat® @TeamUfYH
52K Followers 486 Following You’re better than your mess. https://t.co/0DLCxC0dzr… She/her
Topos Institute @ToposInstitute
3K Followers 0 Following
Benedikt Ahrens @benedikt_ahrens
93 Followers 57 Following PhD in mathematics from Université Nice Sophia Antipolis Assistant Professor at Delft University of Technology Birmingham Fellow at University of Birmingham, UK
Kristina Liefke @KristinaLiefke
281 Followers 245 Following assistant professor @RuhrUniBochum #PhilosophyOfLanguage #FormalSemantics #PhilosophyOfInformation
Anders Åslund @anders_aslund
315K Followers 4K Following Economist & author. Russia, Ukraine & Eastern Europe. Read my latest book: "Russia's Crony Capitalism" https://t.co/ZqmWMRSMf9
Carole Cadwalladr @carolecadwalla
695K Followers 6K Following Late adopter. Late giver-upper. Guardian & Observer writer.
David Martinez Carpen.. @dvmcarpena
26 Followers 86 Following Mathematician and computer scientist. PhD student at the University of Barcelona. Higher category theory and homotopy type theory.
Margaret E Atwood @MargaretAtwood
2.0M Followers 2K Following author of much, including a S*bstack. https://t.co/zu8MztYEpy. I have just started a Blue*ky account. I’m not sure whether anyone sees my X posts.
(s)ad Astra 🏳️�.. @astradiol
829 Followers 406 Following 𝑆𝑝𝑎𝑐𝑒 𝑎𝑛𝑑 𝐿𝑜𝑔𝑖𝑐; 𝒮ℴ𝓎𝓁ℯ𝓃𝓉 𝓌𝒾𝓃ℯ 𝓅𝒶𝒾𝓇𝒾𝓃ℊ. 𝔓𝔲𝔯𝔢 𝔪𝔞𝔱𝔥𝔰 𝔓𝔥𝔇. 🏳️⚧️ 𝒔𝒉𝒆/𝒉𝒆𝒓 (trans girl in type theory)
adittya chaudhuri(@Ad.. @adittyachaudhu1
978 Followers 1K Following Invited Fellow at the University of Rostock| PhD Math at IISER-TVM| Higher Geometry, Applied Category Theory and Systems Theory| 🏋️, travelling, 🎵, 📚 , ☕, ?
chessapig @chessapigbay
6K Followers 176 Following pretty math pictures. Mathematical physics, geometry/topology
Alexis King @lexi_lambda
13K Followers 25 Following Fighting for the radical belief that things can be understood • I work on Haskell and GHC at @tweagio • DMs open (but responsiveness varies) • she/her, ⚢
My Favorite Theorem @myfavethm
4K Followers 58 Following a joint podcast venture by Kevin Knudson (@niveknosdunk) and Evelyn Lamb (@evelynjlamb)
Littlefield Studio @LFS_Games
247 Followers 6 Following Littlefield Studio is a young game developper based in Paris, France. We specialize in relaxing, non-violent games for mobile and PC.
Space Telescope Scien.. @SpaceTelescope
138K Followers 925 Following Mission Operations Center for NASA's Webb Space Telescope (#NASAWebb). Also operating @HubbleTelescope and upcoming @NASARoman.
ESA Webb Telescope @ESA_Webb
260K Followers 196 Following Official @ESA feed for James #Webb Space Telescope – an international partnership between NASA, ESA and CSA #WebbSeesFarther #BFFinSpace with @Hubble_Space
NASA Webb Telescope @NASAWebb
3.3M Followers 65 Following The world's most powerful space telescope. Launched: Dec. 25, 2021. First images revealed: July 12, 2022. Verification: https://t.co/ChOEslj1j5
Today I officially receive the Herbert A. Simon Professorship in Philosophy. A position previously held by Teddy Seidenfeld. It's a honor, but also very humbling, to add the name of a Nobel Prize winner to my title :)
guy who knows math voice
They used to just call it linux, but people started calling it GNU/linux after Noether proved it was isomorphic to the quotient by the kernel
Today's my last official day at CMU, making this announcement long overdue: I'm headed to Indiana University @IULuddy this fall as an Assistant Professor of Computer Science! I'm truly thrilled to return to Bloomington as a member of the PL group that introduced me to the area.
It boggles my mind that the discussion isn't about the underlying cause: the average programming task is so much "the same" as what's been done before a zillion times that today's AI works for it.
Talked to a programmer today who said AI coding tools made him about 10x more productive. Though 10 seems like a round number, this was an attempt at a precise estimate.
Before coming to Vienna for the HoTT/UF and WG6 workshops, @UlrikBuchholtz and I visited @EgbertRijke to work on acyclic types. We had a great time in Ljubljana! Ulrik talk about our work at HoTT/UF; his slides are available here: ulrikbuchholtz.dk/hott-uf-2023.p…
@AlexKontorovich It’s interesting to see so many determined to deny mathematical creativity. But it’s meaningless to speak of “discovery“ when there is so much freedom to create what you want. Are symphonies discovered too?
Kafkaesque. Since leaving Oxford last year, I have been supervising my five Oxford D Phil students via Zoom. I planned to visit Oxford during Trinity term to meet with them and research colleagues. But I am now informed that meeting with my students would be considered "work" for…
@hagenilda Members asked and asked if the proposals would be separate or bundled and received zero clarity.
I honestly think mathematicians are reluctant (and will continue to be reluctant) to use mechanized mathematics because of how horrible build systems are. And I actually don't really mean "It's hard to build the software to do mechanized math", though, yeah, that too, but...
Coming to @UoNComputerSci is a pleasure all year round on this campus.
[Office hours] S: This homework question asks about [concept we have been discussing nearly every class]. Could we review this? Me: Specifically, which part? S: All of it
Members of @WomenInLogic1 have been instrumental in the installment of an anti-harassment policy by a logic conference. It was inspired by the policy of the American Mathematical Society: ams.org/about-us/gover… Many thanks, and may more logic conferences follow this example!
My 6 year-old daughter just asked, 'Daddy, how do explain colours to someone who's never seen them?' Oh happy day.
This is such a funny thing to point to as the brokenness of the academy
@QuillRKukla from the article "One commenter wrote: 'I think this is one of those things, where you see it … and suddenly you think the interesting question is not, why are there so few women in philosophy, but rather, why are there so many of you still here?'" I ask this all the time
"Swedish journalist Chang Frick, affiliated with Russian propagandist channel RT, paid for Danish far-right activist Rasmus Paludan to publicly burn the Quran near the Turkish embassy in Sweden." To block Sweden from NATO... i24news.tv/en/news/intern…
The one-way street was invented because science is so exciting 1/3
Trends for United States
You might like
