gilmi @_gilmi
Mostly programming and Haskell. He/Him. š https://t.co/xEErboAizd ā” https://t.co/ShceOZc3Y3 gilmi.me Joined June 2015-
Tweets4K
-
Followers885
-
Following58
-
Likes20K
Published a new #Haskell package: sqlite-easy. A primitive yet easy to use SQLite3 library for your toy projects. Might be useful if you need a simple db/persistent data for your app and you don't want to think too much about it. See the docs/tutorial: hackage.haskell.org/package/sqliteā¦
0
2
23
0
1
gilmi retweeted
Wrote a markdown file on the architecture choices in eclair: github.com/luc-tielen/eclā¦ Feedback welcome š
gilmi retweeted
Would people be interested in working on eclair for #hacktoberfest? There's a lot of low hanging fruit that I don't have the time to do right now. Help would be much appreciated! š
gilmi retweeted
@_gilmi I enjoyed it a lot. Good pace. Wrote very briefly about it here cthulehansen.github.io/blog/posts/lhbā¦
gilmi retweeted
Study: take 342 PRs at Xerox, half refactoring half not. Refactorings took much longer to merge and triggered more discussion. Based on this, some recs: 1. Explain the intent of the refactoring 2. Say exactly what the the refactor was 3. Say the impact of the refactoring
I've just finished reading The Cuckoo's Egg and I'm looking for more stories related to computers in any media. Any suggestions?
gilmi retweeted
ćć£ććę¢ę¤ćććÆć
Can I please find a chair with reasonable armrest to armrest distance? common keyboard (60%) size? ~12" average shoulder width? ~14-15" common armrest to armrest distance? 25-30" <- What they say ergonomic sitting should look like -> What it actually looks like
gilmi retweeted
The #GHC developers are very pleased to announce the availability of GHC 9.4.1! See Discourse for the full announcement. discourse.haskell.org/t/ghc-9-4-1-isā¦
Tom Sydney Kerckhove @kerckhove_ts
3K Followers 425 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
Luc Tielen @luctielen
1K Followers 121 Following I tweet about functional programming and compilers. Building a high performance Datalog called āeclairā with Haskell and LLVM.
piq and 69 others @piq9117
3K Followers 1K Following šŗšø ā¢ haskell ā¢ CEO @htmx_org ā¢ neovim extremist ā¢ guns
Michael Snoyman @snoyberg
6K Followers 569 Following Programmer, economist, author, speaker, weight lifter, Bitcoin enthusiast. Born in šŗšø, living in š®š± ×¢××Ø× ××¢× ×' ×¢××©× ×©××× ×××Øׄ
Igal Tabachnik @hmemcpy
11K Followers 533 Following Professional vibe coder. Scala / Rust š¦ (btw) Will you halt this eclipse in me?
Stephen Diehl @smdiehl
55K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
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
Csaba Hruska @csaba_hruska
1K Followers 686 Following I'm into compilers and pure functional programming. I'm doing Research & Development. (GHC, LLVM, ASM, pointer analysis, optimization) FYI: Csaba ā¦ĖtĶ”ŹÉbÉā§
Matti Palli š§āļæ½... @tritlo
3K Followers 2K Following uncertified haskell engineer | certified researcher
Oskar Wickstrƶm @owickstrom
5K Followers 739 Following Software engineer in rural exile by the sea.
gelisam @haskell_cat
1K Followers 308 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.
Wilfred Hughes @_wilfredh
3K Followers 3K Following Programming language development, human factors, and a healthy dose of Emacs. Also https://t.co/faGheKDz69 and https://t.co/sqqeQ20uHV
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.
Chris Penner @chrislpenner
21K Followers 17K Following he/him | Optics By Example: https://t.co/WC3SHRY4Kl | Cunningham's law made manifest. | Building @unisonweb
TiffanyCarmen @KDYS2OUWoRE4wo
2 Followers 299 Following
Zanzi Tangle, now at ... @tangled_zans
3K Followers 324 Following Turning Category Theory into code she/her Find me at: https://t.co/B0egvR0lmb @zanzi.bsky.social
Birdgg @Bird_Eggegg
304 Followers 1K Following
Rhonda Shannon @rhonda_sha22130
4 Followers 171 Following Recruiting webshell engineers to penetrate websites, with a monthly salary of up toā $100,000. If interesāted, please contact Ā https://t.co/dUyqeIITLf
alexandr& @imxano
96 Followers 555 Following
Yves Muya-Benda @yvesmuyabenda
197 Followers 839 Following
crlinecutettffh @celinexute29383
10 Followers 483 Following
ALL-Angelina @Teyse678962
16 Followers 1K Following Aproveite a oportunidade,junte-se a All,ganhe mais de 200 por dia,se estiver interessado,por favor,tome a iniciativa de conversar comigo em particular!
Serokell @serokell
7K Followers 5K Following The most bizarre company with brave ideas of functional programming application. #Haskell #Nix #Elixir #Rust #Agda #ML #AI
Yuan Tang š @futuresbd100
85 Followers 311 Following š In $SNEK we trust | To the moon we go! š"
Washington Machado @tomwhcm
125 Followers 2K Following Software Engineer šØš»āš»šļøš¶šā
Chitradeep Dutta Roy @0xcddr
77 Followers 4K Following
Creme de la Kremlin @DarrenCHoffman
62 Followers 1K Following don't invade Ukraine. don't do Oct 7th. end of story b's. PROUD to be an American. Nothing against the rest of you alls. I like to visit. but truly proud USA!
Harmeet Singh @singh_harmeet13
230 Followers 519 Following A Geek Who Loves his Work, Family, & Friends and Strongly Believe in Humanity.
Juan Carlos Claros @jcclaros
200 Followers 3K Following
Alex @randhufflepuff
102 Followers 2K Following
Alexander Codes @alexander_codes
926 Followers 2K Following Data Engineer āØļø | Tinkerer šØāš» | Blogger š
Julius Marozas @JuliusMarozas
44 Followers 584 Following PhD @ Chalmers Interested in Type Theory, Proof Assistants š Haskell š Agda āļø NixOS he/him
Zan Zendegi Azadi @dkuzg
16 Followers 357 Following
FTS @fishtreesugar
15 Followers 486 Following
kgkoutis @kgkoutis3
36 Followers 1K Following
Matthew Pagan @Mastapegs
2K Followers 5K Following Software Developer, TypeScript/Scala, Endlessly Learning
Harshal Patil @mistyHarsh
483 Followers 1K Following Large-scale web applications. Front-end @ Meister. Writing at WebF for the content beyond basics. Functional programming OCaml, Gleam, LISP, F#...
salkvus @salkvus
9 Followers 323 Following
Pierre Thierry @kephasp
265 Followers 841 Following My two commandments: love and truth (because Jesus). He/him. Finds peace in Functional Programming. CTPO/Lead Dev. Agile & DevOps expert.
Balaji Velaga @velaga_balaji
31 Followers 435 Following
.hs .rs @haskmancer
30 Followers 136 Following haskell for my soul, rust for my pleasure, scala for living, emacs for everything
Bruno Carballo Zama @brunocaza
181 Followers 757 Following
i_love_camel_case @iLoveCamelCase
1 Followers 38 Following A very caffeine dependent lifeform ā | creative coding enthusiast š§āš» | introvert with possible ADHD āØ
David Baynard @dbaynard
49 Followers 3K Following
Teerapat Prommarak @xeusteerapat
368 Followers 5K Following Software Engineer @ https://t.co/97cUnnKLy3 (Opinions are my own)
whatsgoingon @zhunzhun19
0 Followers 398 Following
Peter Storm @peterstorm_io
75 Followers 553 Following Senior Software Engineer by day, Lambda Mans trusty Haskell sidekick by night! ... not literally, but man it would be a trip to run around with mr. Wadler!
Ankit Baid @Jain_Ankit326
139 Followers 1K Following Lead Software Developer https://t.co/EqOqLJJmC3, Ex https://t.co/eOdpZFlFAN, https://t.co/IojQtq9OeH, https://t.co/ldGqznlOYN, https://t.co/FIO2H8kFV4
Retrospection @retros7723
30 Followers 474 Following Frontend Dev / Functional Progamming Learner / TypeScript Noob / exBytedancer
Refael Sheinker @refaelsh
91 Followers 357 Following Born in USSR. Emigrated to The Mighty Israeli Empire. Went to the Midrashiyat Agalil school. Arrived at the conclusion that Jewish Religion is the best.
Luc Tielen @luctielen
1K Followers 121 Following I tweet about functional programming and compilers. Building a high performance Datalog called āeclairā with Haskell and LLVM.
Igal Tabachnik @hmemcpy
11K Followers 533 Following Professional vibe coder. Scala / Rust š¦ (btw) Will you halt this eclipse in me?
JoĆ£o Forte Carvalho ... @bgamari
2K Followers 319 Following Director of Product @Constellation Network
Csaba Hruska @csaba_hruska
1K Followers 686 Following I'm into compilers and pure functional programming. I'm doing Research & Development. (GHC, LLVM, ASM, pointer analysis, optimization) FYI: Csaba ā¦ĖtĶ”ŹÉbÉā§
Oskar Wickstrƶm @owickstrom
5K Followers 739 Following Software engineer in rural exile by the sea.
gelisam @haskell_cat
1K Followers 308 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.
Rui Ueyama @rui314
52K Followers 345 Following Googleć½ććć¦ć§ć¢ćØć³ćøćć¢ / ć¹ćæć³ćć©ć¼ć大å¦é¢ć³ć³ćć„ć¼ćæćµć¤ćØć³ć¹āęč³ēę“»āć¹ćæć¼ćć¢ććåµę„ Open-source dev. ex-@Google. MS/CS at Stanford. Creator of the mold and lld linkers.
Omer van Kloeten š... @omervk
2K Followers 177 Following Principal Engineer @ForterGlobal | prev. WeWork, a few Exits, @plntxtoffenders | Opinionated but pragmatic | Privacy is a human right | Be kind | en/×¢×
š arnon @arnon86
706 Followers 2K Following building billing, ai agents, llms, cost tracking @ @paid_ai
Nicolas Beaussart @beaussan
2K Followers 2K Following I like to build stuff - father of two š¦š¦ - Teacher, Tinkerer, Cook - Senior Staff at @PayFitEng Ex @HasuraHQ - Nx Champion š - @traefik Ambassador
Jubilee ā£ļø @16pxl
283K Followers 206 Following FREE PALESTINE šµšø | LISTEN TO ninajirachi, frost children, misogi, and josetta | shop: https://t.co/snFtvoyO4p
gerald stratford @geraldstratfor3
269K Followers 2K Following Retired fisherman and Gardener heavy into growing big veg . buy my book Big Veg from Amazon, Waterstones, Blackwells, Hive, Foyles.
Tal Zelig @TalZelig
25 Followers 193 Following
Micah Cantor @micah_cantor
139 Followers 144 Following Software engineer @Rinse. Previously studied CS and math @GrinnellCollege. Interested in compilers, FP, web development Moved to bluesky
Prema-Ja @PremaJa_Art
38K Followers 527 Following Prema-Ja's art account, Illustrator, story artist, cat servant āļø email for work : [email protected]
Purrple Cat @purrplecat
20K Followers 258 Following help i'm trapped in a purple cat's body ā§ā į“„ā ā¦ š Links:
Olle Fredriksson @ollfredo
341 Followers 280 Following Joined to follow @plt_borat. Compilers and functional programming. https://t.co/jhXCQH3smp https://t.co/7w3hKa2yLJ
@[email protected] @cyberglot
3K Followers 2K Following š¦ human raccoon š¦ | latinx, autistic, queer, hyper sleepy | they/them | https://t.co/Cw5Cb716iq
bmbrby @bomberby
60 Followers 172 Following 夢ē/DEZERT/ććŗ/ć¶ć¢ć¶ć¢/ćććć/ćøć°ć¶ć° Eng/×¢××Ø/ę„ę¬čŖ
RakesĪ» Emmadi @rakesh_kky
213 Followers 308 Following Engineer at @PromptQL - @HasuraHQ || AI Agents || GraphQL, REST & SQL || Haskell, Rust & Python || @IITMadras Alumnus
William Yao @williamyaoh
392 Followers 122 Following Software Engineer. Formerly at @shoguninc, @earnin. I push around lambdas. https://t.co/bhaWXSJjg4ā¦
artificial_unintellig... @jkachmar
1K Followers 625 Following https://t.co/OUBoeLSA83 ā¢ https://t.co/TRSxTDPjh8 ā¢ we live in hell
Evie @evie_notfp
15 Followers 19 Following Private account of @evie_fp She/her š³ļøāā§ļø, likes girls
Antoine Leblanc @nicuveo
553 Followers 370 Following Friendly neighbourhood queer nerd. My cutie mark is a lambda. I'll never quote a movie again. They / them. AD: @oevucin
Anon Ray @rayanon
258 Followers 658 Following FP/Haskell. Engineering. Natural history enthusiast. | Work @HasuraHQ
Nathan Faubion @natefaubion
433 Followers 80 Following
Evie @evie_fp
897 Followers 318 Following She/they š³ļøāā§ļø Haskell, Rust, types // DMs are open
Clarota the cat @Clarota20
14 Followers 3 Following A stray cat who adopted us, and hope that we can adopt back. Clarota is definitely a cat and not an illithid.
Justine Tunney @JustineTunney
40K Followers 328 Following I built a C library that lets you compile 12kb static binaries that run natively on Linux, Mac, Windows, FreeBSD, OpenBSD, NetBSD and BIOS using just GCC/Clang.
Barry @chiroptical
555 Followers 276 Following Random functional programming content on https://t.co/JINGR9eNES; senior software engineer at @mercury; @chiroptical.dev on sky site
Bind The Gap @bind_the_gap
662 Followers 2 Following š Change here for the #FP line š° Modern and cosy #Haskell and FP monthly newspaper š by @kowainik @chshersh @vrom911
Haskell Foundation @haskellfound
5K Followers 59 Following https://t.co/fFbaw17S1M ā¢ a non-profit for building the future of Haskell
Juri @jurichome
64 Followers 94 Following
Production Haskell @prodhaskell
2K Followers 2 Following A book on pragmatic, professional Haskell development written by @mattoflambda. Follow this account to receive updates on the book's progress.
Richard Eisenberg @RaeHaskell
3K Followers 149 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
Ian Jeffries @seagreen__
595 Followers 237 Following
Troels Henriksen atha... @sigkill_dk
544 Followers 172 Following Hacker in academia. I think deterministic parallel programming is just great! I work on https://t.co/EDD6IfUdTw
Colin Woodbury @fosskers
597 Followers 120 Following SWE in Japan - I write a lot of Lisp and Rust. é½å ć§ę“»čŗ
ZuriHac @ZuriHac
2K Followers 48 Following Free yearly Haskell Hackathon in Zurich. Est. 2010. Next edition: 7-9 June 2025.
Lamdu project @LamduProject
168 Followers 2 Following
Evan Rutledge Borden @evanborden
324 Followers 310 Following Bassist, Haskeller, Fermentation Enthusiast, Cyclist, Muay Thai. Engineering Director @nearpod, he/him
Kowainik @kowainik
2K Followers 2 Following Anyone can change the world. We do. š OSS organization. #fp #haskell #Learn4Haskell Driven by @vrom911 Buy us a coffee āļø https://t.co/5Gs8Sz8s6F
jaspervdj (@functiona... @jaspervdj
3K Followers 371 Following Leftist, haskell stuff, and I care a lot about skateboarding and photography. Involved with @FugueHQ, @snyksec, @HaskellOrg, @ZuriHac and @icfpcontest2021.Trends for United States
78,1Ā B posts
33,9Ā B posts
77,5Ā B posts
1.162 posts
269Ā B posts
69,2Ā B posts
1.919 posts
8.594 posts
2.668 posts
3.451 posts
8.459 posts
32,7Ā B posts
36,1Ā B posts
11,2Ā B posts
11,4Ā B posts
1.010 posts
6.369 posts
4.292 posts
You might like
JoĆ£o Forte Carvalho ...
@bgamari
2K Followers
Haskell Foundation
@haskellfound
5K Followers
Matt Parsons
@mattoflambda
5K Followers
gelisam
@haskell_cat
1K Followers
Dmitrii Kovanikov
@ChShersh
48K Followers
Nikita Volkov
@NikitaYVolkov
1K Followers
Alejandro Serrano
@trupill
4K Followers
Neil Mitchell (neildm...
@ndm_haskell
5K Followers
Vladislav Zavialov
@int_index
2K Followers
Tikhon Jelvis
@tikhonjelvis
3K Followers
Tom Sydney Kerckhove
@kerckhove_ts
3K Followers
DadĆ2_jack
@Iceland_jack
3K Followers