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
23 Followers 1K Following
Kelose @Kelose62581
30 Followers 1K Following
Yu-ri Gordon @ryeorthekaiser
35 Followers 352 Following
usagi_zajec @usagi_zajec
12 Followers 308 Following
salim pamukcu @Salimp2009Salim
425 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
10 Followers 2K Following
Jens Petersen 🇵�... @juhp
627 Followers 1K Following [email protected]; @RedHat; @fedora Workstation, @FedoraI18n, @fedorahaskell, @teamsilverblue, @haskellstackage; he/him #stopgenocide
nhatanh @alittletyper
207 Followers 2K Following
HoloEd @HoloEd
85 Followers 1K Following
@[email protected]... @Axman6
438 Followers 939 Following Haskell hacker | ACT SES volley | Crypto(graphy: 👍 | currency: 👎) | 🦣@[email protected] | All views are my own. 🦋https://t.co/Epa8xNF124
Krishna Padmasola @placidex
90 Followers 2K Following
Steven Shaw @steshaw
1K Followers 623 Following Loves programming, programming languages, and type/build/dist/db systems! 🇬🇧🇦🇺👨💻 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
355 Followers 974 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
912 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
208 Followers 543 Following सनातन धर्म, संस्कृति और राष्ट्रभक्ति I write #Haskell Code #SoftwareEngineer Produce Devotional Songs #Musician
Sola Aina @_SolaAina_
42 Followers 102 Following
kalebu Gwalugano @j_kalebu
5K Followers 5K Following Building https://t.co/UI0aM88ELB and https://t.co/ri8g0Jsts1
Joe Crowder @toast_pop
13 Followers 550 Following
vilem ❌ @buggymcbugfix
824 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
595 Followers 436 Following Haskell enabler @Facebook, all views expressed are my own
Ozgun Ataman @ozataman
461 Followers 1K Following Founder/CEO of Soostone. CTO at https://t.co/PAPR53qw6D. Deep Neural Nets, ML in General, Causal Optimization, 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
84 Followers 708 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
431 Followers 443 Following
Ferran Pujol Camins @ferranpujolca
157 Followers 1K Following
JCesar @JElyphas
204 Followers 2K Following
Jean-Alexandre Barszc... @jabarszcz
67 Followers 552 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_
164 Followers 732 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
298 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
443 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
640 Followers 259 Following Not active here. Follow me on mastodon. @[email protected], @[email protected]. Founder FPIndia @functionalindia. Haskell, Purescript, Rust, JS
Steven Shaw @steshaw
1K Followers 623 Following Loves programming, programming languages, and type/build/dist/db systems! 🇬🇧🇦🇺👨💻 https://t.co/u1UnqzeigK https://t.co/KkRIYds9TA
Evan Rutledge Borden @evanborden
324 Followers 310 Following Bassist, Haskeller, Fermentation Enthusiast, Cyclist, Muay Thai. Engineering Director @nearpod, he/him
sigfig @sigfig
9K Followers 760 Following i saw a space ship blow up once and immediately decided i wanted to get in one
Yaron (Ron) Minsky @yminsky
16K Followers 340 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
Ian Jeffries @seagreen__
594 Followers 238 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
706 Followers 2K Following building billing, ai agents, llms, cost tracking @ @paid_ai
damianfral @pamojarpan
122 Followers 434 Following
sinan @_osa1
857 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
496 Followers 2K Following programmer, sysadmin, educator. occasionally also: typesetter, musician, photographer. puns. my own opinions. he/him.
Tikhon Jelvis @tikhonjelvis
3K Followers 250 Following I like programming languages. A lot. Tools, types and functions.
Ilan Godik @IlanGodik
357 Followers 501 Following Deep in Functional Programming and learning about Type Theory. Also interested in AI.
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.
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
652 Followers 740 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
808 Followers 608 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
