Haskell @ SQream @sqream_haskell
A bunch of Haskell engineers at SQream building cool things with GPUs and functional programming sqream.com Tel Aviv Joined July 2017-
Tweets80
-
Followers134
-
Following91
-
Likes115
Much like learning functional programming and Haskell, I've found practicing property-based testing a HUGE return on investment. It takes the concept of fearless implementation and refactoring to even higher levels. I recommend this to any programmer using any language!
Come join our #Haskell Meetup at Tel Aviv on 21/1/19! meetup.com/Tel-Aviv-Yafo-…
It's official: the Glorious Glasgow #Haskell Compiler is now hosted on #GitLab. See ghc-devs for details. Thanks to everyone who has helped in the migration effot mail.haskell.org/pipermail/ghc-…
We are hosting a #Haskell Meetup at our Tel Aviv offices next month (Jan 2019)! We'd like to give others the opportunity to present a Haskell related session/talk. If you're interested in presenting - we'll be happy to host you. Contact us via DM or E-mail: [email protected]
So what interesting things happened in Haskell this year?
.@CMUDB Hardware Accelerated Database Lectures Video #3 - @SQreamTech by Jake Wheat + Arnon Shimoni (youtube.com/watch?v=bSYFwd…)
A new post about how the #haskell refactoring and maintenace story is saving us time in the future - alasconnect.github.io/blog/posts/201…
Haskell Study Plan github.com/soupi/haskel-s…
It took @GitHubEng a year to upgrade from Rails 3.2 to 5.2. It took us (@itprotv) one day to upgrade our #Haskell application from GHC 8.0.2 to GHC 8.4.3! 😀 engineering.itpro.tv/2018/09/28/has…
SQream DB v3.0 leads the way, with the most powerful and flexible GPU-accelerated data warehouse. Find out more at hubs.ly/H0dNy020
Top 5 Cool Features I Love in SQream DB #GpuDatabase hubs.ly/H0dj-3L0
me to my boss: we should use Haskell because it's fast, correct, and has great library support me to me: we should use haskell because it's purple
me to my boss: we should use Haskell because it's fast, correct, and has great library support me to me: we should use haskell because it's purple
@PttPrgrmmr For everyone else: Difference lists rewrite (xs ++ ys) ++ zs to the faster xs ++ (ys ++ zs) Yoneda rewrites fmap f . fmap g . fmap h to the faster fmap (f . g . h) Codensity rewrites (mx >> my) >> mz to the faster mx >> (my >> mz)
"many engineers and DBAs say, 'we don’t use JOINs here' – simply because the current data platform isn’t designed to handle them. There IS another way." Read more about why SQream's Product Manager Galit Elad is not afraid of joins - hubs.ly/H0d7wlX0
Hila Noga on Training Functional Programmers, a Role Playing Story. Awesome! @FLIPCon
Referential Transparency in the wild. Or why should you care about RT. Thread.
A final draft of our paper Build Systems a la Carte is now online, so I thought it would be good to share a bit about how we wrote it: neilmitchell.blogspot.com/2018/07/inside… (with co-authors @andreymokhov and @simonpj0)
The best thing, like number one by far, that I like about #haskell is that it's sooo easy to refactor! I can just write some crap code to get stuff working and figure stuff out and come back to it later and refactor with such ease that no other language provides.
Yleermarx @Yleermarx20626
25 Followers 971 Following
Kelose @Kelose62581
31 Followers 1K Following
Yu-ri Gordon @ryeorthekaiser
33 Followers 351 Following
usagi_zajec @usagi_zajec
12 Followers 307 Following
salim pamukcu @Salimp2009Salim
424 Followers 2K Following @[email protected] C++🚀🚀 & 🦀🦀 Self Learning Programmer C++23+, Rust , Haskell, Linux, vim/nvim, Lunarvim,... 🙈
Serokell @serokell
7K Followers 5K Following The most bizarre company with brave ideas of functional programming application. #Haskell #Nix #Elixir #Rust #Agda #ML #AI
roadside_picnic @poadside_ricnic
12 Followers 2K Following
Jens Petersen 🇵�... @juhp
626 Followers 1K Following [email protected]; @RedHat; @fedora Workstation, @FedoraI18n, @fedorahaskell, @teamsilverblue, @haskellstackage; he/him #stopgenocide
nhatanh @alittletyper
199 Followers 2K Following
HoloEd @HoloEd
74 Followers 1K Following
@[email protected]... @Axman6
436 Followers 937 Following Haskell hacker | ACT SES volley | Crypto(graphy: 👍 | currency: 👎) | 🦣@[email protected] | All views are my own. 🦋https://t.co/Epa8xNF124
Krishna Padmasola @placidex
89 Followers 2K Following
Steven Shaw @steshaw
1K Followers 609 Following Loves programming, PLs, & all-the-systems: type, build, dist, & db! 🇬🇧🇦🇺👨💻 https://t.co/u1UnqzeigK https://t.co/KkRIYds9TA
☓ @__this_username
0 Followers 1K Following
Adam Flott @adamflott
105 Followers 1K Following
Marek Fajkus @turbo_MaCk
352 Followers 973 Following The cosmos is all that is or ever was or ever will be.
🌑 Qamarade Hécate... @TechnoEmpress
2K Followers 1K Following People can't do functional programming if they're getting carpet bombed.
Robin Bate Boerop @robinbateboerop
913 Followers 2K Following Software Team Leadership Consultant. Mission: show the world a better way to make software. I make winning teams with hands-on leadership.
Deepak Kapiswe @deepakkapiswe
209 Followers 542 Following सनातन धर्म, संस्कृति और राष्ट्रभक्ति I write #Haskell Code #SoftwareEngineer Produce Devotional Songs #Musician
Sola Aina @_SolaAina_
43 Followers 103 Following
kalebu Gwalugano @j_kalebu
5K Followers 5K Following Building https://t.co/UI0aM88ELB and https://t.co/ri8g0Jsts1
Joe Crowder @toast_pop
15 Followers 549 Following
vilem ❌ @buggymcbugfix
823 Followers 1K Following programming language theory & practice • PhD with @dorchard ongoing • agroecology • no-till • dad to a child on the spectrum • Goodhart's law is real
pepe Iborra @IborraPepe
593 Followers 435 Following Haskell enabler @Facebook, all views expressed are my own
Ozgun Ataman @ozataman
446 Followers 1K Following Founder/CEO of Soostone. CTO at https://t.co/PAPR53qw6D. Probabilistic reasoning, ML, Haskell/FP and building good software.
Michael Oswald @OswaldChocolate
113 Followers 569 Following Space Enthusiast, Senior Specialist at Terma, Consciousness Research, Musician, Integral Theory Nerd, Amatsu Ryoho Teacher, views are my own
Josh Burgess @_joshburgess
2K Followers 5K Following Programmer into FP, Haskell, Rust, PureScript, OCaml, TypeScript and music (prog rock/metal, jazz fusion), mountains, hiking, grassroots motorsports, etc.
Reggie Perry @reggieperry
81 Followers 707 Following Just tryin to strive, to seek, to find, and not to yield. 山外有山 人外有人
Matt Teichman @ElucidationsPod
2K Followers 3K Following Host of the Elucidations Podcast. Programmer @ UChicago DLDC. CS Lecturer @ UChicago MPCS. Emergent Ventures fellow. Views mine. 🦒
Yair Chuchem @yairchu
430 Followers 442 Following
Ferran Pujol Camins @ferranpujolca
158 Followers 1K Following
JCesar @JElyphas
204 Followers 2K Following
Jean-Alexandre Barszc... @jabarszcz
67 Followers 553 Following FP polyglot, PhD student at @umontrealDIRO, interested in programming languages, dependent types, metaprogramming. He/him. λ🚶♂️→🛴 🚶♂️
ggbozzo #BLM #ANTIFA @ggbozzo
361 Followers 5K Following
Zuka @_rabzu_
162 Followers 731 Following founder @ https://t.co/UYFQEdTxGK 📺 computer science @ oxford, scala, fp, ml and software engineering
Mariano Bertoni @mariano_bertoni
188 Followers 4K Following
Maris @Marutks
1K Followers 5K Following I am a software engineer who works as Clojure developer. #clojure #emacs. 🇬🇧 / 🇱🇻 #StandWithUkraine 🇺🇦
sy @yuanpt
37 Followers 1K Following
bradford 🦀 @BradfordToney
293 Followers 2K Following building projects @cassiefinance | posting my thoughts 🧐 @ https://t.co/7qFbIPdw0O
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
Simon Peyton Jones @simonpj0
5K Followers 3 Following
Tzah Mama @TzahMama
4 Followers 30 Following
John Ky @newhoggy
440 Followers 1K Following
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.
Gerardo @GerardoNunez
262 Followers 2K Following (Typed) Functional programming enthusiast. Haskell, Purescript.
@[email protected]... @ajnsit
641 Followers 259 Following 私わ फलंकारी Functional प्रोग्रामर. Concur UI framework. FPIndia @functionalindia. Haskell, Purescript, Rust, JS. On mastodon @[email protected]
Steven Shaw @steshaw
1K Followers 609 Following Loves programming, PLs, & all-the-systems: type, build, dist, & db! 🇬🇧🇦🇺👨💻 https://t.co/u1UnqzeigK https://t.co/KkRIYds9TA
Evan Rutledge Borden @evanborden
324 Followers 308 Following Bassist, Haskeller, Fermentation Enthusiast, Cyclist, Muay Thai. Engineering Director @nearpod, he/him
sigfig @sigfig
9K Followers 763 Following i saw a space ship blow up once and immediately decided i wanted to get in one
Yaron (Ron) Minsky @yminsky
15K Followers 335 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
Ian Jeffries @seagreen__
594 Followers 230 Following
Functional Geekery @fngeekery
3K Followers 199 Following A podcast on Functional Programming, covering topics across multiple languages. Hosted by @stevenproctor.
Loch Nessa Monster�... @pasiphae_goals
4K Followers 2K Following Applications to be my first ex-husband now being accepted. en/fr/de.
🐀 arnon @arnon86
703 Followers 2K Following building billing, ai agents, llms, cost tracking @ @paid_ai
damianfral @pamojarpan
122 Followers 433 Following
sinan @_osa1
862 Followers 277 Following
Mark Hopkins @antiselfdual
1K Followers 2K Following Maths PhD, Haskeller, @symbolica @SydneyTypes @SydneyPaperClub Passionate thaumatoneirodule, entry-level hypnerotomachist
@[email protected] @cyberglot
3K Followers 2K Following 🦝 human raccoon 🦝 | latinx, autistic, queer, hyper sleepy | they/them | https://t.co/Cw5Cb716iq
Senior Oops Engineer @ReinH
20K Followers 2K Following doin capitalism a frighten, https://t.co/mROKLREFXT deleted my bsky account because of the racism don't ask me to come back
Charles Strahan @charlesstrahan
368 Followers 2K Following Polyglot Software Developer. Open Source / NixOS contributor.
Elliot Cameron @eacameron88
103 Followers 223 Following Hoper in the resurrection of the dead by Jesus' power. Lover of my wife Kassie.
Alfredo Di Napoli @alfredodinapoli
413 Followers 294 Following 34-year-old Computer Scientist, Zen Coder (wanna-be), Vim/Emacs user, FP lover, Haskell hacker.
Jashank Jeremy @jashankj
482 Followers 2K Following programmer, sysadmin, educator. occasionally also: typesetter, musician, photographer. puns. my own opinions. he/him.
Tikhon Jelvis @tikhonjelvis
3K Followers 248 Following I like programming languages. A lot. Tools, types and functions.
Ilan Godik @IlanGodik
355 Followers 499 Following Deep in Functional Programming and learning about Type Theory. Also interested in AI.
gelisam @haskell_cat
1K Followers 307 Following AI Safety ∩ Programming Language Theory. Professional Haskell developer at https://t.co/qG4jsBEIIO, opinions are my own.
Chris Penner @chrislpenner
21K Followers 17K Following he/him | Optics By Example: https://t.co/WC3SHRY4Kl | Cunningham's law made manifest. | Building @unisonweb
Kris Jenkins (@krisaj... @krisajenkins
5K Followers 1K Following Host of Developer Voices, lifelong programmer, producer of bleepy-bloop noises.
Jacob Stanley @jacobstanley
648 Followers 739 Following Take more smaller risks. Hedgehog will eat all your bugs.
@[email protected] @raichoo
2K Followers 0 Following Just squatting my account name. This place is death. Mastodon: https://t.co/xgTzpHugqa, https://t.co/OpbxzrzJzU
Gary Fixler 🗹 @gfixler
806 Followers 606 Following
Taylor Fausak @taylorfausak
2K Followers 91 Following
Brian McKenna @puffnfresh
8K Followers 2K Following Computational trinitarianist. Talk to me about programming languages. The parrot is real. λΠ
Phil Freeman @paf31
5K Followers 262 Following
deech @deech
5K Followers 1K Following
Matt Parsons @mattoflambda
5K Followers 522 Following Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!Trends for United States
You might like
