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
Counting is Hard(@[email protected]) retweeted
Over the last hundred years, statisticians have uncovered a whole universe of statistical distributions and relationships between them.
40
636
3K
350K
1K
Download Image
Counting is Hard(@[email protected]) retweeted
Good Will Hunting Bar scene but it's about fibrations in category theory 🧵👇
Counting is Hard(@[email protected]) retweeted
wtf... the most unexpected connection ever
Counting is Hard(@[email protected]) retweeted
Ted Nelson on computers
If anyone knows people hiring programmers in Scotland, I'd appreciate a heads up.
Counting is Hard(@[email protected]) retweeted
Real Life smbc-comics.com/comic/real-lif… (click for full comic) #smbc #hiveworks
Counting is Hard(@[email protected]) retweeted
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…
Counting is Hard(@[email protected]) retweeted
I'm really mad that "normal" means "perpendicular to others" in geometry and "parallel to itself" in groups
Counting is Hard(@[email protected]) retweeted
You've seen Advent of Code, now get ready for Ramadan of Code. It's 30 days of no coding.
Counting is Hard(@[email protected]) retweeted
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…
Counting is Hard(@[email protected]) retweeted
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
Counting is Hard(@[email protected]) retweeted
⛏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
Counting is Hard(@[email protected]) retweeted
I know I'm a month too late, but: #OpenSSL
Counting is Hard(@[email protected]) retweeted
#UCUstrike #ucuRISING let's gooo
Counting is Hard(@[email protected]) retweeted
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
Counting is Hard(@[email protected]) retweeted
Parsing Protobuf at 2+GB/s: How I Learned To Love Tail Calls in C
Counting is Hard(@[email protected]) retweeted
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
Heather Harrington @haharrington
2K Followers 644 Following Mathematician and Systems Biologist. Interested in geometry and topology of data & diversity in science. UMass/Imperial/UnivOx/MPITrends for United States
13,1 B posts
16,7 B posts
63,5 B posts
1.419 posts
2.822 posts
6.074 posts
3.131 posts
1.736 posts
38 B posts
4.524 posts
2.235 posts
5.159 posts
2.562 posts
1.678 posts
22,5 B posts
8.131 posts
6.478 posts
13,1 B posts
27,3 B posts
You might like
Dᵇ(Monkey) Alex Sch...
@chmonke
2K Followers
tree
@series_ay
245 Followers
Antonio E. Porreca �...
@aeporreca
288 Followers
Chris Henson
@_chenson__
862 Followers
naïveba(ye)sed
@naivebased
43 Followers
Nima Rasekh
@nima_rasekh
241 Followers
Kellen Myers
@kellen_myers
47 Followers