SF Haskell & Functional Programming User Group @sf_haskell
Bay Area Haskell & Functional Programming User Group. sfhaskell.com San Francisco Bay Area Joined December 2021-
Tweets74
-
Followers211
-
Following121
-
Likes89
SF Haskell & Functional Programming User Group retweeted
At @ZuriHac, our CEO Arseniy Seroka introduced our new Haskell certification program! Currently, we support certification for two skill levels: basic and intermediate, with advanced being in the works. More details on our website: certification.serokell.io
8
20
68
13K
20
Download Image
SF Haskell & Functional Programming User Group retweeted
. @FacundoDomngu12 recently improved the user experience for importing dependencies in Liquid Haskell codebases. He tells you how in his new blog post tweag.io/blog/2023-06-2…
If anyone is interested in a Nix meetup next week! :)
SF Haskell & Functional Programming User Group retweeted
Scala Center sprees are coming to the Bay Area all on 9th-10th June ! Get excited 👇🎉🌁🌉👇 cc @SethTisue @akmetiuk @ambantis 🙏 @sfscala @scalabase @ScaleByTheBay #scala #SanFrancisco @scala_lang 👇👇👇
Scala Center sprees are coming to the Bay Area all on 9th-10th June ! Get excited 👇🎉🌁🌉👇 cc @SethTisue @akmetiuk @ambantis 🙏 @sfscala @scalabase @ScaleByTheBay #scala #SanFrancisco @scala_lang 👇👇👇
SF Haskell & Functional Programming User Group retweeted
#scala talk by @NicolasRinaudo tomorrow online! Hope to see everyone! 👇
#scala talk by @NicolasRinaudo tomorrow online! Hope to see everyone! 👇
SF Haskell & Functional Programming User Group retweeted
Haskell folks - interested in joining the Haskell Foundation Board? There is currently an opening for up to four new members. Application deadline: 1st March 2023. tinyurl.com/29b8fbxy
SF Haskell & Functional Programming User Group retweeted
Hey, new blog just dropped, and it came with a new post also! 🙌🏻 Special thanks to @RobertWPearce and @domenkozar for their help! 😉 flaviocorpa.com/haskell-for-el…
SF Haskell & Functional Programming User Group retweeted
Nominations to the HF Board are due by the end of the month: discourse.haskell.org/t/2023-call-fo… If you don't think of yourself as the kind of person who would be on the HF board, but you have a sincere desire to help the Haskell community, please consider self-nominating.
SF Haskell & Functional Programming User Group retweeted
I was not aware this was primarily a Haskell meetup before agreeing to it, and now fully expect not to survive the experience.
I was not aware this was primarily a Haskell meetup before agreeing to it, and now fully expect not to survive the experience.
It gives us great pleasure to welcome #scala community very own @NicolasRinaudo to #sfhaskell with the talk: Things that are things, but not other things. Full details 👇 event will be online timezone friendly for all in USA Europe. #functionalprogramming meetu.ps/e/LTpRj/tYfRk/i
SF Haskell & Functional Programming User Group retweeted
Interested in learning Haskell? My introductory and advanced courses are available on YouTube, with new videos added each week as the courses progress (intro: tinyurl.com/haskell-notts, advanced: tinyurl.com/haskell-notts2). Now with subtitles!
SF Haskell & Functional Programming User Group retweeted
incredibly pleased to announce that @prodhaskell is done! big thanks to @bendotk for the wonderful cover art (generated by Haskell, of course)
incredibly pleased to announce that @prodhaskell is done! big thanks to @bendotk for the wonderful cover art (generated by Haskell, of course)
SF Haskell & Functional Programming User Group retweeted
I got nerd-sniped into rewriting the abandoned terraform-nixos project, so I spent my Friday evening creating terraform-nixos-ng There will be an announcement blog post coming up soon, but feel free to kick the tires on it before then: github.com/Gabriella439/t…
It gives us great pleasure to welcome @codynamorph to @sf_haskell #sfhaskell #meetup with an awesome talk: Who got some #Agda in my #Haskell? This event is both USA and EUROPE Timezone friendly online! RSVP and see everyone there! Full details👇👇 meetup.com/bay-area-haske…
Watch on #twitter 👇❤️
Any #haskell developers who use #nix on #macos can you help @domenkozar 👇🙏🙏👇
Any #haskell developers who use #nix on #macos can you help @domenkozar 👇🙏🙏👇
SF Haskell & Functional Programming User Group retweeted
SF Haskell & Functional Programming User Group retweeted
The introductory and advanced Haskell courses that I teach in Nottingham are now linked in from from the Haskell website :-) tinyurl.com/3cz6jat2
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
piq and 69 others @piq9117
3K Followers 1K Following 🇺🇸 • haskell • CEO @htmx_org • neovim extremist • competitive shooter
Paweł Szulc @EncodePanda
3K Followers 655 Following Haskell, 范畴论, λ, Distributed Systems, Formal Methods
Alexander Granin @graninas
7K Followers 869 Following 📚 Author 🏗️ Software Architect 🎞️ FP 🧩 OOP 🎙️ Speaker 🔬 Researcher ✒️📜🚀👽 Sci-fi&Poetry 🧠 Thinker 📖 Book: Functional Design and Architecture
Matt Teichman @ElucidationsPod
2K Followers 3K Following Host of the Elucidations Podcast. Programmer @ UChicago DLDC. CS Lecturer @ UChicago MPCS. Emergent Ventures fellow. Views mine. 🦒
Salar Rahmanian @SalarRahmanian
1K Followers 1K Following Software Engineer with interests in NixOS, Functional Programming/Scala & Swift Lang. Obsessed with ML/Ai - Subscribe my newsletter: https://t.co/OOT5hDILiL
Avi Press @avi_press
796 Followers 643 Following Founder @scarf_oss. Board @HaskellFound. Open source usage analytics.
justinhj 🇬🇧🇨... @justinhj
2K Followers 4K Following Canada guy. Father, husband and assistant to the dog. Principal Software Engineer. Current things: Zig, System arch, Neovim, Gen AI, Japanese. Former game dev.
Hilbert @CotswoldsQC
176 Followers 779 Following
joseluis @joseluis_f_m
14 Followers 229 Following
Dweeqcah @Dweeqcah168
31 Followers 390 Following
Renie @Renie588260
23 Followers 370 Following
NoTrbl @NoTrbl2u
22 Followers 161 Following Front-End Developer 👨💻 | Musician 🎹| Computer Music Engineer 💽 | Functional Programming Enthusiast🗼| Explorer in a sea of desirable programming paths🗺️
CarolBaker @Mi8a7z50japzE
74 Followers 3K Following
pluzeaux @pepeluze
8 Followers 194 Following
RetroCPUDude @retrocpudude
891 Followers 5K Following
Nicholas Papadonis @NickPapadonis
3 Followers 12 Following Computer Scientist and adventurer. Nick Papadonis.
Prateek Singh @LambdaDrama
1 Followers 129 Following
Király Roland @rolandkiraly_
9 Followers 80 Following
Mohammad Naqvi @MohammadNaqvi16
1 Followers 55 Following
Beardy_dev @beardy__dev
1 Followers 11 Following
qvmp8evv @qvmp8evv39250
2 Followers 106 Following
Lisa Marie @LisaMar40254576
240 Followers 7K Following
Alexandra Ispas @petree3n
1 Followers 51 Following
Daniel Bekoloh @DBekoloh
182 Followers 210 Following "Python enthusiast | Building clean and scalable code | Passionate about financial analysis , data analysis, Web developer (Flask). Co-Founder Lumina Host
Taksh Chanana @takshchh
252 Followers 1K Following SDE (Full Stack) | React.js, Next.js, Node.js, Express.js, MySQL. (Passionate aeromodeller)
seeekeruser805 @seekeruser805
1 Followers 72 Following
Ali Kaan Arbay @KaanArbay3436
1 Followers 35 Following
Seggy Umboh @secobarbital
239 Followers 871 Following
Deepak Jha @deepakj52750083
6 Followers 271 Following Functional programmer| Haskeller| Philomath| Software engineer| Msc computer science @PUCSD| #haskell
Linguagem Potigol @potigol
4K Followers 7K Following Linguagem de programação funcional para iniciantes - Functional programming language for novices
shira @Shiarab0081
18 Followers 154 Following
LOL@TXwitterFASCIST @stphrolland
880 Followers 7K Following I am Earthling-European ⁂⧖⏚ #NotMyHumanity Anti-Science of Fascist Human-Apes= We are the best, all the others are fools, let's shut their mouth, muhuhahaha !!
Dioney Becker @dioneybecker
55 Followers 443 Following
Dr. Edu 🐾 @dreduphd
714 Followers 579 Following Informático por profesión. Científico en computación por vocación; lingüista computacional por elección. Machine Learning Infrastructure engineer por necesidad.
TralahM ﲏ . @TralahM
124 Followers 484 Following Software Craftsman, Toolsmith. #Rust, #Python, #Go, #Scala, #Flutter
Bolha Funcional @BolhaFunc
71 Followers 56 Following Use a hashtag #bolhafunc ou marque @BolhaFunc para ser retweetado.
Soso Ibn Ben Bakr Rus... @AdArmaCives
1K Followers 4K Following Caucasian. wrightwinger. Georgian Legionaire. Matematician. War veteran. RUST/SCALA/HASKELL/R. Weapons, NRA!
juanp @juanp6136379656
0 Followers 10 Following
Amara @Amara360784
29 Followers 1K Following
bng @bgngb
254 Followers 1K Following
jim li （断翅之�... @linux_ai_rust1
74 Followers 868 Following 我身有疾病，药物续命，缘分让你我相遇，善良的您可以资助我一下，普通的食品和衣服对我来说都是很实在的帮助
Lewis Brown @lewiswbrown
339 Followers 3K Following dev (haskell👍), trader, homesteading farmer, #voluntaryist. evolutionary complex systems & the illusion of control likes + retweets are 🤔, maybe 👍
HF.gold @MartinT39957295
9 Followers 3K Following
cccbbbbb @Chardesignstuff
301 Followers 3K Following
Nicholas Groesch @profTweedles
1 Followers 7 Following
Gabriel Bernal @gabpmcp7
41 Followers 327 Following
cgiannakopoulos @chris_giannako
64 Followers 357 Following Software Engineer. Once a mathematician always a mathematician.
Gentleman Jim Corbett @chet3030
188 Followers 562 Following
Dmitrii Kovanikov @ChShersh
42K Followers 204 Following Dysfunctional Programming account #1. Senior SWE at Bloomberg. I write C++ for money. ex-Haskell, ex-OCaml. All opinions are my own.
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 🏳️⚧️
Tweag @tweagio
6K Followers 244 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.
Alejandro Serrano @trupill
4K Followers 481 Following 👨💻 Researcher at Kotlin Evolution Team 🧙♂️ Haskell wizard 📚 Author of 4 books 👨👩👦👦 +1 of @ElenaVielva
Bartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Graham Hutton @haskellhutt
8K Followers 697 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Domen Kožar @domenkozar
5K Followers 1K Following ❄️ Mainstreaming Nix. 💬 https://t.co/wDdH7BL1B5 🌲 @cachix_org founder 💻 https://t.co/mvAnLW2bGd 🌊 https://t.co/KiomSAWa5J
piq and 69 others @piq9117
3K Followers 1K Following 🇺🇸 • haskell • CEO @htmx_org • neovim extremist • competitive shooter
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.
Matti Palli 🧙�... @tritlo
3K Followers 2K Following uncertified haskell engineer | certified researcher
Paweł Szulc @EncodePanda
3K Followers 655 Following Haskell, 范畴论, λ, Distributed Systems, Formal Methods
Matt Parsons @mattoflambda
5K Followers 523 Following Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
Alexander Granin @graninas
7K Followers 869 Following 📚 Author 🏗️ Software Architect 🎞️ FP 🧩 OOP 🎙️ Speaker 🔬 Researcher ✒️📜🚀👽 Sci-fi&Poetry 🧠 Thinker 📖 Book: Functional Design and Architecture
Oli Dinov 💙 @olidinov
2K Followers 328 Following AI By the Bay | Nov 17-19, Oakland, CA | host @devrelradio
Michael Snoyman @snoyberg
6K Followers 546 Following Programmer, economist, author, speaker, weight lifter, Bitcoin enthusiast. Born in 🇺🇸, living in 🇮🇱 עזרי מעם ה' עושה שמים וארץ
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
Eric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
Matt Teichman @ElucidationsPod
2K Followers 3K Following Host of the Elucidations Podcast. Programmer @ UChicago DLDC. CS Lecturer @ UChicago MPCS. Emergent Ventures fellow. Views mine. 🦒
Samuel Feitosa @SS_Feitosa
5 Followers 136 Following
Functor Fact @FunctorFact
26K Followers 6 Following Functional programming and category theory tweets from @JohnDCook
Yuri Pavlov ✡️ �... @yuripav2002
101 Followers 2K 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!
v @visarz
1K Followers 4K Following
Silicon Valley Nix / ... @svnixug
101 Followers 52 Following Silicon Valley Nix / NixOS User Group. We organize talks , hackathons and events for Nix / NixOS developers, contributors and users in Silicon Valley.
Mihai Maruseac @mihaimaruseac
2K Followers 2K Following Supply chain security @ Google OSS Security Team. Previously TensorFlow Security & OSS (@ Google); Haskell+differential privacy+ML @ LeapYear. Views my own
Raúl Raja @raulraja
5K Followers 2K Following Interested in AI, Functional Programming & Formal verification. CTO @AIPredictable
🌑 Qamarade Hécate... @TechnoEmpress
2K Followers 1K Following People can't do functional programming if they're getting carpet bombed.
harry 🏳️🌈 @no_harry_stop
1K Followers 2K Following
Alexis King @lexi_lambda
12K Followers 22 Following computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢
KirinDave has left fo... @KirinDave
5K Followers 2K Following + https://t.co/EtjGj9zcht + Software Eng&Management + Making & Art + Google SRE + Not a fan of this Capitalism + they/them Solidarity w/ Ukranians
Avi Press @avi_press
796 Followers 643 Following Founder @scarf_oss. Board @HaskellFound. Open source usage analytics.
Rok Garbas @garbas
1K Followers 115 Following Nix, Elm, Python, Rust developer. Developer relations, marketing and community. Senior Software Engineer at Flox. Still excited when things work.
Jorge Galindo @Jorge__Galindo
5K Followers 969 Following Serial entrepreneur (1 exit) | Building @aipredictable | Helping to @Hamiltoncoding | Rocking with @onerecordclub & Disfruton 🤘.
Nadeem Bitar @shinzui
568 Followers 1K Following Technologist • Software engineer • Engineering leader • Product developer • Photographer • Swimmer • Japanophile • Lover of beautiful things.
Conrad Taylor #BlackL... @conradwt
820 Followers 3K Following Conrad Taylor | Software Engineer | Computer Scientist | Mathematician | Mentor | Traveler | U.S. Marine Veteran | Foodie @ https://t.co/AAwfJ0wIsN
Heneli @henelidotdev
134 Followers 926 Following Haskeller, Alum @recursecenter Sp2'17, alt: @anthrolawnmower
Alfonso Siciliano @alfsiciliano
634 Followers 254 Following Software developer, #UNIX and #FreeBSD enthusiast.
Rob Rix @rob_rix
4K Followers 851 Following colouring outside the lines increasingly, see at robrix at types dot pl instead
Torsten Scholak @tscholak
2K Followers 3K Following Lead Research Scientist, Foundation Models Lab @ServiceNowRSRCH. Opinions are not that of my employer.
Sukant Hajra (shajra@... @shajra
1K Followers 621 Following Twitter has lost my confidence. Find me via Mastodon at https://t.co/LGYhe2rMga. Find me via Bluesky at https://t.co/57A4j6VKO3.
Ozgun Ataman @ozataman
447 Followers 1K Following Founder/CEO of Soostone. CTO at https://t.co/PAPR53qw6D. Probabilistic reasoning, ML, Haskell/FP and building good software.
srini @srini98969145
17 Followers 1K Following
Neil Mitchell (neildm... @ndm_haskell
5K Followers 165 Following Haskell/Rust programmer. Views expressed are my own.
Taylor Fausak @taylorfausak
2K Followers 91 Following
João Forte Carvalho ... @bgamari
2K Followers 314 Following Director of Product @Constellation Network
Serokell @serokell
7K Followers 5K Following The most bizarre company with brave ideas of functional programming application. #Haskell #Nix #Elixir #Rust #Agda #ML #AI
NixOS @nixos_org
12K Followers 87 Following
The Haskell Interlude @HaskelInterlude
585 Followers 11 Following This is the Haskell Interlude. A Haskell-focused podcast hosted by @nomeata, @kosmikus, @tritlo, @wouterswierstra, @nikivazou, @hgoldstein95, +Sam @PLRG_bristol
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.
Haskell Weekly @haskellweekly
7K Followers 349 Following Haskell Weekly is a hand-picked weekly digest of Haskell news.
Functor Punk @kaijuTheSnack
108 Followers 237 Following Haskeller by day, pet dad by night. All opinions posted are my own. He/him.
softinio @softinio
5 Followers 5 Following Follow me: @SalarRahmanian or on Mastedon: @[email protected] or subscribe to my newsletter: https://t.co/GzLQVuv7xJ
Ruben Berenguel, PhD @berenguel
1K Followers 643 Following Maths PhD | SRE-SWE @google | My tweets | Spark, Scala, Python, Go | Wardley mapping | @PyBcn | Also at [email protected]
Jonas Chevalier 🦙 @zimbatm
1K Followers 437 Following I like to build things. Helping companies adopt Nix at @Numtide Author of direnv. Bluesky: https://t.co/xFLNmjtCKf DMs are open!
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
Trends for United States
84,9 B posts
77,4 B posts
202 B posts
57,9 B posts
254 B posts
68,4 B posts
200 B posts
24,7 B posts
4.256 posts
41,9 B posts
56 B posts
5.789 posts
14,6 B posts
5.406 posts
5.597 posts
6.501 posts
3.383 posts
3.099 posts
You might like
Dmitrii Kovanikov
@ChShersh
42K Followers
gelisam
@haskell_cat
1K Followers
Tikhon Jelvis
@tikhonjelvis
3K Followers
Tom Sydney Kerckhove
@kerckhove_ts
3K Followers
Serokell
@serokell
7K Followers
Shayne Fletcher 🥝
@shayne_fletcher
496 Followers
Chris Smith
@cdsmithus
615 Followers
John A De Goes
@jdegoes
18K Followers
Evolu | local-first t...
@evoluhq
3K Followers
James Brock
@jamesdbrock
594 Followers
Functional Programmin...
@FunctionalIndia
516 Followers
Dad×2_jack
@Iceland_jack
3K Followers
Functional Scala 2024
@FunScalaConf
3K Followers