Counting is Hard(@[email protected]) @counting_hard
@[email protected] Maths / CS account of @reset_shift. YT / Blog coming soon. Dodecahedron Fan Combinatorics / Category Theory / Type Theory Joined January 2022-
Tweets586
-
Followers45
-
Following201
-
Likes2K
Over the last hundred years, statisticians have uncovered a whole universe of statistical distributions and relationships between them.
If anyone knows people hiring programmers in Scotland, I'd appreciate a heads up.
Real Life smbc-comics.com/comic/real-lif… (click for full comic) #smbc #hiveworks
According to Wikipedia, Martin Davis passed away yesterday. We'll do a proper obit soon, but here's a blog post Bill wrote on his joint work with Hilary Putnam. blog.computationalcomplexity.org/2016/03/hillar…
I'm really mad that "normal" means "perpendicular to others" in geometry and "parallel to itself" in groups
You've seen Advent of Code, now get ready for Ramadan of Code. It's 30 days of no coding.
I had a very lovely conversation with Dr. @andrejbauer , where we discussed proof assistants, Coq, HoTT, constructive mathematics, a dash of philosophy, and more! youtube.com/watch?v=TSnyG6…
The Continuity of Splines is now on YouTube!! it has been a year in the making, goodness ;-;🎉 I hope you'll like it ❤ ❱ youtu.be/jvPPXbo87ds
⛏STRIKE THE EARTH! ⛏ The legendary Dwarf Fortress by @Bay12Games is out now for Steam and itch.io Steam: bit.ly/2PY0P0w itchio: bit.ly/3usRn5L
I know I'm a month too late, but: #OpenSSL
#UCUstrike #ucuRISING let's gooo
Last month, I was offered a TA job at a Russell Group uni, teaching 5 seminars a week. The pay was £15.76 weighted to £23 per seminar. I.e. £1.5k per term/£3k per year to retain the services of a qualified, experienced academic to teach students paying £9k+. #ucuRISING #UCUstrike
Last month, I was offered a TA job at a Russell Group uni, teaching 5 seminars a week. The pay was £15.76 weighted to £23 per seminar. I.e. £1.5k per term/£3k per year to retain the services of a qualified, experienced academic to teach students paying £9k+. #ucuRISING #UCUstrike

