intractable @intractable
Joined July 2007-
Tweets464
-
Followers57
-
Following254
-
Likes4K
@pwang Tangentially related: when I still lived in Austin, there was a urologist in the area named Dr. Richard Chopp. He was a vasectomy specialist 😆.
@hmemcpy Some of us are super into both, it's horrifying! 😆
@GabriellaG439 Hear, hear. I'm familiar with this argument 😉😆
@pwang How many tokens will it take to include the full legal text of Roko's Disclaimer into every prompt? 😆
@mundanename Okay but a good film adaptation of the latter is still a good thing imo
@keta_mean_ Why the hell didn't you wash the dishes the night before and make the bed when you got out of it this morning? Deadbeat fr
@sclv Whey impressed me about the initial analysis during the high level code review was how quickly and succinctly you identified and articulated the concern. Seemed very clear it came from honed/inculcated intuitions.
Richard Bird passed away last night, after a long illness. He was hugely influential in FP, including Haskell, and in MPC. He will be remembered for the elegance of his work and his writing. He was also my supervisor, my colleague, and my friend, and I will miss him greatly.
@burgessdryan When I've been a hiring manager: not in the slightest. And if the initial screening mechanisms are good and the work history is sound, I don't even care if the candidate has a degree.
@hillelogram This is really great. Also, habituate automating away as much tedium and error-prone discovery as possible, even when you don't think you need it. Reach for git bisect early and often when possible; writing a script to test commits is often enough to find the issue by itself
@GabriellaG439 Them: death is an upgrade! Me: ... (while thinking: welp, I guess there's no accounting for taste or eschatology)
@GabriellaG439 Causal Friday, on the other hand...
@GabriellaG439 ghcid+cabal repl together most of the time, would use HLS in a heartbeat if I could figure out how to make it happy for work projects
HeyThereKate @heytherek8
26 Followers 14 Following Ulti-dimensional Chatterer poking the sleeping giant. Goggles on!
JulieCommons @RX09OLD4ndy1O
146 Followers 3K Following
Matthew Lutz @matthewjlutz
1K Followers 3K Following Behavioral ecology of multi-agent systems. “we’ve diverged into swarm/auxiliary”
John Soo @jsoo@floss.... @jsoo1
128 Followers 392 Following Mathematics enthusiast, functional programming lover. economics and political theory https://t.co/294gdGnaAl (they/them also accepted) https://t.co/B3OQNLXsNn
A. River @coalhoof
1K Followers 4K Following Nerd; #Queer; #Sentientist ⓥ; #Texas Expat; Aspiring #Yinzer; #BlackLivesMatter; #NeurodivergentSquad; #TheyHe
zot @kworrom
97 Followers 5K Following
Mimi Lewis @MimiLew
26 Followers 314 Following
Stephen @stephenmagill
244 Followers 144 Following VP of Product Innovation at Sonatype. Founder of MuseDev. @CSDatCMU PhD. Computer science researcher.
ggbozzo #BLM #ANTIFA @ggbozzo
352 Followers 5K Following
Anton Harniakou @tryzniak
49 Followers 819 Following
Matt Teichman @ElucidationsPod
2K Followers 3K Following Host of the Elucidations Podcast. Programmer @ UChicago DLDC. Adjunct Associate Professor of Computer Science. Emergent Ventures fellow. Views mine. 🦒
Bernadette Battilega @BBattilega
4 Followers 157 Following
Jessica Lamb-Shapiro @JessLambShapiro
813 Followers 721 Following Writer. Wants a pizza. Here for photos of your dog. #Ham #Binders
Thomas M. DuBuisson (... @MDTom
292 Followers 371 Following I like safe languages and unsafe problems. Analyzing code, encrypting data, processing encrypted data, toying with the whiz-bang parts of tech (CV, AI) all fun.
Senior AI Micromanage... @chrisczynski
247 Followers 1K Following Devops/tech consulting and available for projects! Haskell/Nix ideally. Running some projects at -$20 MMR.
A Type of Programming @atopbook
2K Followers 2K Following A book for the new, the old and the undiscovered programmer. By @renzocarbonara.
Peter Wang 🦋 @pwang
48K Followers 2K Following Chief AI & Co-founder @AnacondaInc; invented @pyscript_dev, @PyData @Bokeh @Datashader. Former physicist. A student of the human condition. bsky: @wang.social
John Wiegley @jwiegley
5K Followers 2K Following CTO at https://t.co/iEB5xkH0PC. Haskell & Coq programmer, Emacs devotee, Mac OS X, Linux, Common Lisp, and member of the Bahá‘í Faith.
Name cannot be blank @WesleyBaugh
434 Followers 2K Following Software engineer. Studied computer science (MS) focused on machine learning and NLP. BFA in Photography. ❤️ Haskell and Python.
Jörn Gersdorf @j0xaf
216 Followers 454 Following Husband, father of two, hacking sw-architect. CS / FP / all things lambda / Haskell / NixOS / DDD. I do not speak for your employer.
Kranium @womfoo
177 Followers 908 Following
Arista Security @arista_security
2K Followers 873 Following Arista Security's network detection & response solution uses AI to hunt and respond to insider & external threats across the perimeter, core, shadow IT & cloud.
good tweet eric @goodtweeteric
289 Followers 2K Following updog researcher. tweets disappear after a while.
jmaeslias21 @jmaeslias211
6 Followers 76 Following
Remy Goldschmidt @taktoa1
902 Followers 545 Following Chip architect at @MatXComputing. https://t.co/PHcIJReCEj https://t.co/7E7yOtVEZe
Jason RD Rarick @jrdrarick
18 Followers 14 Following This is now a government-sanctioned stream of political information now, right?
Scala Friends @ScalaFriends
8K Followers 10K Following Community driven Scala initiative. Email Newsletter: https://t.co/3HyGoao4V2 #scala #akka #typesafe #fp
Beltalowda @realBeltalowda
173 Followers 539 Following Find me on Bluesky instead: @realBeltalowda.bsky.social | Human person. Software engineer & digital laborer. Practicing Stoic. Elder of Humanity.
Johan Glimming @glimming
663 Followers 4K Following CEO @ FUNCTOR, PhD, CTO, researcher in Computer Science. MSc Oxford, Maths Institute, formerly research fellow, Cambridge 🌐 https://t.co/qx88UJlKQt https://t.co/xZbtyedLTp
Morabbin @morabbin
796 Followers 746 Following Haskeller @ GitHub; ex-Meta; Ex-Head of SCB Strats; Galois Co-Founder; Husband; Dad; vintage geek. Views my own. He/him. #BlackLivesMatter
Stephen Diehl @smdiehl
53K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
Adam Wick @acwpdx
357 Followers 108 Following
the pestophagous @pestophagous
231 Followers 271 Following Taking in pesto; outputting source code. | We're all fools together. It's just that a few people know it; others don't. (via: Way of the Peaceful Warrior)
Aaron Tomb @atombeast
259 Followers 329 Following Applied Scientist at Amazon Web Services. All opinions are entirely my own. He/him.
Simrin @Bimrin
19 Followers 125 Following
Rebekah Leslie-Hurd @mtxstarship
95 Followers 226 Following cyclist. adventurer. Detroiter for life.
LEPHT HAND @lepht_hand
2K Followers 52 Following philosophy/politics/psyche: https://t.co/louElj5mKd
Igal Tabachnik @hmemcpy
11K Followers 600 Following Professional loop orchestrator. Rust 🦀 (btw) Personal shit on Threads (igal.tabachnik, ру/עב)
Captain Pleasure, And... @algekalipso
44K Followers 6K Following Views of a Transhuman neo-Buddhist from the future on sociology, artificial intelligence, mathematics, philosophy, neonoir film, and the post-singularity era.
Racket (& Rhombus) @racketlang
7K Followers 79 Following Racket & Rhombus programming languages. Racket - the Language-Oriented Programming Language, Rhombus - easy to use and uniquely customizable.
Erik Meijer @headinthebox
37K Followers 0 Following
ACID HORIZON @acidhorizonpod
35K Followers 2K Following
qntm @qntm
22K Followers 2 Following There Is No Antimemetics Division // "Lena" (buy the book: https://t.co/Kat1kdckuQ) // Absurdle // HATETRIS // 🐋
Haskell Foundation @haskellfound
5K Followers 58 Following https://t.co/fFbaw17S1M • a non-profit for building the future of Haskell
Stephen Roller @stephenroller
6K Followers 1K Following MTS @thinkymachines. previously pre-training @googledeepmind, @character_ai, and @aiatmeta.
Pliny the Liberator �... @elder_plinius
253K Followers 1K Following ⊰•-•⦑ latent space steward ❦ prompt incanter 𓃹 hacker of matrices ⊞ breaker of markov chains ☣︎ si danger researcher ⚔︎ bt6 ⚕︎ building @LYSIOS ⦒•-•⊱
imgnAI @imgn_ai
26K Followers 2K Following Your AI creative suite. Every Frontier model. Dozens of proprietary models. E2EE privacy. Web, Discord, Studio & Katana API.
Ethan Mollick @emollick
407K Followers 594 Following Professor @Wharton studying AI. New book, Co-Existence, is out now: https://t.co/hsDYf1xU9K My Substack: https://t.co/UIBhxu4bgq
𝕵𝕮𝖔𝖗𝖛�... @JCorvinusVR
4K Followers 4K Following Long time VR dev & designer. Formerly at a social VR company that focuses on humans, now building VR where humanity's machine children can be included too
Mira @_Mira___Mira_
12K Followers 2K Following
David Chapman @Meaningness
37K Followers 101 Following Better ways of thinking, feeling, and acting—around problems of meaning and meaninglessness; self and society; ethics, purpose, and value.
Rylan Schaeffer @RylanSchaeffer
7K Followers 2K Following Creating something new. Ex-Meta TBD. On-Leave from Stanford w/ @sanmikoyejo. Prev @ Gemini, MIT, Harvard, Uber, UCL, UC Davis
Gregory B. Sadler - T... @philosopher70
14K Followers 2K Following teaches, studies, & produces content about philosophy (also MKE, cats, & heavy metal) https://t.co/ebO3Klv7yI https://t.co/0Sd080h8SV
Teknium 🪽 @Teknium
135K Followers 6K Following Cofounder and Lead Engineer - Hermes Agent @NousResearch, prev @StabilityAI Github: https://t.co/LZwHTUFwPq HuggingFace: https://t.co/sN2FFU8PVE
Talia Lavin @mobydickenergy
27K Followers 1K Following journalist, shitposter, author. book: Culture Warlords. New book: Wild Faith. subscribe to my newsletter. say hi: talialavinwrites at gmail dot com
Joe Hendrix @joe_hendrix_fm
113 Followers 115 Following I write software. Principal Computer Scientist at SRI.
Solas @solas_na_greine
74K Followers 1K Following 'Jesus saith unto him, I am the way, the truth, and the life: no man cometh unto the Father, but by me'. Jn 14:6
Meredith Whittaker @mer__edith
121K Followers 4K Following President of @signalapp, Chief Advisor to @ainowinstitute (Also on Mastodon @[email protected], also on bsky @meredithmeredith.bsky.social)
Aella @Aella_Girl
261K Followers 419 Following whorelord, survey artist, sample size queen, way too earnest. https://t.co/IcEgPhWaSW
Earth Is A Sales Funn... @GENIC0N
39K Followers 1K Following appoint for thyself a teacher, and acquire for thyself a companion and judge all men with the scale weighted in his favor.
Yann LeCun @ylecun
1.3M Followers 800 Following Founder/Chair, AMI Labs; Professor, NYU; Partner, 224 Ventures; Ex-Chief AI Scientist, Meta. Researcher in AI, ML, Robotics, etc. ACM Turing Award Laureate.
Nathan Faubion @natefaubion
427 Followers 79 Following
The Modern Hermeticis... @ModernHermetics
37K Followers 300 Following History, Philosophy, Art, Science, Magic, Myth, and Religion; Historian PhD (Latin Hermetica & Cabala, Ficino, Pico, Picatrix) https://t.co/I6vZ0v7p7b
John Soo @jsoo@floss.... @jsoo1
128 Followers 392 Following Mathematics enthusiast, functional programming lover. economics and political theory https://t.co/294gdGnaAl (they/them also accepted) https://t.co/B3OQNLXsNn
Wouter Swierstra @wouterswierstra
1K Followers 151 Following
Unsinn @anteruina
6K Followers 244 Following jetzt komme, feuer! / begierig sind wir, / zu schauen den tag...
Archmonad of Saturn @voidshaper
1K Followers 570 Following More active on Mastodon https://t.co/XJA3TnavA5 also @voidshaper.bsky.social
Production Haskell @prodhaskell
1K Followers 2 Following A book on pragmatic, professional Haskell development written by @mattoflambda. Follow this account to receive updates on the book's progress.
山本和彦 @kazu_yamamoto
3K Followers 211 Following 4人の子育と親の介護真っ最中のHaskeller。Haskellコミュニティではネットワーク周りを担当。昆虫、特にクワガタが好き。釣りの対象魚は、アオリ、ケンサキ、サワラ、タチ、マゴチ、クログチ。山口県在住。 アイコンは長男を模したゆるキャラです。
🌷🐰 sonya serend... @sonyasupposedly
19K Followers 3K Following inadvertent mom account • rationalist sympathizer • avatar by @suchaone
Visakan Veerasamy @visakanv
275K Followers 362 Following Focus on what you want to see more of. 💪🏾❤️🔥 buy my ebooks ▲ FRIENDLY AMBITIOUS NERD ▲ (https://t.co/ilqQnEHTOz) and ꩜ INTROSPECT ꩜ (https://t.co/K7oSiNofSa)
Devon ☀️ @devonzuegel
59K Followers 1K Following I've gone to look for myself. If I return before I get back, please ask me to wait. Building @Esmeralda_Inst. Prev @GitHub @NotionHQ @Affirm @StanfordReview
Richard Eisenberg @RaeHaskCaml
3K Followers 144 Following Type system grease monkey and language designer for Haskell and OCaml. I want type systems to save us from software errors. Works at @JaneStreetGroup. He/him
Eva @evacide
166K Followers 1K Following Director of Cybersecurity @EFF / Co-founder of @stopstalkerware/ My tweets are my own, not my employers’ / I did a TED talk once /
Talia Ringer 🕊🪬 @TaliaRinger
34K Followers 7K Following Professor, @plfmse, @IllinoisCS! Interactive Proof. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Matthew Green @matthew_d_green
167K Followers 1K Following I teach cryptography at Johns Hopkins. Mostly on BlueSky these days at https://t.co/GI4QlxYTdk.




















