gilmi @_gilmi
Mostly programming and Haskell. He/Him. 📕 https://t.co/xEErboAizd ⚡ https://t.co/ShceOZc3Y3 gilmi.me Joined June 2015-
Tweets4K
-
Followers883
-
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?
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 426 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
Luc Tielen @luctielen
1K Followers 123 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 • competitive shooter
Michael Snoyman @snoyberg
6K Followers 546 Following Programmer, economist, author, speaker, weight lifter, Bitcoin enthusiast. Born in 🇺🇸, living in 🇮🇱 עזרי מעם ה' עושה שמים וארץ
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
Arian van Putten @ProgrammerDude
4K Followers 2K Following I perform @nixos_org witchcraft at @mercury
gelisam @haskell_cat
1K Followers 308 Following AI Safety ∩ Programming Language Theory. Professional Haskell developer 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
Birdgg @Bird_Eggegg
279 Followers 1K Following
Rhonda Shannon @rhonda_sha22130
3 Followers 172 Following Recruiting webshell engineers to penetrate websites, with a monthly salary of up to $100,000. If interested, please contact https://t.co/dUyqeIITLf
alexandr& @imxano
92 Followers 457 Following
Yves Muya-Benda @yvesmuyabenda
199 Followers 839 Following
crlinecutettffh @celinexute29383
10 Followers 483 Following
ALL-Angelina @Teyse678962
18 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
80 Followers 305 Following I walked away from the leaf… and straight into $SNEK. No regrets. Welcome to the cult within the cult. 🐍
Chitradeep Dutta Roy @0xcddr
72 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
231 Followers 519 Following A Geek Who Loves his Work, Family, & Friends and Strongly Believe in Humanity.
Juan Carlos Claros @jcclaros
197 Followers 3K Following
Alex @randhufflepuff
101 Followers 2K Following
Alexander Codes @alexander_codes
920 Followers 2K Following Data Engineer ⌨️ | Tinkerer 👨💻 | Blogger 📖
Julius Marozas @JuliusMarozas
44 Followers 583 Following PhD @ Chalmers Interested in Type Theory, Proof Assistants 🐋 Haskell 🐔 Agda ❄️ NixOS he/him
Zan Zendegi Azadi @dkuzg
17 Followers 357 Following
FTS @fishtreesugar
15 Followers 487 Following
kgkoutis @kgkoutis3
36 Followers 1K Following
Matthew Pagan @Mastapegs
2K Followers 5K Following Software Developer, TypeScript/Scala, Endlessly Learning
Harshal Patil @mistyHarsh
474 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 324 Following
Pierre Thierry @kephasp
264 Followers 837 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
32 Followers 434 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
184 Followers 759 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
371 Followers 5K Following Software Engineer @ https://t.co/97cUnnKLy3 (Opinions are my own)
whatsgoingon @zhunzhun19
0 Followers 398 Following
Peter Storm @peterstorm_io
74 Followers 554 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
138 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
31 Followers 473 Following Frontend Dev / Functional Progamming Learner / TypeScript Noob / exBytedancer
Refael Sheinker @refaelsh
90 Followers 353 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.
Guillermo Granado @999UILLE
72 Followers 912 Following
Here 4 the Musk self ... @efvincent
209 Followers 635 Following Twitter: the most entertaining dumpster fire in recent memory. Looking forward to the movie in a couple of years. I hope they get Danny Devito to play Musk.
Luc Tielen @luctielen
1K Followers 123 Following I tweet about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.
João Forte Carvalho ... @bgamari
2K Followers 314 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ɒ⟧
gelisam @haskell_cat
1K Followers 308 Following AI Safety ∩ Programming Language Theory. Professional Haskell developer at https://t.co/qG4jsBEIIO, opinions are my own.
Rui Ueyama @rui314
52K Followers 343 Following Googleソフトウェアエンジニア / スタンフォード大学院コンピュータサイエンス→投資生活→スタートアップ創業 Open-source dev. ex-@Google. MS/CS at Stanford. Creator of the mold and lld linkers.
Omer van Kloeten 🎗... @omervk
2K Followers 176 Following Principal Engineer @ForterGlobal | prev. WeWork, a few Exits, @plntxtoffenders | Opinionated but pragmatic | Privacy is a human right | Be kind | en/עב
🐀 arnon @arnon86
705 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
285K Followers 201 Following FREE PALESTINE 🇵🇸 | FUCK EL*N M*SK | LISTEN TO janeremover, misogi, and josetta | shop: https://t.co/snFtvoyO4p
gerald stratford @geraldstratfor3
270K 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
138 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
37K Followers 530 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
340 Followers 281 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
Rakesλ Emmadi @rakesh_kky
213 Followers 306 Following Engineer at @PromptQL - @HasuraHQ || AI Agents || GraphQL, REST & SQL || Haskell, Rust & Python || @IITMadras Alumnus
William Yao @williamyaoh
391 Followers 122 Following Software Engineer. Formerly at @shoguninc, @earnin. I push around lambdas. https://t.co/bhaWXSJjg4…
artificial_unintellig... @jkachmar
1K Followers 627 Following https://t.co/OUBoeLSA83 • https://t.co/TRSxTDPjh8 • we live in hell
Antoine Leblanc @nicuveo
551 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
434 Followers 80 Following
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 326 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
558 Followers 277 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 231 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
598 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 309 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
182 B posts
47,2 B posts
61,3 B posts
169 B posts
198 B posts
38,7 B posts
62,5 B posts
7.081 posts
53,1 B posts
4.674 posts
4.881 posts
6.150 posts
4.558 posts
5.140 posts
127 B posts
36,1 B posts
3.048 posts
2.449 posts
8.932 posts
2.381 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
42K Followers
Veronika Romashkina
@vrom911
3K Followers
Nikita Volkov
@NikitaYVolkov
1K Followers
Alejandro Serrano
@trupill
4K Followers
Andres Löh
@kosmikus
3K 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