Theo Wang @TheoWang14
16 Followers 196 Following
serge @sergiu_a_b
566 Followers 2K Following Student of philosophy with a wide range of interests; e.g. Fundamentalontologie, Deutscher Idealismus, classical philology, « de arte combinatoria », Nietzsche.
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
Bella🐈♥️ @SadiqTitiloye
13 Followers 240 Following
Mustafa @MustavaAyash
21 Followers 299 Following
Fernando Chu @shiranaiyo_
3 Followers 39 Following I'm very interested on the foundations of mathematical knowledge.
Burny - Effective Cur... @burny_tech
19K Followers 8K Following On the quest to understand the fundamental mathematics of intelligence and of the universe with curiosity. https://t.co/mMchI2d4pg Upskilling @StanfordOnline
Ashani Gamage @Ashani_AG
1 Followers 18 Following
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.
greenish @brumalism
2K Followers 346 Following Elk grazing on its own entrails. Woman wielding a monkey wrench
Qivshi e/acc sage era @Qivshi1
835 Followers 2K Following E/acc sage mindset era "Slop-coded seer" @shishiqiushi alt
Joel Speranza @JoelBSperanza
5K Followers 1K Following Technology Coach | Head of Mathematics | Blended Learning | Maths Video Guy | #MIEexpert | https://t.co/5X7mM0Q99c
Ulrik Buchholtz @UlrikBuchholtz
427 Followers 204 Following Dane (he/him); mathematics, logic, and computer science; assistant professor at the University of Nottingham
Joe Zimmerman @joe_zimmerman
1K Followers 2K Following PL & compilers / AI / rationality / moral philosophy
Intermediate Otaku @intermediateo
245 Followers 4K Following
Rory Tarnow-Mordi @roryt_m
192 Followers 277 Following I solve problems with data. Both parsings are accurate.
Fridtjof Siebert @fridi_s
85 Followers 273 Following Designing the Fuzion programming language and implementing related tools. https://t.co/bRIkXHR1p9 @TokiwaSoftware | @FuzionLang QGZyaWRpQG1hc3RvZG9uLnNvY2lhbAo=
Desi Tux @desi_tux
3 Followers 172 Following
Serokell @serokell
7K Followers 5K Following The most bizarre company with brave ideas of functional programming application. #Haskell #Nix #Elixir #Rust #Agda #ML #AI
sivat.eth @0xSiva
532 Followers 4K Following 1st principles thinker 🧬I ❤️ math, cs 🧮| code 🦀🛠| eth Ξ, applied cryptography 🗝: ecc ➠ pqc⏳, zk proofs 🪄↔️🧾 Timeline: high SNR cryptography, eth📝🔑⛓🌐
shift reset (@shift_r... @reset_shift
44 Followers 514 Following Brit. Ice Type Gym Leader. Team Rocket stan. https://t.co/pSeiGvUVIn Eco-zealot Marxist. 日本語でいい. #blacklivesmatter
Peter Rowlett @peterrowlett
14K Followers 12K Following Not here. Try @[email protected] on Mastodon, @peterrowlett.net on Bluesky, https://t.co/tr6SHipvlP
synrotek @synrotek
232 Followers 2K Following at this point I'm basically just Some Guy. will keep acct around mostly for chat & cuz been curating my incoming feed for years past: sw, writing, game design
Simone Conradi @S_Conradi
10K Followers 2K Following Theoretical Physics Ph.D., Computer Science Teacher. Author of “Intelligenza Artificiale” Zanichelli 2022. I draw using mathematics and Python.
Nicholas du Preez @nickdupreez
32 Followers 566 Following Interested in all things interesting... current obsessions include mtb cycling and endurance training... a pythonista at heart.
Daniel VanGorden @DanielVanGorde7
20 Followers 861 Following
hikari 🌟 (fell out... @hikari_no_yume
3K Followers 388 Following from another world; magical girls on the internet, gpu programmers, musicians, sky enthusiasts, etc; EN/SV/DE
Steven Senger @HuecoTanksCR
1K Followers 2K Following Family man, mathematician, musician, rock climber. Plays Rocket League and Clash Royale. https://t.co/Zb7a5bbzMd
Alexander Furlong @_AlexFurlong
83 Followers 984 Following
MantaFlight @mantaflight
342 Followers 7K Following discrete, but not terribly discreet. all models wrong, some useful. watch your breath. @occamspraiser.bsky.social
TCS blog aggregator @cstheory
6K Followers 9 Following Posts from the Theory of Computing Blog Aggregator maintained by @nimaanari, @abhatt2, and @thegautamkamath.
Matus Goljer @Fuco1337
211 Followers 14 Following Smartparens and Elsa developer, Emacs enthusiast. Fuco1@github. You can support my work on Patreon
DB @javidx9
6K Followers 327 Following That guy from OneLoneCoder. Programmer of BRAINS, Writer of CODE, Builder of ROBOTS, Player of GUITARS, Streamer of NONSENSE https://t.co/lNxQXhnmRn
Caves of Qud 1.0 out ... @cavesofqud
9K Followers 1 Following Caves of Qud is a science fantasy roguelike epic steeped in retrofuturism, deep simulation, and swathes of sentient plants. By @freeholdgames & @kitfoxgames
Zach Weinersmith @ZachWeiner
101K Followers 4K Following Soonish, Open Borders, Bea Wolf, and new book: A City on Mars Married to @fuschmu. @[email protected] (Support at https://t.co/xXXR5KKuTr)
MGGG Redistricting La... @gerrymandr
2K Followers 64 Following Nonpartisan redistricting analysis • draw stuff at https://t.co/6xa6bAc02C
Programming Languages... @Glasgow_PL
139 Followers 52 Following This is the account of the Programming Languages Theme at @GlasgowCS, spanning researchers in programming language foundations, systems, and education.
Brendan W. Sullivan (... @professorbrenda
2K Followers 1K Following Asst Prof of Math @EmmanuelCollege (header: @werepstem) Find me here: https://t.co/SsG9MFEuG6
Mathematics Pitchbot @MathPitchbot
793 Followers 1 Following @MathHistFacts but with the time dimension reversed.
Howie Hua @howie_hua
88K Followers 1K Following I teach math to future elementary school teachers at Fresno State. I make math memes and explainer videos. https://t.co/ks70O6RaFv
Ben Sparks @SparksMaths
8K Followers 897 Following Mathematician, Musician, Speaker, Teacher. Freelance, AMSP, & Uni of Bath. @Numberphile, @MathsInspiratn, @TMiPUK, and YouTube @SparksMaths
András Kovács @andrasKovacs6
911 Followers 66 Following Type theory & applications. Also on Mastodon: https://t.co/KYgeYKJQgM
Alexei Pepers @ampepers
1K Followers 492 Following apepers @ cohost Technical System Designer at Gardens, formerly of Blaseball and Nightingale! Proc gen Ranger/Druid. Roguelike Celebration MC. (She/her)
Random Tiling Bot @RandomTiling
2K Followers 0 Following A bot made by @divbyzero using Tracery and Cheap Bots, Done Quick!
David Sumpter @Soccermatics
33K Followers 2K Following Professor of Applied Maths and Author. Co-founder and data scientist at Twelve football.
Lance Fortnow @fortnow
6K Followers 370 Following Professor. Complexity Theorist @iitcomputing @[email protected] @lance.fortnow.com
James Fairbanks @fairbanksjp
597 Followers 210 Following Assistant Professor @UF. Studying how math can help us better use computers to understand the world.
Noam Zeilberger @noamzoam
738 Followers 546 Following Computer scientist interested in the connections between things. Assistant professor at @LIX_lab @Polytechnique. https://t.co/idhOknEIRO
Amit Patel @redblobgames
19K Followers 12 Following I explain algorithms and math with interactive web pages (incl. pathfinding, hexagons, procgen maps, voronoi). Wrote Solar Realms Elite; helped w/@rotmg_news
Dr Finished and Tired @DoneWithMaths
2K Followers 557 Following Homotopy theory is hard, as is grad school*. He/Him. *Fuck! I actually did it!
Some theorems @CihanPostsThms
29K Followers 6 Following Posting some theorems, and occasionally other stuff. By @bahran_cihan
Special Interest Grou... @sigbovik
1K Followers 19 Following Senior computer scientist at CMU. Research interests include Perplexity Theory, k-Armed Bandits, and Cloud Rendering. Face of the SIGBOVIK conference.
Ross Anderson @rossjanderson
10K Followers 934 Following Professor of Security Engineering at Cambridge University and Edinburgh University
Gabriel Peyré @gabrielpeyre
102K Followers 453 Following @CNRS researcher at @ENS_ULM. One tweet a day on computational mathematics.
Gil Kalai @GilKalai
3K Followers 243 Following
Ayliean @Ayliean
16K Followers 780 Following Mathemactivist and Craftamatician, constantly trying to unleash the beauty of Maths for all to see! Also a tortoise lover. (she/her)
Association for Compu... @TheOfficialACM
72K Followers 3K Following The world's largest professional organization advancing #computing as a science and profession. Also @mastodon.acm.org Likes & shares ≠endorsement
Ben Orlin @benorlin
18K Followers 587 Following Lover of math, bad at drawing. he/him. Author of four books, including MATH FOR ENGLISH MAJORS (which is for all majors, and even for ambitious minors)
Louis @LouisLmnn
26 Followers 28 Following PhD sdt @ LMF in Paris-Saclay, interested in category theory and quantum programming languages. Addicted to language learning and I play the bass
Zach Adams @threetoebay12
2K Followers 91 Following Co-founder of Bay 12 Games. Author of short stories.
Firefox 🔥 @firefox
2.4M Followers 511 Following The only non-profit-backed, people-first browser. Help: @FirefoxSupport
Journal of Functional... @journal_of_fp
2K Followers 4 Following Design, implementation & application of functional programming languages from mathematical theory to industrial practice. Tweets by @kamatsu8
UCU @ucu
85K Followers 2K Following University and College Union, UK trade union for academics, lecturers, trainers, researchers & academic-related staff in further and higher education.
Internet Archive @internetarchive
442K Followers 1K Following Internet Archive is a non-profit research library preserving web pages, books, movies & audio for public access. Explore web history via the @waybackmachine.
Matthew Garrett (@mjg... @mjg59
28K Followers 278 Following Not here. Fedi: @[email protected] Bsky: @mjg59.eicar-test-file.zip Signal: @mjg.59 Blog: https://t.co/CVivdtMBWe
(s)ad Astra 🏳️�... @astradiol
865 Followers 392 Following 𝑆𝑝𝑎𝑐𝑒 𝑎𝑛𝑑 𝐿𝑜𝑔𝑖𝑐; 𝒮ℴ𝓎𝓁ℯ𝓃𝓉 𝓌𝒾𝓃ℯ 𝓅𝒶𝒾𝓇𝒾𝓃ℊ. 𝔓𝔲𝔯𝔢 𝔪𝔞𝔱𝔥𝔰 𝔓𝔥𝔇. 🏳️⚧️ 𝒔𝒉𝒆/𝒉𝒆𝒓 postdoctoral fellow in CS at @wesleyan_u
GNU Guile @guilelang
549 Followers 205 Following Guile is a Scheme inspired language environment for everyone! For a more network-freedom-friendly account, see: https://t.co/k7XSZEI8Eq
Paige Randall North @PaigeRNorth
74 Followers 43 Following Postdoc in Math/CS/Eng @ UPenn. She/her. 🏳️🌈
paulette d. koronkevi... @koronkebitch
3K Followers 338 Following preserving types with @wilbowma at @ubc_spl. former @galois intern, former former @IULuddy undergrad (she/her)
William J. Bowman @wi... @wilbowma
3K Followers 229 Following Paren-wielding facebook-theorist, PhD. Sith Lord of Compilers. Asst. Prof. at UBC. This account is deprecated.
SLMath (MSRI) @mathmoves
9K Followers 1K Following The Simons Laufer Mathematical Sciences Institute (SLMath) in Berkeley, California (formerly MSRI). Learn more: https://t.co/GBm5Ia71Cy