Scott Murphy @scottmurphy09
haskell, hardware, c, economics blog.plowtech.net Oklahoma City OK Joined August 2010-
Tweets4K
-
Followers216
-
Following611
-
Likes3K
So, how about we organize a build system workshop? Get a bunch of the people who have worked on major build systems get together to talk shop and share ideas.
When people say "comments are bad" they mean "don't put information in comments if you can make it evident from the code". This is correct. When they say "comments are good" they mean "take the higher-level thoughts you couldn't, and write those down too". This is also correct.
Most important story of 2017 is that the global poverty rate reached its lowest level ever. This will probably be the most important story of 2018 also. Happy New Year.
Stop naming programming langs "GO" and "Reason" SEO anyone? please!
If you want to see what MVP really means, look at Bluetooth Low Energy.
bluez you little devil... misleading at every turn.
There are lots of examples of external threats dividing people.
There are lots of examples of external threats dividing people.
why do we need a solid type theory? because docs, programs, forms all work with data of endless variety of types, not some ad hoc finite set
I am sure someone needed it and I would love to hear the story. However, starting with ATS and ending up with R is hilarious.
7. Atscc2r34 (for transpiling ATS into R) is functioning and it is expected to be improved gradually. This capability cracks me up.
People saying it is harder for the men. It was T&T! SMH! Meanwhile Short, Smith and Pugh are gonna push the USWNT to another World Cup!
People saying it is harder for the men. It was T&T! SMH! Meanwhile Short, Smith and Pugh are gonna push the USWNT to another World Cup!
Did you just make this?
--fast --faster --faustus An option to sign a pact with the devil for sub second compiles regardless of code size.
The more effort I put into agenda mode, the more rewarding it is. what if all software were like this!
I want two flavors of tools: collect data and analyze data. And I want them to give that data directly to me for storage, unlike Fitbit.
Somehow I have spent a month in a world where 100 bytes is like this huge gigantic number. I am ready to go back to the land of the gig.
@thumphriees @a_cowley @argumatronic Maybe not totally ignoring, but made secondary to more standard software concerns. (Though perhaps library programmers should do that too)
listening to people doing a software migration yelling about clouds is really funny.

