1HaskellADay @1HaskellADay
A short Haskell algorithmic puzzle, each day. Puzzle at Midnightish EST (GMT-5) Answer at 11pm EST (GMT-5) logicaltypes.blogspot.com/p/1haskelladay… U.S.A. Joined February 2014-
Tweets6K
-
Followers2K
-
Following286
-
Likes643
@1HaskellADay Map.intersectionWith const map $ Map.fromDistinctAscList [(k, ()) | k <- Set.toAscList set]
@dysinger @1HaskellADay You could use Map.fromDistinctAscList/Map.toAscList for better performance (keys are already sorted), but there's no need as there's Map.filterWithKey (\k _ -> Set.member k set) map
I'd like to know if people find the Haskell community welcoming or unwelcoming I acknowledge that this is not a scientific poll and "welcoming" is not clearly defined. Also, feel free to leave comments elaborating on your answer
It's Friday, so you know what that means: Mods are asleep. Deploy experimental changes to prod
If p is prime, all the coefficients in (a+b)^p except the first and last are divisible by p.
Them: nooooo you can't just generate SQL from Haskell! Rel8: hahaha monad go brrrr
A computation that appears to require 32 multiplications can be done in 15.
New post: Faster quaternion product rotations johndcook.com/blog/2021/06/1…
Minimum criteria for a language to be Turing complete cs.stackexchange.com/questions/991/…
Learning a language other than PHP will make you write better PHP.
'The essential virtue of category theory is as a discipline for making definitions, the programmer’s main task in life.' -- D. E. Rydeheard
Ring theory database ringtheory.herokuapp.com
Fun FP tip: if you have a `fold` function defined for a tree, then the infamous interview question "invert a binary tree" becomes a one-liner! Here's an example in #elmlang
Undecidability and incompleteness of second-order logic. ~ Mark Koch. ps.uni-saarland.de/~koch/bachelor… #ITP #Cog #Logic #Math
Happy to announce the new version of haskell-language-server, 1.2.0 * limited support for GHC 9.0.1 * support for GHC 8.10.5 * many fixes and new features for wingman github.com/haskell/haskel…
I don't use git. I don't even store code in files. I just remember it and re-type every time.
'This branch of mathematics [probability] is the only one, I believe, in which good writers frequently get results entirely erroneous.' -- Charles Sanders Peirce

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.
Eric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
piq and 69 others @piq9117
3K Followers 1K Following 🇺🇸 • haskell • CEO @htmx_org • neovim extremist • competitive shooter
Alexy 🤍💙🤍 @ChiefScientist
6K Followers 7K Following AI Community Architect @Neo4j. Chair, OSSci @NumFOCUS. Cofounder, AI Alliance, GenAI Commons. Run @scalebythebay: https://t.co/VG37Z4xowL. Join https://t.co/1CPrpnF1KU!
enriquem @emlique
50 Followers 740 Following
Rekwass @Moinard_Nicolas
3 Followers 36 Following
DusanStevanovic @Ombre_con_barba
214 Followers 410 Following FE dev / Human flourishing advocate / Meritocracy Stack: #react #js #typescript #elm
Sidney 🇳🇨 @sidneyali01
2 Followers 183 Following
Renat Amirov @renat_amirov
420 Followers 2K Following Кто из Ижевска интересуется ФП, Haskell, F#, велкам в чаты https://t.co/akBCoYhlsP, https://t.co/udR9vqaDgd
yeahstardust @yeahstardust
2 Followers 338 Following
Martin Grotz @mobilgroma
94 Followers 445 Following
voidzero 🙜 @_voidzero
352 Followers 465 Following I build really cool infra. Please find more of my content at the link below. I am also active on infosec dot exchange.
Povimyou @povimyou
2 Followers 526 Following
Jo Roe @JoRoe19
2 Followers 185 Following
Sankar Muthusangu @SMuthusangu
18 Followers 513 Following Haskell Developer, LabVIEW Architect, Python
shzmwfgwzf @asnawysl
120 Followers 4K Following Charity Volunteer, Buddhist Believer, Help those who are struggling in life and God will bless you
Ignacio Calderon de l... @igodlab
222 Followers 388 Following @UtxoAlliance, ex @InputOutputHK. Life 3.0. Who put that code on my bug?
Raga Man @say_thank_anna
6 Followers 63 Following Math grad student at a university that shall remain nameless.
molleweide @molleweide
319 Followers 3K Following Very ambition. Much failure. (highly educated and smart)
OREZIMENA GREGORY @OreziClaypole19
17 Followers 836 Following
JAI Capital @_JAICAPITAL
2K Followers 4K Following A private investment firm for digital and crypto assets. Seed investor @ Amorighoye Strategies(A.S.S). Trading powered by AGENT69, our autonomous trading agent.
Thadeu @ThadeuT8
56 Followers 193 Following Bio buffer overflow. In doubt, check with Valgrind. $? ~= 0
Jonathan Prieto-Cubid... @jonaprietoc
79 Followers 451 Following Read/write types and proofs for fun and profit. Better HoTT than cold. "The Devil is in the details".
David @_cbdavide
48 Followers 655 Following
David Young @roboguy20
502 Followers 1K Following Computer science PhD student focusing in programming languages
Leemer @Leemer16
13 Followers 457 Following
Ask Yourself @askyourself92
3K Followers 149 Following He who Devon Tracey has avoided debating since April 6, 2018. If you wanna talk, go to Discord, I don't text debate: https://t.co/NHzFQJL0gL
Vlad P. Luchian @Cstml1
62 Followers 338 Following Passionate about λ calculus, Haskell, lisp, and pure functional programming. Will write Agda, sometimes. Rust and C for fun.
thalesrodolfo @thales_rodolfo
13 Followers 226 Following Software Engineer. Java. Go. Functional Programming.
Adolfo Pérez Álvare... @xardon
87 Followers 194 Following
Jagan @jagan93618080
159 Followers 5K Following
notquiteamonad @notquiteamonad
28 Followers 181 Following Software engineer currently enjoying Haskell. he/him. https://t.co/Egy5JReAsV
pivisko @pivisko1
11 Followers 48 Following
Igor Svilenkov @styr_mod
5 Followers 147 Following
Raphael Bellec @rbellec
86 Followers 171 Following Love talking to computers, sailing & burn culture.
Jérôme Avoustin @JeromeAvoustin
1K Followers 797 Following Developer, Crafter and Sport addict. Software Crafter @sundayapp_. Haskell newbie. DDD and test infected. Functional dreamer.Bartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Stephen Diehl @smdiehl
55K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
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
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.
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 🏳️⚧️
Computer Science @CompSciFact
251K Followers 19 Following Daily tweets about computer science and related stuff @JohnDCook.
Functor Fact @FunctorFact
26K Followers 6 Following Functional programming and category theory tweets from @JohnDCook
Haskell @HaskellOrg
13K Followers 65 Following Committed to a welcoming, vibrant & flourishing #Haskell community! Managed by @beatleida & @TechnoEmpress on behalf of the https://t.co/1sy8nTHi9G Committee
Flu 🦠 @DeFinalFantasy
24K Followers 14K Following The Bob Joyce of crypto Director of Degen @undeadblocks @lendonape @sansound3
CryptoPigs.ONE NFT GA... @cryptopigsone
2K Followers 3K Following NFT gaming project on Harmony. PvP+Piggogotchi. 5000 Piggies. Mint one at https://t.co/3uma24D2KK Part of the @freyalacrypto gaming ecosystem ⚔️ https://t.co/VjOjDnStgm
@[email protected]... @Ocramius
19K Followers 1K Following I don't check this account anymore: find me at https://t.co/qmMI0oKcN2 instead.
Ask Yourself @askyourself92
3K Followers 149 Following He who Devon Tracey has avoided debating since April 6, 2018. If you wanna talk, go to Discord, I don't text debate: https://t.co/NHzFQJL0gL
Done @steven_0351
533 Followers 266 Following I’m done here. You can find me on the butterfly app I guess.
Alejandro Serrano @trupill
4K Followers 481 Following 👨💻 Researcher at Kotlin Evolution Team 🧙♂️ Haskell wizard 📚 Author of 4 books 👨👩👦👦 +1 of @ElenaVielva
Laurence Emms @wtfunctional
55 Followers 14 Following
Gabriel Lebec - glebe... @g_lebec
971 Followers 294 Following Developer, instructor, artist, student. #JavaScript, #Haskell, #LambdaCalculus, & #nihonto. The opinions stated here are my own, not those of my company.
Veronika Romashkina @vrom911
3K Followers 652 Following 💻 Software Engineer (FP) 🦄 Co-creator @kowainik 🖋 @bind_the_gap 👩🏫 #Learn4Haskell 🍷 You can sponsor me on GitHub: https://t.co/BjVCyBuF9R
EMURGO @emurgo_io
125K Followers 456 Following A co-founding entity of the Cardano blockchain that drives the commercialization of blockchain and asset tokenization.
St Andrews FP Group @SAFPGroup
101 Followers 72 Following We are the functional programming group at the University of St Andrews. Abstraction, types, static analysis, parallelism, implementation, design, ...
Steve Shogren @steveshogren
145 Followers 86 Following
Diogo (f a) Castro @dfacastro
708 Followers 1K Following Software engineer at Serokell. Typed FP, Haskell, Scala, worshipper at the church of Church λ. He/him.
Chiao Cheng @chiaolun
453 Followers 1K Following https://t.co/yZHyhheAsq, ex-scale ai, ml engineer, quant
taiansu @taiansu
543 Followers 2K Following /\.(ex|jsx?|rb|hs|rs|py)/, A father, a bookworm, a pluviophile. Co-organizer of https://t.co/0Ylc0VZAE6. Learning satir, coaching & mediation.
Paul X. McCarthy @paulxmccarthy
36K Followers 2K Following CEO, Author & Data Science Research leader @scholarsleague @Forbes @UNSW @UTSengage ONLINE GRAVITY #llm #ai
Igor Os @IgorOs6
6K Followers 6K Following Experienced #Unix and #Linux #SysAdmin with over twenty years background in Systems Analysis, Problem Resolution, Application Support, and Process #Automation.
Benoit Chiquet @BenoitChiquet
138 Followers 128 Following
TJ Takei @karoyakani
268 Followers 159 Following Software Hobbyist. Competitive Programming. Mechanical CAD. Micro Lithography. Analytics. Go game. Volleyball. Cats.
Martin Grotz @mobilgroma
94 Followers 445 Following
FIXIT 36^6 :: IO () @YFYXY
101 Followers 1K Following abandonware. delaying solutions one problem at a time.
μHUG @MunichHaskellUG
28 Followers 17 Following Official twitter account of the μHUG (Munich Haskell User Group). Join us on https://t.co/pmvn2PiZAy
Ana Bento @amsbento
17 Followers 119 Following
coccyx @haskell_fever
23 Followers 98 Following
Curry Club Augsburg @curry_club_aux
130 Followers 23 Following Typen, Effekte, Laziness und indisches Essen // Eine Monade ist ein Monoid in der Kategorie der Endofunktoren
Jack's Wasted Life @jackswastedlyfe
9 Followers 97 Following
Regular Expression @RegexTip
75K Followers 19 Following Learn to use regular expressions by following RegexTip. From @JohnDCook.
Units @UnitFact
25K Followers 17 Following Units of measurement, constants, dimensional analysis, etc. From @JohnDCook
Network Fact @NetworkFact
47K Followers 19 Following Daily tweets about networks, graph theory, and related topics from @JohnDCook
Algebra Etc. @AlgebraFact
194K Followers 19 Following Tweets about algebra, number theory, and miscellaneous math by @JohnDCook.
Galois @galois
6K Followers 658 Following Galois applies cutting edge computer science and mathematics to solve difficult technological problems.
Manuel Chakravarty�... @TacticalGrace
6K Followers 764 Following Lambda scientist ・ functional programming, programming languages & cryptography • Swift, Haskell & Agda • @HaskellForMac dev • Volt Policy DigiCom
Niki Vazou @nikivazou
3K Followers 464 Following Research Associate Professor at IMDEA && Haskell Enthusiast && developer of LiquidHaskell.