Mistral Contrastin @madgen_
I like maths, modern art, jazz, rollerblading, climbing, functional and logic programming. I implement the @hacklang typechecker for a living at @Meta. he/him dodisturb.me London, UK Joined July 2009-
Tweets6K
-
Followers619
-
Following811
-
Likes22K
jobs.lever.co/convergentrese… $168,000 - $252,000 a year (US, remote) to work on Lean! > you will play a crucial role in developing and enhancing Lean, collaborating with leading mathematicians and computer scientists worldwide, and contributing to the FRO’s long-term ...
jobs.lever.co/convergentrese… $168,000 - $252,000 a year (US, remote) to work on Lean! > you will play a crucial role in developing and enhancing Lean, collaborating with leading mathematicians and computer scientists worldwide, and contributing to the FRO’s long-term ...
A Monad Instance for Set: You didn't think I would give up that easily, did you? cohost.org/prophet/post/3…
We are super excited to see daily updates from Terence Tao describing his experience learning Lean. Terence Tao is one of the greatest living mathematicians and a Fields medalist. mathstodon.xyz/@tao/111247716…
Love that to pass our national citizenship test you have to agree we like to have a good laugh at ourselves or we'll fucking deport you
Here's a demo of Lean 4 and GPT4 talking about how to prove theorems together. Together they prove 1.8 of them; a human intervened to give a hint in the second one. It's only a demo, so hopefully more to come :-) youtube.com/watch?v=CEwRMT…
I got tired of Goto Definition in my IDE taking me to the wrong place, so invented (?) a better one (Goto Assignment) inspired by SSA. dodisturb.me/posts/2023-08-… It comes with a VSCode extension + Haskell LSP server; give it a spin. Let me know whose work I reinvented =)
A lot of responses like “who cares if we don’t have wheat? Bread is so much tastier”
Sometimes I think about this paper and I get a little sad knowing that it’s exceedingly unlikely that I will ever be able to produce satire that is as good or instructive as it is
Twitter has decided that non-paying users are trash. It secretly changed your privacy settings so that only paying customers can DM you. They think they'll get more paying customers this way, but all that will happen is further demise. I will be happy to contribute to it.
Douglas Hofstadter on the rate of AI progress and his collapsing belief system. youtube.com/watch?v=lfXxzA…
I can see why
A temple of chess games Hello everyone, and welcome to the story of Antonio Radic, better known as Agadmator. This is the story of a humble chess player from Croatia who brought chess, real chess, to the general public. Agadmator was the first YouTube channel about chess to…
My every attempt to use ChatGPT for OCaml has been a failure. It suggests a wrong library, a wrong ppx, or an outright syntactically incorrect program. Refinements through further prompts is reminiscent of instructing a terribly misguided overconfident pupil.
People living in the Middle East are not some special species that becomes more immune to tragedy the more they experience it They are humans who are suffering at levels that are almost inconceivable To believe otherwise is to justify your cold indifference
Oh yes, the age old pizza vs static typing debate.
Unpopular opinion: this is good code, it has no problems. Well-isolated pure function with clear semantics, clear implementation and good performance. What else do you need?
Unpopular opinion: this is good code, it has no problems. Well-isolated pure function with clear semantics, clear implementation and good performance. What else do you need?
Why did you get into #Haskell?
Satnam Singh @satnam6502
14K Followers 3K Following Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, lost in music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}Kristopher Micinski @krismicinski
6K Followers 3K Following @[email protected]. Tweets do not represent anyone's views, especially mine.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 dangerousBrendan Dolan-Gavitt @moyix
25K Followers 6K Following Associate Professor @ NYU Tandon. Security, RE, ML. PGP https://t.co/3WXr0RfRkv Founder of the MESS Lab: https://t.co/zGycrX3Gmn "an orc smiling into the camera" — CLIPandrew blinn @disconcision
3K Followers 2K Following progaming 🗨️ languages eboy and mousefeel 🖱️ epicure, working on Nintendo® 🎮 Excel™ for the 📱 vpriPhonesclv @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/45nJUN3IqDLawrence Paulson @LawrPaulson
2K Followers 278 Following Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications.KC Sivaramakrishnan @kc_srk
4K Followers 3K Following CTO @tarides_. Profing @iitmadras. Trustee https://t.co/WE1No5QqOA.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.Susan Potter @SusanPotter
7K Followers 2K Following Antifascist. Software Engineer @referentiallabs. Gay. Immigrant. Loves: #OptionsTrading #FunctionalProgramming #economics #mathematics #systems #JohnWatersSimon Fowler @Simon_JF
1K Followers 2K Following Lecturer at @GlasgowCS, working on concurrent functional programming. Now mostly on @[email protected].Csaba Hruska @csaba_hruska
1K Followers 731 Following I'm into compilers and pure functional programming. I'm doing Research & Development. (GHC, LLVM, ASM, pointer analysis, optimization) FYI: Csaba ⟦ˈt͡ʃɒbɒ⟧vilem ❌ @buggymcbugfix
912 Followers 1K Following programming language theory & practice • PhD with @dorchard ongoing • agroecology • no-till • dad to a child on the spectrum • Goodhart's law is realZanzi Tangle, now at .. @tangled_zans
3K Followers 322 Following Turning Category Theory into code https://t.co/B0egvR0lmbrntz @arntzenius
2K Followers 352 Following Michael Arntzenius irl. PL design, math, calligraphy, &c. 🐘 @[email protected] 🟦 https://t.co/Eyu5aSd3L8…Dominic Orchard @dorchard
2K Followers 743 Following Computer science academic at University of Kent (@UniKentComp) & co-director of the Institute of Computing for Climate Science @Cambridge_ICCS (@Cambridge_Uni)joomy @joomy
2K Followers 958 Following Formal verification researcher @Bloomberg & PhD candidate @Princeton. Tweets about types, metaprogramming, linguistics. (for 🇹🇷 tweets, see @vowelharmony)Burak Emir @burakemir
448 Followers 146 Following systems, language, types, logic @[email protected]vaibhav sagar @vbhvsgr
3K Followers 5K Following future trophy husband; @recursecenter f1'16; 🇦🇺/🇮🇩/🇮🇳; he/him https://t.co/VGk6nI4TOO https://t.co/64Kipz3ghV https://t.co/YetTYcxcvQ on blueskyBella Burbage @burba_be
34 Followers 5K FollowingManha Weatherspoon @MWeathersp82413
43 Followers 5K FollowingGracie-may Schrier @MaySchrier63709
62 Followers 5K FollowingLyjephough @lyjephough69094
13 Followers 1K FollowingLinda Sautner @LindaSautn80104
88 Followers 3K FollowingAbhay mishra @invictusAbhay
53 Followers 757 Following Passionately building @blaze_ai. Blaze is an acquisition platform for modern companies and agencies that uses AI to unlock business growth.Alexa Jerome @AlexapaJerome
42 Followers 1K Following Found different beauties from all US states 😽 Ready for a 1 on 1 meeting Some have naked profile photos! Watching this https://t.co/ZmllrQxs8ELanaseath @lanaseath54904
135 Followers 2K Following I'm new to Twitter accounts so I tried the messaging feature and it's great to meet you.ALL-Samanta Leitão @Seatu138595
5 Followers 740 Following Melhores de meio período,junte-se a All,ganhe mais de 200 por dia,se você estiver interessado,tome a iniciativa de conversar comigo em particular!Alexandra @Keshe971110
65 Followers 995 FollowingShoaheighth @shoaheight49663
136 Followers 4K FollowingSteysayt @steysayt41585
248 Followers 4K FollowingNeyleigh @Neyleigh19613
264 Followers 4K FollowingKEVIN |NFT PROMOTER �.. @nftsupportp
392 Followers 8K Following Being Early is key Il Bullish on $ETH and $Sol and $Ada Il Turn on & II DM me for a promotion I lIAli Razavi @catamorphist
405 Followers 781 Following Research Scientist in the Deep Learning team @DeepmindJonathan Schear @jschear_
506 Followers 1K Following software person interested in languages, devtools, mobile • how long can I let my mind moulder in this place? • he/him • https://t.co/ncK5fFxdSf • https://t.co/4L6922R2Tblulg @lulgabc
263 Followers 5K FollowingIan Thomas @anatomic
1K Followers 2K Following Software Engineer @meta, husband and dad. All these views be mine.Jill Viles @jillviles
1K Followers 4K Following Woman with muscular dystrophy--Olympic hurdler--same gene as told on This American Life. I am married and the mother of a teenage son. I am writing my memoir.David Tarditi @davetarditi
241 Followers 123 Following Compiler and programming languages researcher. Working on quantum compilers at IonQ. Side gig making C programs safer with Checked C. All opinions my own.antojf @ant0jf
41 Followers 596 FollowingErgin Yavaş @erginyavas
36 Followers 211 FollowingArjun @arjunslays
490 Followers 2K Following I am Jake Gyllenhaal🍃, Guitar Nerd, λ Dev || Haskell, Emacs, Linux, AI/ML, OSS, Math, Fitness ⚡ Fear is the mind killer 👾Alistair O'Brien @ajob41
1 Followers 8 FollowingFTS @fishtreesugar
17 Followers 462 FollowingGolu Kumar @GoluKum78847420
5 Followers 232 FollowingJenna Freedberg @JennaFreedberg
4 Followers 169 Followingjose.fragoso.santos @josefragososan
127 Followers 620 Following Assistant professor at IST Lisbon. PL and Formal Methods.ProScala Podcasts @proscala
79 Followers 2K Following #functionalprogramming, #scala. Supports ProScala Podcasts authored by Csaba Kincses @kincsescsaba https://t.co/ucreiZtv0bEvgeny Skvortsov @EvgSkvDev
97 Followers 63 Following Software Engineer at Google. Opinions are my own.Rony Qwert @aryanaqwert
32 Followers 243 Followinggamze uçar @gamzeucar630
0 Followers 198 FollowingFatih Aydin @real_faydin
296 Followers 460 Following Engineering Manager @Meta Working on Source Control and Remote ExecutionPayrim Dwein @PayrimSp
68 Followers 677 FollowingVinod Grover @vinodg
2K Followers 1K Following Sr Distinguished Engineer @nvidia. Compilers, CUDA C++, PL, Machine Learning and Systems. tweets and opinions are personal.Arpan Agrawal @DontDoCoffeeKid
0 Followers 1K FollowingShankar Garikapati @gbshankar31
152 Followers 3K Following Security, Privacy and Distributed Systems / Staff Engineer & Tech Lead at Lyft. UCLA/IIIT-HYD Alumnus.Andrey Yankin @YankinAndrey
48 Followers 2K FollowingBenno Stein @benno_stein
116 Followers 323 Following program analysis, incremental computation, good/correct takes. past lives: static analysis at Meta London, PhD at CU Bouldermophic @m00rphic
101 Followers 1K Followingjiyong lee @jiyl17484684
6 Followers 56 FollowingSatnam Singh @satnam6502
14K Followers 3K Following Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, lost in music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}Kristopher Micinski @krismicinski
6K Followers 3K Following @[email protected]. Tweets do not represent anyone's views, especially mine.Graham Hutton @haskellhutt
7K Followers 695 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴Erik Meijer @headinthebox
27K Followers 0 FollowingTweag @tweagio
6K Followers 260 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.Tom Sydney Kerckhove @kerckhove_ts
2K Followers 420 Following Professional Weirdo Learning American Sign LanguageLuc Tielen @luctielen
1K Followers 117 Following I tweet about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.Andrew Myers @AndrewCMyers
4K Followers 283 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems.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 dangerousIlya Sergey @ilyasergey
5K Followers 963 Following Associate Professor at @NUSComputing. Member of @nus_plse. Programming languages, verification, distributed systems. Ex-@uclcs, @IMDEA_Software, @jetbrains.Edward Kmett⏏️ @kmett
14K Followers 777 Following Founder/CTO of @Positron_AI Helping @ToposInstitute I tend to talk about Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/oP135HK8LMBrendan Dolan-Gavitt @moyix
25K Followers 6K Following Associate Professor @ NYU Tandon. Security, RE, ML. PGP https://t.co/3WXr0RfRkv Founder of the MESS Lab: https://t.co/zGycrX3Gmn "an orc smiling into the camera" — CLIPBartosz Milewski @BartoszMilewski
32K Followers 37 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]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/himCamarade Hécate 🪬 @TechnoEmpress
2K Followers 2K Following data-djinniyya; Bifunctor disaster; Multifarious Motherfucker; Blockchain-free zone hey/them (PP by @HuntyDraws).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/45nJUN3IqDJoachim Breitner @nomeata
3K Followers 1 Following Has a thing for abstraction. Haskeller, Computer Scientist. Dances tango, swing and blues. Stand-up comedian and paraglider. 🦣 https://t.co/9Sjz02h8dLYaron (Ron) Minsky @yminsky
12K Followers 303 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] https://t.co/kiUGRvWOO2Harry Wallop @hwallop
42K Followers 1K Following Consumer journalist. Feature writer. Columnist for Times Business. Make TV progs (esp @C4Dispatches @TheGadgetShow). Host conferences etc. Agent: @knightaytonJan Gustafsson @GMJanGustafsson
44K Followers 353 Following Schachgroßmeister und Schachbundestrainer. Business: [email protected]Daniel Litt @littmath
37K Followers 870 Following Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.Taelin @VictorTaelin
18K Followers 909 Following Founder of @HigherOrderComp Building the massively parallel future of computing Reaching AGI to cure all diseases and suffering is all that mattersFinster AI @finsterai
283 Followers 21 Following Building AI agents that integrate disparate sources of financial and market data. Founded by an ex DeepMind and JP Morgan team. Backed by @HoxtonVentures.Sabine 🐫🦀 / 'us.. @sabine_s_
4K Followers 387 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 kidteej dv 🔭 @teej_dv
42K Followers 662 Following open source code | @neovim core | @terminaldotshop btw dad jokes my own https://t.co/jKpcjsTqBE | https://t.co/zb8zDKmSwG | https://t.co/yaiQ8qGa9oJohn Bartholomew @fins0905
28K Followers 406 Following Chess Master, YouTuber, Twitch Streamer, Chessable Co-Founder. Only through our inevitable blunders shall we pave the road to mastery. https://t.co/6TnHvqQHFWderek guy @dieworkwear
860K Followers 963 Following Menswear writer. Editor at @putthison. Creator of @RLGoesHard. Bylines at The New York Times, The Washington Post, The Financial Times, Esquire, and Mr. PorterInternal Tech Emails @TechEmails
526K Followers 897 Following Internal tech industry emails that surface in public records. 🔍Türkiye in the UK @TC_LondraBE
15K Followers 150 Following Türkiye Cumhuriyeti Londra Büyükelçiliği Resmi Hesabı / Official Account of the Embassy of the Republic of Türkiye in LondonRoshan Patel @roshanpateI
47K Followers 1K Following founder & ceo @trywalnut // on a mission to expand financial access to healthcareAnna Riedl @AnnaLeptikon
6K Followers 5K Following nobody. Interested in cognitive science, rationality under radical uncertainty, complexity, systems, insight, meaning, synthesis, wisdom, information designNasuh Mahruki @nasuhmahruki
531K Followers 576 Following Milli Sporcu profesyonel dağcı yazar gezgin fotoğrafçı motivasyon konuşmacısı kurtarma gönüllüsü ATATÜRK sevdalısıKemal Kılıçdaroğl.. @kilicdarogluk
10.6M Followers 3 Following Cumhuriyet Halk Partisi 7. Genel BaşkanıJohn Carmack @ID_AA_Carmack
1.1M Followers 241 Following AGI at Keen Technologies, former CTO Oculus VR, Founder Id Software and Armadillo AerospaceJustin Fargnoli @justin_fargnoli
92 Followers 261 Following On @Twitter for PL, formal methods, and compiler stuff. LLVM compiler engineer @NVIDIA (opinions are my own). he/him.Institute of Computin.. @Cambridge_ICCS
527 Followers 316 Following Institute of Computing for Climate Science @Cambridge_Uni - Advancing climate science through computer science, software engineering, data science, and AI.jose.fragoso.santos @josefragososan
127 Followers 620 Following Assistant professor at IST Lisbon. PL and Formal Methods.Taste of Cinema @davidcinema
203K Followers 260 Following Taste of Cinema (https://t.co/kyafeuvXBf) is the best movie list website online, our eclectic taste makes us different.Fascinating @fasc1nate
3.3M Followers 2K Following Posting interesting science, gadgets, history, art, and more. Subscribe for in-depth posts. As an Amazon Associate I earn from qualifying purchases.Quickstrom @quickstrom_io
296 Followers 1 Following Quickstrom autonomously checks any type of web application. Run thousands of tests and find complex bugs. Built by @owickstrom and @kamatsu8.Rory Stewart @RoryStewartUK
565K Followers 1K Following Brady-Johnson Professor Grand Strategy, Jackson/Yale. Author PoliticsOnTheEdge. @Restispolitics podcast w Alastair Campbell. Senior Adviser @GiveDirectly.Sara Ayhan @Sara_Ayhan_
1K Followers 665 Following Logician & philosopher @ruhrunibochum, Post-Doc. I like proof theory, proof-theoretic semantics, bilateralism, and a lot more in logic and in life. (she/her)Joe Simpson @TouchingTheVoid
14K Followers 30 Following Joe Simpson,mountaineer,speaker,fly-fisher, author 'Touching The Void', managed by http://t.co/IiPFeMQM. Telephone +44 (0) 1202 242424Fatih Aydin @real_faydin
296 Followers 460 Following Engineering Manager @Meta Working on Source Control and Remote ExecutionUnsubstantiated Chess.. @ChessRumors
5K Followers 39 Following Highly secret chess rumors that you're not allowed to know. Want to leak something? DMs are perma-open...David Woodman @DavidWoodman45
280 Followers 986 Following Historian of medieval Britain @RobinsonCamb | Fellow @RoyalHistSoc | Agent: Doug Young @pew_literaryMerve Emre @mervatim
55K Followers 3K Following Shapiro-Silverberg Professor of Creative Writing and Criticism. Director of Shapiro Center for Creative Writing and Criticism at @wesleyan_u. Critic, @newyorkerTim Nguyen @methodtim
4K Followers 867 Following Director, Detection & Response @Google. Opinions mostly stolen from people smarter than me. #BlackLivesMatterAndy Gordon @AndrewDGordon
2K Followers 989 Following Computer scientist focused on AI & HCI, esp programming languages. Chief science officer at Cogna. Ex partner at Microsoft. Honorary prof at U Edinburgh.Benno Stein @benno_stein
116 Followers 323 Following program analysis, incremental computation, good/correct takes. past lives: static analysis at Meta London, PhD at CU Boulderanimals going goblin .. @mischiefanimals
1.4M Followers 282 Following goblin guy posting goblin goons (and whatever else I find funny)eco sister @hiitaylorblake
775K Followers 515 Following #BLACKLIVESMATTER // https://t.co/pCJ2hEKgHlCastle Climbing @CastleClimbing
5K Followers 230 Following Climbing Centre, Cafe, Shop & Community Garden all in one unique building #TheCastle. Our Privacy Notice - https://t.co/g9SxUV1pFiChessvision.ai @ChessvisionAI
13K Followers 75 Following Scan and analyze chess diagrams from websites, books, images, and videos on any device and any platform 👉 https://t.co/DjwB7QZxWUOut of Context Pokém.. @OoCPokemon
1.0M Followers 147 Following Pokémon media that is presented out of context. We don't own what we post here. Send submissions through DMs!Diomidis Spinellis @CoolSWEng
7K Followers 1K Following Professor of software engineering @AUEB & Analytics @TUDelft, programmer, technology author. (Tech tweets here. Follow @DSpinellis for Greek/Greece tweets.)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 ⚜️Mustafa Yılmaz @gmmustafayilmaz
15K Followers 280 Following Grand Master/Büyük Usta 🇹🇷 National Team Chess Player/Milli Takım Satranç Oyuncusu 🇹🇷Dominic Cummings @Dominic2306
295K Followers 2 Following peace abroad, regime change at home / maths circles / systems politicspepe Iborra @IborraPepe
636 Followers 459 Following Haskell enabler @Facebook, all views expressed are my owncryptohog @cryptohog10
58 Followers 65 Following Rediscovering cryptography, security and privacy, more recently have been busy with electronic trading, fintechs and finance more generallyWaiting for a delayed flight, some idle thoughts on what Google needs to fix itself: 1) Find a replacement for Sundar. This person needs to be both able if articulating a coherent vision for Google as a company, *and* inspire great engineers to want to work on great problems.
A new AI benchmark has just dropped. Here's one of the questions. 🤔 N is a 5-digit number composed of 5 different non-zero digits, and N is equal to the sum of all three digits formed by 3 different digits in these 5 digits, then the sum of all such 5-digit N is _____.
I thought it was a driftwood floating in the sea, i was so wrong 🤯 This is why I'm scared of the ocean..
Zero survival skills
I spent a week as a Deliveroo rider. And learnt a lot. First up, Deliveroo likes to claim you should earn at least the minimum wage of £11.44 while working. Me? I worked for 22hrs 50mins, rode 105 miles, did 27 drop offs and earned £120.38. That works out at £5.28 an hour🧵
I delivered to Park Lane apartments, Bloomsbury flats with swanky concierges and to the 7th floor of council flats. The bankers/Mayfair residents didn’t tip once. People in council flats were the ones who did.
sometimes you see celebs look great on the red carpet but normal in paparazzi photos and you realize it was all a costume. but bill nighy seems to both dress himself and always look stylish and that's pretty cool via youtube CycleGaz
Love attack
Pause the video and try to find Dubov's mate in 12 while this diaper commercial is rolling 💪
YouTube might roll out ads while videos are paused after recent testing
@d_feldman I'm old. Do kids get their homework digitally these days?