Chris Smith @cdsmithus
Software developer and amateur (but published!) ring theorist. Volunteer K-12 math/CS teacher. Haskell enthusiast. He/him. medium.com/@cdsmithus Atlanta, GA Joined April 2009-
Tweets2K
-
Followers631
-
Following154
-
Likes641
@coolcoder56 I’ve given about 100 software engineering interviews. Hostile candidates who walk in prepared to resent being tested on memorization usually do poorly, and I know many of them convince themselves they were failed for forgetting minutia. I am not sure if this is an example.
@fidgetsfive @bryanrbeal Because the defining characteristic of being a parent is letting your child make mistakes and learn and grow beyond what you can already trust them to do, but supervising appropriately to manage the risks?
@HeLLaTaLL510 If the information was out of date, that's good news, and many people are surely exaggerating for political reasons. But "lying" is a very strong word when you acknowledge that statistics from only a few years ago support many of their claims.
One major U.S. political party increasingly sees democracy as the problem. The other increasingly sees capitalism as the problem. For generations, these were shared principles that nobody had to defend. That's changing quickly, and it's going to be interesting.
I just published How to (Almost) Trisect an Angle cdsmithus.medium.com/how-to-almost-…
@michaelmiraflor @mkobach People who disagree with you don't just disagree because they haven't flown before. I have flown hundreds of times, and I always wait until the line is dying down at the end before boarding.
@jeremyisenberg @adamcanthony @rod_mallo Southwest passengers insisted on being in their entitled place in the line to get choice of seats. Without an incentive, people won't split up their families and interrupt their Tik Tok doom scrolling to organize themselves by carefully designed boarding position.
@angerman Without even bothering to look up Facebook Code, which doesn't exist, just think for a second about the claim that 400 million people (more than 5% of everyone alive on the planet, including infants and children) are using ANY software engineering tool. Of course they aren't.
@andre_quentin "Tell me a story" "Once there was a girl with purple hair..." "No, she shouldn't have purple hair. Try again." "Once there was a girl with very normal-colored hair. It wasn't the slightest bit purple. People around the world marveled at how non-purple her hair was."
With all the attention I've seen on @flair I feel like I should point out it just doesn't work that well. When part of the home is too hot or cold, Flair's solution is usually to do nothing at all unless you manually set the comfortable part of the house to "Away" mode.
@ropes4goodgirls @IsaacKing314 This isn't about a character being very smart. It's that there is no level of chess where winning in six moves means you're good. There is only it meaning that your opponent did something foolish.
@muddyshutter @kamikazecash If everyone under 50 stops paying, the system collapsed immediately. It cannot keep paying those currently receiving benefits from only the contributions of people aged 50-67.
@YeahYouRight51 @helloitsolly @Wise "Signatures" on these touchpad payment devices are usually just scribbles anyway.
@ekamurasi @SebaTheOracle @Freyy_is Also, "does work". "The comparison is doing real work." "That example does a lot of work." Never says what work it's doing. Just that it's doing something. Also, lots of things are "load bearing".
@jamesawhiite The one thing you said that has substance is that earlier sunrise promote healthy circadian rhythm. If that is true (for an objective meaning of healthy, not just your a priori decision that people should get up earlier) then you would have the start of an actual reason.
@zacherylayne @hotdamhistorian I always assumed it's common in AI because it reads dramatically, and the RLHF step in LLM training is judged by people with only a surface level understanding of the subject matter and they find rhetorical devices compelling.
@VetDad25 @prettycritical You don't have a car in New York. A parking spot is like $800 a month in some places, and probably 20 minutes away from you, then traffic makes it not very appealing to drive once you get there.
@anonxxyyzx @prettycritical The subway is no more full of crap than the rest of New York, and living in New York is assumed here. It's not really dangerous, unless you mean the danger of someone yelling and swearing at you, but again, that's just living in New York.
@prof_g I think the reasoning text here disagrees with your interpretation. You've got here an example of the AI struggling with figuring out what you INTENDED, not considering all cases and concluding that parallel axes actually come out worse. Maybe it should be more literal...
Matt Parsons @mattoflambda
5K Followers 598 Following Haskell jock. Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
Edward Kmett @kmett
17K Followers 808 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/OduL9QvPz7 https://t.co/XwbnuaOUzq https://t.co/wYaTDISbEB
Tom Sydney Kerckhove @kerckhove_ts
4K Followers 427 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
Tweag by Modus Create @tweagio
7K Followers 329 Following Improving the craft of software engineering.
Satnam Singh @satnam6502
23K Followers 3K Following Scottish-Punjabi-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Redacted @cercerilla
2K Followers 448 Following
gelisam ⏸️ @haskell_cat
1K Followers 324 Following AI Safety ∩ Programming Language Theory. Part-time technical alignment researcher, full-time Haskell software engineer at https://t.co/qG4jsBEIIO, opinions are my own.
Eric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
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
José A. Alonso @Jose_A_Alonso
5K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Wilfred Hughes @_wilfredh
4K Followers 3K Following Programming language development, human factors, and a healthy dose of Emacs. Also https://t.co/faGheKDz69 and https://t.co/sqqeQ20uHV
davidad 🎇 @davidad
24K Followers 10K Following cognizing structures of information processing systems, in all their forms | applied category theory | the Wisdom Basin hypothesis | cancel heat death
sara :: panic! (the '... @typed_hole
2K Followers 435 Following Video games, software engineering, functional programming, building bridges. Tweeting about whatever is on my mind! - Я вчу українську мову
piq and 69 others @piq9117
3K Followers 2K Following 🇺🇸 • Software Engineer • Guns • Competitive Shooting
moritz ✨ @angerman
3K Followers 2K Following Building open source things for all of us: - https://t.co/dLSzvbY8aa · Docker is stupid - https://t.co/ts1OYFpBS0 · Your CLI deserves a UI
Serokell @serokell
7K Followers 5K Following The most bizarre company with brave ideas of functional programming application. #DAML #Haskell #Nix #Elixir #Rust #Agda #ML #AI
Alyshira @Alyshiria
348 Followers 2K Following Marketing Automation Consultant, ex-Bored Ape #4822, Core Metahero Randy-V. Marketing team @ Boomer Squad on Cronos! #mvhq #nftcollective #valhalla
Ola @ola_musta
149 Followers 1K Following Software Engineer, FP guy (particularly Haskell), I stream on programming, gaming, piano, etc, on YT and Twitch @ola_musta. Opinions are my own
x @wuliiii1069
67 Followers 656 Following
ChungWei, Li @lichungwei
3 Followers 223 Following
محمد علي سي�... @gcytoxd3j
0 Followers 58 Following
Anh Nguyen Tuan @AnhNguy16804771
7 Followers 110 Following
Kylemema @Kylememae4
1 Followers 50 Following
jean paul travolta @herkules129
63 Followers 3K Following
Doron Grinstein @dorongrinstein
800 Followers 996 Following CEO @ Control Plane. Writing about backend architecture, Kubernetes, platform engineering, multi-region systems, cloud cost, GPUs, and what breaks in production
HyperV 🚀 @luckyFellaZ
33 Followers 1K Following
Günther @gunwin69
683 Followers 5K Following Je länger du im falschen Zug bleibst, desto teurer wird es, nach Hause zu kommen.
Liam Wilks @w1lks_
12 Followers 2K Following
Cook Hana @afifahaqilah99
15 Followers 463 Following Do not wait to strike till the iron is hot, but make it hot by striking.
Victor Michael @vicmicruz36
42 Followers 2K Following
tope @topepemisire
50 Followers 269 Following fun to be with..DM for any kinds of caterpillar machines and generators for diagnosis repair & and spare parts solutions.
DANIELLA LAM @DaniellaLa48977
21 Followers 500 Following
Jerna @rena0311rk
270 Followers 985 Following I own you from now on!!! 🦍 don’t come to my dm talking about crypto!!!
MR @mr1010101
1K Followers 5K Following passion for technologies, founder @usercentrics — “everything has to do with loving and not loving” — Rumi
garima bapna @GarimaBap
1 Followers 48 Following
Taiwo Obayomi @Taiwo_kingz
1K Followers 2K Following Founder & CEO, @fixremo & @Famolaapp| Building AI-powered access to trusted professionals and delivering fresh meal kits to African households.
Jose Luis Bressan @bressan_jose
45 Followers 146 Following Después de la ultima tempestad busco las maderas que quedan para reconstruir el barco, además aunque sea redundante amo la Filosofía
ooopie @hfzmoist
1 Followers 242 Following
Joao Pedro @jpdias21_
15 Followers 440 Following
Spencer Hormuz @exitwithbitcoin
249 Followers 3K Following The Beginning of the End is Near. Fix the Money, Fix the World.
Phil Sessoms @EponymousEcon
171 Followers 6K Following
Soumya Ranjan Behura @srbehura
47 Followers 1K Following ServiceNow Developer & Blockchain Enthusiast | Exploring Blockchain, #Web3 identity and #Quantum tech intersections. Building decentralized futures.
Coach Devon Adams @CoachDevon24
2K Followers 6K Following 2029 Head Coach CG Elite Basketball Program and Basketball Strength and Conditioning Development for boys [email protected]
Jannik @JannikHWX
26 Followers 1K Following
Sebastiaan Visser @sfvisser
375 Followers 412 Following Bricks and robots at @BuildMonumental. Formerly Palantir, Silk
vikas @vikasreddykat
74 Followers 531 Following On the path from Caution to Bonkers, strategy to execution, 0 to 1 | https://t.co/SBKFt8Xi8b 🔜 | https://t.co/SuFCvLZ4iJ
Nikolai Pohodenko @phdnk
2 Followers 65 Following
Opeedrax @Opeedrax905455
23 Followers 962 Following
Oxoulouq @Oxoulouq5495
26 Followers 958 Following
M @M58051608
0 Followers 267 Following
Lone Star @Jocelyn57156376
155 Followers 928 Following 🇺🇸🇺🇸 I support Donald J. Trump 100%, 🇺🇸 America First. 🇺🇸
Jerry V Hall @Jerryvhall1
5K Followers 2K Following CEO Compute Portal Inc. Passionate about AI, Web3 and the future of technology. Committed to driving innovation and staying #FutureReady.
Gabby Ruthie @Gabby3501
4 Followers 78 Following
Pavel Kepka @kepkap
122 Followers 748 Following
Matt Parsons @mattoflambda
5K Followers 598 Following Haskell jock. Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
Edward Kmett @kmett
17K Followers 808 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/OduL9QvPz7 https://t.co/XwbnuaOUzq https://t.co/wYaTDISbEB
Joachim 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/9Sjz02h8dL
Tweag by Modus Create @tweagio
7K Followers 329 Following Improving the craft of software engineering.Bartosz Milewski @BartoszMilewski
37K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Satnam Singh @satnam6502
23K Followers 3K Following Scottish-Punjabi-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Graham Hutton @haskellhutt
9K Followers 707 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Alexis King @lexi_lambda
13K Followers 28 Following computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢
gabby @GabriellaG439
16K Followers 79 Following Author of https://t.co/KlpbciE0Hl, @dhall_lang, and https://t.co/YzieN4kyo2 I'm a midwife to the hidden beauty in everything she/her 🏳️⚧️
Redacted @cercerilla
2K Followers 448 Following
Stephen Diehl @smdiehl
54K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
gelisam ⏸️ @haskell_cat
1K Followers 324 Following AI Safety ∩ Programming Language Theory. Part-time technical alignment researcher, full-time Haskell software engineer at https://t.co/qG4jsBEIIO, opinions are my own.
Eric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
José A. Alonso @Jose_A_Alonso
5K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Paweł Szulc @EncodePanda
3K Followers 668 Following Haskell, 范畴论, λ, Distributed Systems, Formal Methods
Edward Z. Yang @ezyang
18K Followers 2K Following I work on PyTorch at Meta. Chatty alt at @difficultyang.
sara :: panic! (the '... @typed_hole
2K Followers 435 Following Video games, software engineering, functional programming, building bridges. Tweeting about whatever is on my mind! - Я вчу українську мову
Tolkien Universe @Tolkienuniverse
41K Followers 140 Following Not all those who wander are lost. Daily content from Middle-earth. Everything about Tolkien’s legendarium (Fan Account) 🧙♂️
Mark Heaps @lifebypixels
4K Followers 1K Following Professional Creative keeping the human soul in technology brands. Director of Developer Marketing/Community at NVIDIA. Prev: Groq, Google, Duarte, and Apple.
moritz ✨ @angerman
3K Followers 2K Following Building open source things for all of us: - https://t.co/dLSzvbY8aa · Docker is stupid - https://t.co/ts1OYFpBS0 · Your CLI deserves a UI
Michael Peyton-Lebed ... @mpeytonjones
2K Followers 762 Following thread the needle, find the path 🔸10% Pledge #132 with @GivingWhatWeCan
sunny madra @sundeep
45K Followers 6K Following VP @Nvidia previously COO&President of Groq I also co-founded @definitiveio acq. by groq, @autonomic acq. by @ford, and @xtreme labs acq. by pivotal/@vmware
Jonathan Ross @JonathanRoss321
115K Followers 252 Following Double the World's AI Compute Chief Software Architect @ Nvidia, Founder of Groq, Creator of the LPU & Google's TPU
Naomi Novik @naominovik
26K Followers 430 Following author, coder, fangirl, geek. Author of Spinning Silver, Uprooted, Temeraire, & The Scholomance. BURIED DEEP arrives Sept 17, 2024 & now available for pre-order
THE WHEEL OF TIME @TheWheelOfTime
122K Followers 180 Following Season 3 now streaming on @PrimeVideo. Posts by He Who Tweets With The Dawn, gai'shain to the #TwitterOfTime
Andrew Boardman @myShoggoth
584 Followers 465 Following Director of Engineering at @getwellrewarded Former ED of @haskellfound My own opinions and not necessarily those of my employer.
Haskell IDE team @IdeHaskell
503 Followers 14 Following Maintainers and collaborators of haskell-language-server and projects powering it
Henri Picciotto @hpicciotto
3K Followers 358 Following Retired after 42 years in the classroom, from counting to calculus. Now working with colleagues, curriculum, cryptic crosswords.
Veronika Romashkina @vrom911
3K Followers 692 Following 💻 Software Engineer (FP) 🦄 Creator @kowainik 🖋 @bind_the_gap 👩🏫 #Learn4Haskell 🍷 You can sponsor me on GitHub: https://t.co/BjVCyBuF9R
Sjoerd 슕 Visscher @sjoerd_visscher
1K Followers 482 Following he/him https://t.co/mL1e9LiEbX https://t.co/6fKIciHDuB https://t.co/VLdOs3ykjM https://t.co/vOS46mmPbB 👫@boekencurator
gilmi @_gilmi
859 Followers 57 Following Mostly programming and Haskell. He/Him. 📕 https://t.co/xEErboAizd ⚡ https://t.co/ShceOZc3Y3
pepe Iborra @IborraPepe
576 Followers 447 Following Haskell enabler @Facebook, all views expressed are my own
Francesco Gazzetta (@... @fgaz_
93 Followers 154 Following #Haskell #NixOS #Agda I'm on the #fediverse more than on twitter, current account @[email protected]
Sam Derbyshire @samderbyshire
292 Followers 282 Following Cohomology enthusiast. I've seen rings you people wouldn't believe.
krystal maughan @kammitama
517 Followers 481 Following
Haskell Foundation @haskellfound
5K Followers 58 Following https://t.co/fFbaw17S1M • a non-profit for building the future of Haskell
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.
[email protected]... @shripadt
91 Followers 403 Following Applied ML full-stack engineer, computer science generalist, mindful meditator; @Meta, ex-{@Uber,@YouTube,@Google}, @IllinoisCS🎓@Caltech @TUeindhoven
Cheng Shao @monadiccheng
270 Followers 418 Following
Justin Lê @mstk
2K Followers 1K Following jle / mstksg / Lê Anh Khoa: Computational Science PhD, Physics BS, Haskeller & amateur musician; he / him
Edward Kmett @edwardkmett
420 Followers 223 Following This account was created due to an incident on Feb 13th, 2021. I'm mothballing it for now. Follow @kmett.
Chelsea Harper @chels_of_harper
391 Followers 416 Following #writer #indieauthor #fantasy #epicfantasy #gamer lover of all dogs and most cats. Debut novel, Wake of the Phoenix.
Vladislav Zavialov @int_index
2K Followers 258 Following Haskell programmer since 2012; GHC contributor since 2018.
gleber @gleber
312 Followers 355 Following Haskell, C++, Erlang developer. Opinions are my own and not the views of my employer.
Haskell Love Conferen... @_haskellove
1K Followers 46 Following #haskelllove https://t.co/vg1yElERCf https://t.co/6KK9yrS6Ql
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.
Arnaud Spiwack @aspiwack
711 Followers 21 Following Multi-classed Software Engineer/Constructive Mathematician. Sometimes plays video games sort of fast. Puts topoi in your computer. https://t.co/iFlKRVeGpN
Christina Gardner-McC... @Dr_GMcCune
649 Followers 419 Following Passionate about CS education, AI education, & CS Professional Identity Development. Associate Professor @ufcise, #AI4K12 Co-Chair, #RESPECT2021 Program Chair
Lauren Margulieux @lauren_marg
1K Followers 217 Following Computing Education Researcher and Associate Professor of Learning Sciences at Georgia State University
Jean-Baptiste Musso @jbmusso
641 Followers 1K Following Translating user requirements to machines using Continuous Delivery, DDD, TDD & functional programming. I help you deploy on Fridays. Hiring engineers in Paris.
.hs .rs @haskmancer
29 Followers 135 Following haskell for my soul, rust for my pleasure, scala for living, emacs for everything
Anatoly Karp @akarp
3K Followers 5K Following Method coder. Discreet mathematician. Machine learning, physics, economics.





















