Micah Cantor @micah_cantor
Software engineer @Rinse. Previously studied CS and math @GrinnellCollege. Interested in compilers, FP, web development Moved to bluesky micahcantor.com Washington, DC Joined October 2020-
Tweets116
-
Followers138
-
Following144
-
Likes176
New blog post: I wrote about the most important features I look for in a programming languages, plus some discussion of existing languages with some, but not all, of those features: micahcantor.com/blog/programmi…
0
1
5
199
2
Micah Cantor retweeted
My first tech blog in over six months, I present to you... CRIMES WITH PYTHON PATTERN MATCHING > Python is dynamically typed. [...] This means that type information exists at runtime, and that **types can be created at runtime.** Madness abounds. hillelwayne.com/post/python-ab…
keinsell @keinsell_
325 Followers 1K Following
Vickie Beier @VBeier41003
76 Followers 4K Following
Karthik Krishnamurthy @typetetris
41 Followers 2K Following
Wilson Santos @WilsonSants200
27 Followers 328 Following " Sempre acima de tudo ser fiéis a si mesmos, aquilo que de melhor tiverem em si próprios e que é sempre o reflexo do que infinitamente nos transcende"
Rithene @rithene97452
72 Followers 5K Following
WandaNelson @NeIMH6f0538pg
71 Followers 7K Following
Yves Muya-Benda @yvesmuyabenda
199 Followers 839 Following
Punch @punchagan
496 Followers 1K Following
Arpit Kumar @kumaaarpit
14 Followers 220 Following cs and math @ubc // interested in infrastructure engineering, language-oriented programming, and distributed systems
herman permafrost @thistlesticks66
44 Followers 3K Following rates vol quant @ split-ticketing dot com
Kishore Ganesh @KishoreGanesh12
36 Followers 1K Following
Vinod Grover @vinodg
3K Followers 1K Following Sr Distinguished Engineer @nvidia. Compilers, CUDA C++, PL, Machine Learning and Systems. tweets and opinions are personal.
Naums Mogers @naummo
531 Followers 1K Following Software Engineer at @Google (compilers for TPUs), PhD (@InfAtEd). Ex-intern @MSFTResearch, ex-intern @Arm Research. He/him
Abhash jha @Abhashhask
49 Followers 930 Following
tatchi @_tatchi
169 Followers 2K Following
Gastón, PhD @gzanitti
232 Followers 849 Following Compiler Engineer @powdr_labs | Dr. en Cs. de la Computación | Un tipo que hace números y les saca verdades | No sé retirarme a tiempo.
Michael Hendricks @mndrix_
909 Followers 612 Following OCaml; Off-grid; Tesla (X, 📐); Bayesian; Summarist
Valentyn Y @BaLiKfromUA
8 Followers 68 Following Big guy from a small city in Ukraine. Doing non-financial software in financial companies. Opinions are my own.
Lewis Liu @lewisl9029
716 Followers 2K Following Building @ReflameApp, so you never have to wait for a deploy or test ever again. Let's chat! https://t.co/R0JQ1u8W48 Past: @BrexHQ, @CircleCI, @rangleio
Matt @matt_dz
5K Followers 3K Following C++, Compilers, Computer Architecture, Generic Programming, GPGPU, HPC, Machine Learning, Numerics, Parallel Computing, Quantitative Finance
quaz @quasisolution
4 Followers 176 Following
Ernest Ng @ngernest2
506 Followers 3K Following Programming Languages PhD student @Cornell_CS | he/him
Jesse Li @__jesse_li
1K Followers 3K Following he/him 🦠 friend of lactobacillus 🤩🌈🏴 we do not yet know what a computer can do 🚴 https://t.co/XFVK85R2Bb
Ramneet Singh @Ramneet_Singhh
847 Followers 5K Following Research Fellow @MSFTResearch India | Ex RA @gatech_scs, (B. + M.) Tech. CSE IITD | PL, Verification and Theorem Proving | Sports + Music + Food (in that order)
Nilanjan Sarkar @nilan_blue
346 Followers 4K Following Unlearning in LLMs| M.E CS @bitshyd| Applied Scientist intern @AmazonScience IML| #recsys #nlp #nlproc #clang #compilers #llvm
Anirudh Rowjee @ rowj... @AnirudhRowjee
2K Followers 3K Following LSM Trees @couchbase 🛠️ @bengalurusys @hsp_ecc • Databases, Dist Sys, Rust, C++ • runner, metalhead, poet⚡dare mighty things • autodidact • views mine
beike @beikejun07
32 Followers 2K Following
Anne Christiansen @xihuanzuoai8888
38 Followers 1K Following
reto @oter
570 Followers 5K Following
Siddi @siddi_ziddi_hai
318 Followers 5K Following Muslim. Software Engineer. Love to read books. Also, I LOVE Big Nate comics, The Last of Us and epic fantasy. Can't think of anything else to describe me.
Lukas @louquard
85 Followers 1K Following About Tech, Maths, Teaching (high school); Politikjunkie (can't help myself)
Yaron (Ron) Minsky @yminsky
15K Followers 333 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
vaibhav sagar @vbhvsgr
2K Followers 5K Following future trophy husband; @recursecenter f1'16; 🇦🇺/🇮🇩/🇮🇳; he/him https://t.co/VGk6nI4TOO https://t.co/64Kipz3ghV https://t.co/YetTYcxcvQ on bluesky
Marc Forward @MarcForward
3 Followers 34 Following
Řabïn pd @weeindd
16 Followers 851 Following
Manuel Simoni @msimoni
4K Followers 2K Following geek of programming languages, operating systems, and hypermedia platforms
Eileen Jones @Eileen15Jones
4K Followers 570 Following I write about film for Jacobin magazine and have a podcast called Filmsuck. Survived many years of teaching at UC Berkeley's Department of Film and Media.
Will Crichton @tonofcrates
7K Followers 159 Following Cognitive engineer, assistant professor @BrownUniversity.
Loris D'Antoni @lorisdanto
8K Followers 769 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
sabine 🐫🦀 / 'us... @sabine_s_
5K Followers 473 Following show me OCaml | an https://t.co/8e1icJBB76 maintainer | RFC 3339 dating coach | maybe not a sith lord | former overqualified señor meme developer | 5€ VPS kid
Rob Perez @WorldWideWob
1.2M Followers 1.3M Following 81-77. April 2, 2022. ||| @SiriusXMNBA 1-4 PM ET |||| @PlayProphetX 6-7 PM ET |||| @SkyWobAlerts CBC |||| @WobBurnerBurner
Ernest Ng @ngernest2
506 Followers 3K Following Programming Languages PhD student @Cornell_CS | he/him
Max Tagher @MaxTagher
1K Followers 229 Following Co-Founder/CTO @mercury; check it out at https://t.co/veN8OZrnPD 🐀
Aaron Eline @aaroneline
218 Followers 338 Following Automated Reasoning Group at AWS. Working on programming languages, testing, and security. he/him
Tim McGilchrist @lambda_foo
658 Followers 570 Following Providing thought leadership since 1801. Haskell and OCaml programmer. Co-Organiser of FP-SYD. https://t.co/CvgHnwKodT
Yaron (Ron) Minsky @yminsky
15K Followers 333 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
amanda escotto @escottoamanda
366 Followers 2K Following I care about politics and One Direction. @binghamtonu aluma 2x. All opinions are my own.
Eric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
Olivier Nicole @OlivierNicole1
205 Followers 237 Following Working @tarides_ on the OCaml language. ❤️ Music, typesetting More active on Mastodon: https://t.co/hr27aLR691
Sam Ezeh @dignissimus
64 Followers 365 Following
Arnaud Spiwack @aspiwack
680 Followers 22 Following Multi-classed Software Engineer/Constructive Mathematician. Sometimes plays video games sort of fast. Puts topoi in your computer. https://t.co/iFlKRVeGpN
Nadav Rotem @nadavrot
4K Followers 414 Following Engineering director at Facebook. Interested in systems, compilers, ML, performance, and other stuff. 🇮🇱
Kurt Mueller @everybody_kurts
295 Followers 1K Following Former professional rubyist by day, now more of a generalist. Interested in F#, Haskell, Rust,and Elm. Okay at cycling, smoking meats, & pickleball. He / him.
Jason Underdown (下�... @JasonUnderdown
210 Followers 882 Following I teach Math at Salt Lake Community College. I like Emacs, Haskell, LaTeX, reading, and backpacking.
Liam O'Connor @kamatsu8
1K Followers 511 Following he/any Senior Lecturer, @ANUComputing. I leave these tweets, I do not know for whom, I no longer know what they are about. 한국어도 할 수 있다: @liamoc_kr
Steven Shaw @steshaw
1K Followers 609 Following Loves programming, PLs, & all-the-systems: type, build, dist, & db! 🇬🇧🇦🇺👨💻 https://t.co/u1UnqzeigK https://t.co/KkRIYds9TA
Redacted @cercerilla
2K Followers 460 Following
Neil Mitchell (neildm... @ndm_haskell
5K Followers 165 Following Haskell/Rust programmer. Views expressed are my own.
Andres Löh @kosmikus
3K Followers 476 Following I am a partner and Haskell Consultant at Well-Typed LLP. http://t.co/cc1cbLgax5
Larry Diehl @larrytheliquid
797 Followers 658 Following Founder @ColimitAI. Formal Verification & Neuro-Symbolic AI. Formerly postdoc @uiowa and PhD @Portland_State.
Nintendo .DS_Store @sliminality
10K Followers 178 Following I want to talk to you about the affect and aesthetics of computing.
nikiv.dev @nikitavoloboev
5K Followers 8K Following Make @1focus_ai @learnanything_ @gendotnew @gpton_ @solbond_ @gridchess @gitedit @kuskusapp as part of @anysynth_ team
🌑 Qamarade Hécate... @TechnoEmpress
2K Followers 1K Following People can't do functional programming if they're getting carpet bombed.
Rit Holtzman @BenRitholtzNBA
26K Followers 1K Following Contributor @KnickFilmSkool. Coach and former hooper @yuathletics.
Unison | @unison-lang... @unisonweb
5K Followers 5 Following Friendly programming language from the future Open source https://t.co/hDNFLjJ8Yy Cloud platform: https://t.co/fFWPp8vU2t https://t.co/KPdfGUPVDa
Viktor Tokariev 🇺�... @implicit_n0ne
199 Followers 1K Following PhD in physical chemistry, lecturer at V. N. Karazin Kharkiv National University, IDP, wanna-be digital artist. Tweets in English/Ukrainian
Paweł Szulc @EncodePanda
3K Followers 655 Following Haskell, 范畴论, λ, Distributed Systems, Formal Methods
José A. Alonso @Jose_A_Alonso
4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Josef Svenningsson @J_Svenningsson
210 Followers 277 Following
Wilfred Hughes @_wilfredh
3K Followers 3K Following Programming language development, human factors, and a healthy dose of Emacs. Also https://t.co/faGheKDz69 and https://t.co/sqqeQ20uHV
Vladimir Keleshev @keleshev
2K Followers 932 Following Programmer, author of Compiling to Assembly from Scratch: https://t.co/7YcZc355RD
Dani @Electricfire13
343 Followers 870 Following
Gaga @ebresafeg
508 Followers 1K FollowingTrends for United States
87 B posts
77,6 B posts
203 B posts
257 B posts
58,1 B posts
111 B posts
68,7 B posts
1.100 posts
202 B posts
4.499 posts
24,9 B posts
42 B posts
15,2 B posts
55,9 B posts
1.213 posts
6.524 posts
5.438 posts
5.604 posts
You might like
João Forte Carvalho ...
@bgamari
2K Followers
Joachim Breitner
@nomeata
2K Followers
Danny Willems
@dwillems42
2K Followers
Andrey Mokhov
@andreymokhov
2K Followers
Jeremy Gibbons
@jer_gib
2K Followers
Sam Westrick
@shwestrick
1K Followers
Tom Ellis
@tomjaguarpaw
2K Followers
Mike Sperber
@sperbsen
830 Followers