-
Tweets1K
-
Followers672
-
Following266
-
Likes518
Jason Dagit retweeted
Just so we're clear: The 90 minute video went up fine. No objections at first. Then it was flagged Inappropriate So he appealed 45 minutes later, YT reply that it was thoroughly reviewed and was definitely filthy. Then apologized and un-flagged it. Then RE-FLAGGED. NOW THIS
Just so we're clear: The 90 minute video went up fine. No objections at first. Then it was flagged Inappropriate So he appealed 45 minutes later, YT reply that it was thoroughly reviewed and was definitely filthy. Then apologized and un-flagged it. Then RE-FLAGGED. NOW THIS
731
3K
41K
0
274
Download Image
[A few years from now] Old Haskeller: Oh well, you see this is a silly error. You have to eta expand this. Young Haskeller: I thought we had eta equivalence? Old Haskeller: *laughs in impredicativity*
Jason Dagit retweeted
So excited to announce that I accepted a position at Google. I'll be working on the development of the Rust toolchain for the Android ecosystem. 😀🍾 🥳
I took a photo everyday this month: imgur.com/gallery/bGtdcUI
This might be the most clutch thing I've ever done in mm2: clips.twitch.tv/HumbleConsider…
Any of you fine people on mastodon? I just made an account: mastodon.social/@thedagit
GADT is generalized algebraic data temptation. That's the whole tweet.
Jason Dagit retweeted
Mega Man 2 - Any% (Normal, Zipless) in 30:22 by @thedagit megamanleaderboards.net/index.php?game…
Mega man 1-6 casual play through time, ya know to start the year off right bit.ly/2CneF4p
Jason Dagit retweeted
its time to forget the mistakes of the past and start making the mistakes of the future
Mega man luck? Normally you're suppose to make the bird come from the left by facing left. I turned around early on accident. When I do that I'm usually screwed because the little birds get me. Instead I got super lucky: clips.twitch.tv/WanderingTsund…
Someone is live streaming their incubator, hoping that the eggs will hatch today: twitch.tv/paycheq13
Jason Dagit retweeted
This is the best speedrun I've ever done. Still more to come.
Jason Dagit retweeted
Normal brain: sees a bug in open source software, encourages people to contribute a pr Galactic brain: sees a bug in open source software, insults everyone
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
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Edward Z. Yang @ezyang
14K Followers 1K Following I work on PyTorch at Meta. Chatty alt at @difficultyang.
deech @deech
5K Followers 1K Following
Matt Parsons @mattoflambda
5K Followers 523 Following Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
José Manuel Calderó... @josecalderon
2K Followers 853 Following Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
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
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
Stephen Diehl @smdiehl
55K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
모리츠 ✨ @4ngerman
3K Followers 2K Following C'mon now, click follow! You know you want to! Developer Experience, Compilers, Languages. Personal Opinions, No Financial Advice!
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.
🌸🐑 mlep🥛🌸 @yandereidiot
6K Followers 873 Following 🪬 Former CTO of @haskellfound 🧘 Advisor/Core Eng Honcho @kadena_io 🐎 Horse and dairy lover 🤠 Cowgirl Utahn Reject modernity - return to pasture
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
justin @jusrin00
2K Followers 812 Following 90% random content, some programming. i have many repos and posts about nix, purescript, etc
Stephanie Weirich @fancytypes
3K Followers 355 Following
Jacques Carette @jjcarett2
2K Followers 934 Following Computer scientist. Programmer specializing in weird languages. Ex-mathematician. Loves cooking. Dabbles with quantum. Uses generative techniques everywhere.
PoppyNehemiah @Txa261t8DIIzYT9
68 Followers 7K Following
smyslenny @smyslenny231329
44 Followers 4K Following
Zara @Zara6273
19 Followers 980 Following
Cardano Blue Dot ⭕�... @ADAbluedot
3K Followers 5K Following $abluedot Cardano Dialectical Materialist
Serokell @serokell
7K Followers 5K Following The most bizarre company with brave ideas of functional programming application. #Haskell #Nix #Elixir #Rust #Agda #ML #AI
Melissa Vega @missy01815
11 Followers 141 Following
Joe Hendrix @joe_hendrix_fm
121 Followers 120 Following I write software. Principal Computer Scientist at SRI.
@[email protected] @brokenbijection
484 Followers 297 Following Avoids the limit by wandering in \inf dimensions
koijigen @koijigen
15 Followers 293 Following Hobbyist programma🌞 総て白帯🌈 独り言多め🖋️ 開発情報アンテナ乱立📡 Become coding mate🤗 photo🙏 * prof : https://t.co/UeBtFVUlEY by cocoparisienne. * back : https://t.co/gbpOaeAmdX by RitaE.
Matt Russell @mrussell247
222 Followers 283 Following Director of Engineering for @Lumi with a passion for Haskell, rock climbing, and sailing
Eugene Smolanka 🇺�... @esmolanka
112 Followers 182 Following PLs and types. Wartime mode on. Donate to https://t.co/ORGFBBoZco
Renan Oliveira @_roliveira0
221 Followers 4K Following
Non-aggression princi... @vpiprep
570 Followers 3K Following Self defense is a sacred obligation. Iran's nuke and ICBM programmes must be destroyed.
Quanterall @Quanterall
714 Followers 2K Following R&D Lab specialising in building complex and scalable custom software, #IoT, #Blockchain, and #FinTech solutions utilising #Elixir, #Erlang, #Haskell
tmv🔻⚗ @teddgeek
311 Followers 3K Following
Axo @axotrade
31K Followers 579 Following Axo protocol will cease operations on March 19 2025 at 12:30 GMT.
Noah Haasis @haasis_noah
37 Followers 736 Following
🐞timedebtor.bsky.s... @timedebtor
204 Followers 660 Following Dystopian Library Reductionist; ML/OSInt; from time-debtors' prison; 🌻🍑👩🔬🔯 In solidarity with astrophysicists, π=10;
Ted Feng @artisdom
91 Followers 2K Following
Anton Harniakou @tryzniak
54 Followers 826 Following
Charisee Chiw @ChariseeChiw
282 Followers 241 Following Google person, nachos person, cat person, tech person
Krishna Padmasola @placidex
89 Followers 2K Following
Shubendra @shubendrak
13 Followers 307 Following
Nerdwife @Nerdwife2
0 Followers 10 Following
Fabiano Furtado @fabianofurtado
378 Followers 4K Following I'm just a person interested in information security, studying a bit each day about this infinite world of possibilities. C and bash rules! Arch btw. he/him
- @EricWalkingshaw
383 Followers 639 Following
Csaba Hruska @csaba_hruska
1K Followers 686 Following I'm into compilers and pure functional programming. I'm doing Research & Development. (GHC, LLVM, ASM, pointer analysis, optimization) FYI: Csaba ⟦ˈt͡ʃɒbɒ⟧
Renat Amirov @renat_amirov
420 Followers 2K Following Кто из Ижевска интересуется ФП, Haskell, F#, велкам в чаты https://t.co/akBCoYhlsP, https://t.co/udR9vqaDgd
Decision-making exper... @darwinzhu
1K Followers 4K Following Providing feasible decisions for governance
Frank Zosso @HB9FXQ
2K Followers 1K Following 🏳️🌈 // Electronics, RF, SDR, Software engineering // Working at @Aaronia_AG // https://t.co/IO7HTlNP1m
Saïd @saiidrahmi
124 Followers 828 Following
Joe W Green @JoeWGreen
157 Followers 877 Following Technology, security and privacy geek, Former CBT pit trader, election integrity advocate, outdoor athlete, truth seeker, optimist, Erie Tigers coach and fan
sofía celi @claucece
8K Followers 5K Following Proud LatinAmerican • "Legendary quantum lady/cryptographer" • Researcher @brave • she/they • hrpc/pquip co-chair @inretafo anti-fraud @w3c @otr_im @LondonU
TBOR_MAMKA @Mykobor1
9 Followers 285 Following
Brent Carmer @alpha_brentauri
31 Followers 87 Following
Ken @KR_Laird
1 Followers 57 Following
Cornelius Offor @cornelius_offor
4 Followers 175 Following
Ruslan Shevchenko @rssh1
788 Followers 925 Following github: https://t.co/LcOh2UgLzO columsn on dou: https://t.co/HWcu7MGR5u… blog: https://t.co/YqobW9Fn2d
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
Edward Z. Yang @ezyang
14K Followers 1K Following I work on PyTorch at Meta. Chatty alt at @difficultyang.
José Manuel Calderó... @josecalderon
2K Followers 853 Following Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
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
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
Stephen Diehl @smdiehl
55K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
John Carmack @ID_AA_Carmack
1.1M Followers 273 Following AGI at Keen Technologies, former CTO Oculus VR, Founder Id Software and Armadillo Aerospace
Lennart Augustsson @Augustsson
2K Followers 199 Following
Ryan Newton @rrnewton
544 Followers 301 Following Software engineer and researcher, studies deterministic parallelism, containers, compilers.
Computer Science @CompSciFact
251K Followers 19 Following Daily tweets about computer science and related stuff @JohnDCook.
SummoningSalt @summoningsalt
138K Followers 185 Following World record histories and Punch-Out speedruns
Charisee Chiw @ChariseeChiw
282 Followers 241 Following Google person, nachos person, cat person, tech person
Colette @ColetteMSLP
924 Followers 183 Following AKA My Simple Little Pleasures | She/Her | Nail Artist | Hollow Knight enthusiast | YouTube & Twitch Partner | contact: [email protected]
Oatsngoats @Oatsngoats
13K Followers 275 Following Twitch Streamer | Washed up speedrunner [email protected] for business inquiries
Richard Garriott @RichardGarriott
52K Followers 3K Following President Emeritus @ExplorersClub; a Videogame Industry Founding Father; Astronaut, Aquanaut, Polar Explorer; Family: @Ronin_British, @Kinga_British
Overwatch @PlayOverwatch
3.5M Followers 236 Following Where players become Heroes. Jump into the ever-evolving, free-to-play action today! @BlizzardCS for support.
Discord @discord
4.8M Followers 1K Following Where group chat is all fun & games. Need support? Reach us @discord_support
OBS @OBSProject
312K Followers 100 Following Open Broadcaster Software, free open source software for video recording & live streaming | News & Updates | For support, visit: https://t.co/QIGrhkuNlL
John Matthews @colimit2
15 Followers 38 Following Parent, husband, formal verification engineer. Enjoy reading, hiking, and friends.
David Lazar @x25519
50 Followers 18 Following
Twitch Support @TwitchSupport
1.2M Followers 48 Following For live chat and email support: https://t.co/LbiBLzzOae | For Suspension appeals: https://t.co/wHtikzviJf
Jerry 🐅🦁⚜️ @RPG_Jerry
40 Followers 93 Following Hi, I'm Jerry. Software Engineer. @oursoutheastern graduate. Raised on LSU and Saints football. 🐅🦁⚜️
Comment Etiquette @commentiquette
204K Followers 901 Following The muck of the internet is my classroom. RIP Fluo https://t.co/M3R9ziv4pd Inquiries: [email protected] https://t.co/uwl6E2mhFw
Rogue POTUS Staff @RoguePOTUSStaff
493K Followers 87 Following Deputy Chief of Staff, but who isn't? Free Substack: Americans Anonymous, Coping with withdrawal from democracy symptoms. https://t.co/bGrjVRrWNh
Half An Onion 🧅 @HalfOnionInABag
474K Followers 12 Following Just here to get more followers than @elonmusk
Mecha Richter @mecharichter
4K Followers 945 Following
PJ DiCesare @TheSuperSNES
5K Followers 419 Following Streamer, veteran speedrunner, game dev. ActRaiser 2, Bionic Commando, Mega Man, other retro gems. He/him https://t.co/Xj0s6RMteE Business: [email protected]
Lambda the Ultimate @lambdafeed
116 Followers 0 Following Feed generated from Lambda the Ultimate - The Programming Languages Weblog.
George Takei @GeorgeTakei
3.0M Followers 1K Following I am a parody of myself, if anyone wonders if this is really me.
Sen. Bernie Sanders @SenSanders
11.8M Followers 2K Following Sen. Sanders of Vermont, Ranking Member of U.S. Senate Committee on Health, Education, Labor & Pensions, longest-serving independent in congressional history.
Tracey Cola @traceycola
3K Followers 801 Following Just some friendly gaming on https://t.co/cgUzcAcnM0 and random stuff on https://t.co/WyUFaqruVq bizemail: [email protected]
Daniel M. Zimmerman @dmz
345 Followers 619 Following Principled Computer Scientist, Free & Fair - Mastodon: https://t.co/XWNrqe7I4p
Uncharted Atlas @unchartedatlas
12K Followers 1 Following bot by @mewo2 | @[email protected] on Mastodon
Math Facts @FactsOfMath
5K Followers 4 Following We tweet facts about mathematics to help you learn more about mathematics.
Minecraft @Minecraft
7.6M Followers 64 Following Survive the night, or build a work of art. News, game updates, and all things Minecraft. ESRB RATING: EVERYONE 10+ with Fantasy Violence
Steam @Steam
8.9M Followers 11 Following Steam, The Ultimate Online Game Platform. Follow us here for news on the latest releases and special promotions! For support: https://t.co/ecoSK7uTBx
Pat Contri @PatTheNESpunk
42K Followers 90 Following Writer, content producer, podcaster, streamer Podcast: https://t.co/mkb9exldic Twitch: https://t.co/kAf4Wi5JtP Books and stuff: https://t.co/H4AZDU9Tns
Bad Luck Bootsy @ReallyBLBootsy
16K Followers 550 Following Irony is dead and nostalgia is for the birds. Interests: NY Mets, Harry Nilsson, hot dogs primarily from the northern New Jersey area. Music: @BootsySpankins
Game Developer @gamedevdotcom
472K Followers 24 Following Serving the video game industry through breaking news, insight on game industry trends, expert advice & resources, and more.
Giant Mouse @rflaum
76 Followers 129 Following I have art stuff at @studiocatawamp. Here I mostly just retweet cool stuff. and politics. lots of politics. white. she/her. flawed. doing my best.
Joey Dodds @n1nj4
687 Followers 306 Following Automated reasoning, cryptography, and systems at AWS This is a personal account. https://t.co/mHZnPLjx9p
/plæd•fɪnʧ/ is o... @plaidfinch
454 Followers 783 Following email me! [email protected] @plaidfinch.net on 🟦 λ □ · ν ○ · □ ◇ Δ ○﹕□ ( □ ○ → ○ ) → □ ○
Chad Scherrer @ChadScherrer
3K Followers 1K Following Probabilistic modeling in Julia Join me on https://t.co/dCOd2E2fKz! I'm @[email protected]
Riker Googling @RikerGoogling
95K Followers 2 Following No longer permitted to post here. (Written and automated by @JoeSondow) Mastodon: @[email protected] Bluesky: @RikerGoogling.bsky.social
Worf Email @WorfEmail
36K Followers 1 Following No longer permitted to post here. (Written and automated by @JoeSondow) Mastodon: @[email protected] Bluesky: @WorfEmail.bsky.social
Bob Ross, Game Dev @BobRossGameDev
20K Followers 0 Following Within each of us is a developer. You too can make a game.
Type Theory @type_theory
496 Followers 254 Following An online study group, open to all, dedicated to learning type theory.
wint @dril
1.7M Followers 416 Following welcome to my shit https://t.co/SuXccfQtN7 https://t.co/kHbbE12Ftx https://t.co/uXYQZrfYdk
Trends for United States
49,3 B posts
12,5 B posts
22,5 B posts
33,7 B posts
2.470 posts
2.350 posts
2.774 posts
262 B posts
5.412 posts
35,4 B posts
11,7 B posts
1.347 posts
1.520 posts
4.588 posts
1.571 posts
1.934 posts
2.134 posts
3.752 posts
6.252 posts
You might like
Well-Typed
@welltyped
6K Followers
Andres Löh
@kosmikus
3K Followers
João Forte Carvalho ...
@bgamari
2K Followers
Nikita Volkov
@NikitaYVolkov
1K Followers
Galois
@galois
6K Followers
Neil Mitchell (neildm...
@ndm_haskell
5K Followers
Lennart Augustsson
@Augustsson
2K Followers
Carter T Schonwald
@cartazio
2K Followers
Tikhon Jelvis
@tikhonjelvis
3K Followers
Jonathan Fischoff
@jfischoff
6K Followers
Mikhail Glushenkov
@refold
856 Followers
Spencer Janssen
@spencerjanssen
433 Followers