Thomas Tuegel @ttuegel
854 Followers 253 Following Haskell. NixOS. Physics. Intellectual scavenger. Asymptotic perfectionist. @[email protected]
Senior Oops Engineer @ReinH
20K Followers 2K Following doin capitalism a frighten, https://t.co/mROKLREFXT deleted my bsky account because of the racism don't ask me to come back
@_@ @dysinger
4K Followers 1K Following ❚Work❚Senior² Developer 🐪 ocaml haskell & all FP 🤓 ❚Not-Work❚碁士 1A 2A firearms 태권도 lifting osint privacy radio 🏄♂️
Stephen Diehl @smdiehl
55K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
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.
ElmaMarjory @lZtVR5pRHWUkd0
1 Followers 99 Following
Breana Stokes @BreanaStok2331
49 Followers 3K Following
Rppinne @Rppinnea6Pq
50 Followers 5K Following
Wuempoos @WuempooswL44Ch
55 Followers 5K Following
Shouxoash @ShouxoashD5V
48 Followers 4K Following
ZonaCaroline @L4eT89jGFAh0kL
55 Followers 6K Following
BessBessemer @akLa6Ar0OqKS9K
80 Followers 7K Following
Vania @akedoyurik99913
82 Followers 7K Following
EmmaBarton @AtSc0s9HKCI9o8P
69 Followers 7K Following
Shesho @Shesho880032971
89 Followers 7K Following
Fighter @tosarika173674
73 Followers 6K Following
Angel @Thatotash166296
94 Followers 6K Following Women will never be as successful as men because they have no wives to advise them.
JoanneBethune @e8YL3bdUTbk0O4p
71 Followers 7K Following
JamieDewey @2nNRcuct3kjD602
25 Followers 3K Following
Selene @nagamotosh47471
66 Followers 7K Following
Titus @kariyahika31569
86 Followers 7K Following
Teesley @Teesley178107
98 Followers 7K Following A strong woman is one who is determined to do what others are determined not to do.
MaureenEllis @eXL2hlvWCGDjx0
108 Followers 7K Following
Theighsm @TheighsmSYL2
15 Followers 1K Following
Whatho @Whatho29562
69 Followers 5K Following
Ann @ann_rivera_
288 Followers 3K Following
Crystal @crystalcrum28
255 Followers 3K Following
The Thunder Bot @TheThunderBot
57K Followers 49K Following 🇮🇹⚡We are @VicenzaThunders and, since we don't have time to manage our web pages, we created this bot which works automatically⚡ #LikeNoOther #MadeInItaly🇮🇹
laurence @functi0nZer0
59K Followers 5K Following @wildcatfi // no one in the world ever gets what they want and that is beautiful
{...} Phil de Joux @philderbeast
259 Followers 1K Following Linking moves, deferring to the compilers😷 𝔗𝔥𝔞𝔩... @thalesmg
32 Followers 1K Following
Cyrus Omar (now mainl... @neurocy
3K Followers 3K Following 🌱 laying foundations for the future of programming @ https://t.co/KNwWLHMbK2 🌿 asst professor @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew
Don roscom @don_roscom
317 Followers 713 Following USAF Veteran, Oklahoma Sooner fan. From Oklahoma. Cash app $Roscomd
David Baldwin @DavidMBaldwin5
35 Followers 181 Following
Alexey Zabelin @alexeyzab
268 Followers 215 Following I like Haskell and coffee. https://t.co/zy1XiiahsW
Byron Okine @ByronOkine
5 Followers 50 Following
Fix JuanPabloF -- �... @lambdase
341 Followers 697 Following Tweets about functions and types. Likes programming languages and abstract algebra. Likes aren’t endorsements. He/him
Robin Bales @2robinbales
9 Followers 89 Following
gabby @GabriellaG439
15K Followers 76 Following Author of @dhall_lang, https://t.co/YzieN4kyo2, and principal engineer at @Mercury I'm a midwife to the hidden beauty in everything she/her 🏳️⚧️
deech @deech
5K Followers 1K Following
Edward Kmett @kmett
16K Followers 823 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Susan Potter @SusanPotter
7K Followers 2K Following Antifascist. Anti-authoritarian. Pro-privacy. Functional programmer. Recovering SRE. Micro-SaaS, real estate & trading. Outsider. Gay af. Genocide is terrible.
Matt Parsons @mattoflambda
5K Followers 522 Following Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
Alexis King @lexi_lambda
13K Followers 22 Following computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢
jaspervdj (@functiona... @jaspervdj
3K Followers 370 Following Leftist, haskell stuff, and I care a lot about skateboarding and photography. Involved with @FugueHQ, @snyksec, @HaskellOrg, @ZuriHac and @icfpcontest2021.
sara :: panic! (the '... @typed_hole
2K Followers 400 Following Video games, software engineering, functional programming, building bridges. Tweeting about whatever is on my mind! - Я вчу українську мову
Thomas Tuegel @ttuegel
854 Followers 253 Following Haskell. NixOS. Physics. Intellectual scavenger. Asymptotic perfectionist. @[email protected]
Erik Meijer @headinthebox
31K Followers 2 Following
Senior Oops Engineer @ReinH
20K Followers 2K Following doin capitalism a frighten, https://t.co/mROKLREFXT deleted my bsky account because of the racism don't ask me to come back
@_@ @dysinger
4K Followers 1K Following ❚Work❚Senior² Developer 🐪 ocaml haskell & all FP 🤓 ❚Not-Work❚碁士 1A 2A firearms 태권도 lifting osint privacy radio 🏄♂️
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
Chas (Anxiety Goblin)... @cemerick
5K Followers 972 Following Making PDFs reliable data sources @snowtide, PWLConf @papers_we_love & Clojure alum. PLT, distsys, future-computing, politics, policy @[email protected]
모리츠 ✨ @4ngerman
3K Followers 2K Following C'mon now, click follow! You know you want to! Developer Experience, Compilers, Languages. Personal Opinions, No Financial Advice!
Simon Willison @simonw
115K Followers 6K Following Creator @datasetteproj, co-creator Django. PSF board. Hangs out with @natbat. He/Him. Mastodon: https://t.co/t0MrmnJW0K Bsky: https://t.co/OnWIyhX4CH
Earvin Magic Johnson @MagicJohnson
5.2M Followers 218 Following The official Twitter account of Earvin “Magic” Johnson!
Bob Dylan @bobdylan
504K Followers 0 Following
Alec Helbling @alec_helbling
6K Followers 2K Following ML Interpretability, Diffusion, Visualization. Intern @Apple, PhDing @GeorgiaTech. NSF Fellow. Prev intern @Adobe, @IBM, @NASAJPL.
Harrison Chase @hwchase17
79K Followers 472 Following @LangChainAI, previously @robusthq @kensho MLOps ∪ Generative AI ∪ sports analytics
Aadit Sheth @aaditsh
518K Followers 205 Following AI investor, engineer, creator, entrepreneur. Tools & resources to implement in your business. Newsletter: https://t.co/VSQ06LS1g9
DeepSeek @deepseek_ai
973K Followers 0 Following Unravel the mystery of AGI with curiosity. Answer the essential question with long-termism.
Min Choi @minchoi
316K Followers 1K Following AI Educator. 𝕏 about AI, solutions and interesting things. Showing how to leverage AI in practical ways for you and your business. Opinions are my own.
Courtney Stith @CourtneyStith
8K Followers 3K Following a silly goose | Tweeting about/reporting on Gotham + WoSo | @DiasporaUtdPod @nwslmedia | @CBSSportsGolazo @attackingthird | UVA alum | can’t eat gluten
Nyla Worker @nyla_worker
452 Followers 745 Following TPUs at Google | Used to be GPU rich at NVIDIA | AI Product | Boliviana | AI compute, Physics and robotics! Opinions are my own
Max Weinbach @MaxWinebach
277K Followers 7K Following Analyst @creativestrat | Analyst and Market Research Firm | Typo ignorer Email: [email protected]
Trung Phan @TrungTPhan
729K Followers 4K Following Write on business with @workweekinc. Building a privacy-first AI research app (https://t.co/fZ5ObIy3Ra) and LLM API management platform (https://t.co/VTMMh1UFSj)
Evan LaPointe @evanlapointe
8K Followers 301 Following 4x founder with exits to Adobe and PE. I study and share the science behind human and team performance.
Yangqing Jia @jiayq
18K Followers 325 Following Founder & CEO @leptonai (now part of NVIDIA). @UCBerkeley @Tsinghua_Uni Alumni. Built decaf, caffe, ONNX, PyTorch 1.0. Former Google/Meta/Alibaba.
George Selgin @GeorgeSelgin
30K Followers 662 Following Money and banking fallacy demolition expert. I promise not to waste our time by saying things you expect me to say.
Parker Conrad @parkerconrad
35K Followers 479 Following Rippling payroll & HRIS admin, CEO. Nothing here should be construed as investment advice nor used in any investment decisions related to Rippling.
Teddy Schleifer @teddyschleifer
53K Followers 9K Following I write about billionaires and their impact on the world for The New York Times. @MSNBC contributor. Proud @PuckNews, @Recode alum.
(((Harry Enten))) @ForecasterEnten
208K Followers 146 Following Son of a man who was far from perfect, but I loved him anyway. Host of CNN's Margins of Error, a podcast about statistical stories. https://t.co/9MdpDsMxJd
Bevy Engine @BevyEngine
10K Followers 0 Following Official account for Bevy Engine: a refreshingly simple game engine built in Rust. Follow for news and curated #bevyengine content. @[email protected]
Mike L. Goodman @TheM_L_G
23K Followers 2K Following Now: “The Carlo Ancelotti of https://t.co/47eAUhoIwC” Then: @StatsBomb, Grantland, @FiveThirtyEight etc. Always @doublepivotpod.
Assaad Razzouk @AssaadRazzouk
156K Followers 16K Following Book: Saving the Planet Without the Bull, https://t.co/Rl65Jl0ep1. Podcast: Angry Clean Energy Guy. Climate and CleanEnergy from the front lines
Grace Robertson 🏳�... @GraceOnFootball
57K Followers 724 Following Football writer, mostly my newsletter now. Trans rights extremist. Free Palestine. She/her. Graceonfootball at gmail.
@tamerra-griffin.bsky... @tamerra_nikol
10K Followers 2K Following in the world to know the world ⚽️🌍 words (and voice) in @TheAthleticFC; also: @Andscape @unbothered @eatersf @SFChronicleFood and more
Richard McElreath �... @rlmcelreath
46K Followers 2K Following Director @MPI_EVA_Leipzig. Bayesian evolutionary anthropologist. Mostly absent from this site while writing books and maiming code.
Valeriy M., PhD, MBA,... @predict_addict
35K Followers 5K Following Experienced Data Science Leader | PhD in Machine Learning | 4x Author | Black Belt 🥋 in Time Series | Chief Conformal Prediction Promoter| Mathematician |
Gary Winslett 🌐�... @GaryWinslett
14K Followers 2K Following @Middlebury Prof + IPE Director. Sr Advisor @ProgressChamber Democratic Cost-of-Living Agenda. Studies the politics of trade and the tech sector. YIMBY. 🐊 🦅
SkalskiP @skalskip92
37K Followers 1K Following Open-source Lead @roboflow. VLMs. GPU poor. Dog person. Coffee addict. Dyslexic. | GH: https://t.co/dEmzMDGq5H | HF: https://t.co/4Lx1Yw34W7
Anton Zhiyanov @ohmypy
6K Followers 42 Following Open source maintainer. Writing interactive technical books at https://t.co/WIgisTXlhd
Rohan Paul @rohanpaul_ai
84K Followers 8K Following Compiling in real-time, the race towards AGI. 🗞️ Don't miss my daily top 1% AI analysis newsletter directly to your inbox 👉 https://t.co/6LBxO8215l
lmarena.ai @lmarena_ai
92K Followers 207 Following LMArena: Open Platform for Community-driven AI Benchmarking. Graduated from UC Berkeley / @lmsysorg. We’re hiring: https://t.co/1OkfLq2n0I
Andres Freund (Tech) @AndresFreundTec
11K Followers 99 Following FWD: @[email protected] FWD: https://t.co/DcPdStYfus Postgres developer, working at Microsoft. For politics: @AndresFreundPol
Jeremiah Johnson 🌐 @JeremiahDJohns
47K Followers 1 Following Founder @CNLiberalism. Writing at Infinite Scroll. Carly Rae Jepsen stan. Send me the worst tweets on this site. https://t.co/xONcXY5PQv
Unsloth AI @UnslothAI
31K Followers 458 Following Open source LLM fine-tuning & RL! 🦥 https://t.co/2kXqhhvLsb
Prof. Anima Anandkuma... @AnimaAnandkumar
34K Followers 2K Following Bren Professor @caltech, Time100, Fmr Sr Director of #AI research @nvidia Fmr Principal Scientist @awscloud
Daniel Han @danielhanchen
28K Followers 2K Following Building @UnslothAI. Finetune train LLMs faster. LLMs bug hunter. OSS package https://t.co/aRyAAgKOR7. YC S24. Prev ML at NVIDIA. Hyperlearn used by NASA.
Yi Tay @YiTayML
46K Followers 81 Following research scientist @googledeepmind ✨♊, model co-lead/captain of gemini deepthink imo gold medal 🥇, opinions are my own.
Chris Paxton @chris_j_paxton
19K Followers 3K Following Mostly posting about robots. currently AI @agilityrobotics prev embodied AI @AIatMeta, @NVIDIAAI. All views my own. writing: https://t.co/iNLA4djfZo
Alan Cole @AlanMCole
32K Followers 1K Following International and Federal Taxes @taxfoundation High Priest of #DBCFT Twitter
Tim Galebach @TimGalebach
2K Followers 884 Following Technical: @hyperware_ai. Harvard CS. Generally into ai for coding. Advisor for https://t.co/DZrS9URsT0
Alexandr Wang @alexandr_wang
327K Followers 833 Following chief ai officer @meta, founder @scale_ai. rational in the fullness of time
Paul Biggar 🇵🇸�... @paulbiggar
33K Followers 328 Following Founder @tech4palestine, @darklang, @circleci (he/him)
Mistral AI @MistralAI
156K Followers 0 Following Frontier AI in your hands. https://t.co/VdyEwpQsiy Apps: https://t.co/1vZA5XdBYo https://t.co/rj5G4u5sHu
Mahi Shafiullah 🏠�... @notmahi
3K Followers 616 Following Trying to understand the emergence of generally intelligent robotic behavior at @berkeley_ai @AIatMeta. Previously @CILVRatNYU @MIT & @Apple AI/ML fellow.