Haskell IDE team @IdeHaskell
Maintainers and collaborators of haskell-language-server and projects powering it github.com/haskell/haskel… Joined July 2021-
Tweets128
-
Followers551
-
Following14
-
Likes118
Here comes the Summer of #Haskell! We're planning to participate in @GoogleOSS's Summer of Code again this year! If you've any ideas on how #OSS newcomers could improve the ecosystem, please visit: summer.haskell.org/ideas.html We're waiting for your project submissions! #gsoc2022
But what is Flora? github.com/flora-pm/flora…
💯💯💯 Issue 300 of the #Haskell Weekly newsletter is out now! haskellweekly.news/issue/300.html
I'm very excited to announce that the Haskell Foundation has a DevOps position available, supporting GHC and core open source Haskell projects! Please take a look at haskell.foundation/careers/devops… and spread it around. This position is central in the Haskell ecosystem.
I was finally able to replace ghcid with a decent neovim + haskell-language-server setup and recorded a brief screencast of what it looks like: asciinema.org/a/PpJrWcd55jho…
Released VScode extension preview today. marketplace.visualstudio.com/items?itemName… Collecting feedback here: github.com/visortelle/hac…
Update: The haskell-cryptography (github.com/haskell-crypto…) organisation has been created for the purpose of keeping #Haskell's cryptography tooling up-to-date and improve the maintenance model. >>=
Update: The haskell-cryptography (github.com/haskell-crypto…) organisation has been created for the purpose of keeping #Haskell's cryptography tooling up-to-date and improve the maintenance model. >>=
Stackage Nightly moved to ghc-9.0.2, yay! stackage.org/nightly-2022-0… - thanks to @adambergmark This should pave the way for the coming Stackage LTS 19 release: great time to check all your needed packages are in Nightly
Compiler Tooling Task Force! discourse.haskell.org/t/announcement…
🛠️ A couple of years ago I wrote a thread on how I would approach developing a #Haskell IDE. Things improved a lot since then. Haskell has HLS now! 🧵 Today's thread is about potentially cool Haskell-specific IDE feature 💎
🛠️ A couple of years ago I wrote a thread on how I would approach developing a #Haskell IDE. Things improved a lot since then. Haskell has HLS now! 🧵 Today's thread is about potentially cool Haskell-specific IDE feature 💎
I finally got around to setting up haskell-language-server with neovim
I created a gist for how to set up VS Code with a Haskell language server (GHC 8.10.7) using Nix: gist.github.com/Gabriel439/b54…
New blog post by @mpickering_ on Multiple Home Units, which will improve GHCi and HLS on multi-component projects: well-typed.com/blog/2022/01/m…
Please mind that only 4⃣ days left to submit nominations discourse.haskell.org/t/call-for-has… The Haskell.org Committee accepts proposals till the end of 2021!
Tom Sydney Kerckhove @kerckhove_ts
2K Followers 418 Following Professional Weirdo Learning American Sign Language
Paweł Szulc @EncodePanda
3K Followers 644 Following Haskell, 范畴论, λ, Distributed Systems, Formal Methods
Alexander Granin @graninas
5K Followers 893 Following 📚 Author 🏗️ Software Architect 🎞️ FP 🧩 OOP 🎙️ Speaker 🔬 Researcher 🐪 OCaml ✒️📜🚀👽 Sci-fi&Poetry 🧠 Thinker Book: Functional Design and Architecture
🌸🐑 mlep🥛🌸 @yandereidiot
6K Followers 944 Following 🪬 Former CTO of @haskellfound 🧘 Core Eng Honcho @kadena_io 🪷 https://t.co/KikQ4pozJg 🐑 I love sheep ✨
Haskell Foundation @haskellfound
5K Followers 59 Following https://t.co/fFbaw17S1M • a non-profit for building the future of Haskell
sara :: panic! (the '.. @typed_hole
2K Followers 423 Following Video games, software engineering, functional programming, building bridges. Tweeting about whatever is on my mind! - Я вчу українську мову
Serokell @serokell
7K Followers 5K Following The most bizarre company with brave ideas of functional programming application. #Haskell #Nix #Elixir #Rust #Agda #ML #AI
Alejandro Serrano @trupill
4K Followers 481 Following 👨💻 Researcher at Kotlin Evolution Team 🧙♂️ Haskell wizard 📚 Author of 4 books 👨👩👦👦 +1 of @ElenaVielva
Chris Penner @chrislpenner
23K Followers 19K Following he/him | Optics By Example: https://t.co/WC3SHRY4Kl | Cunningham's law made manifest. | Building @unisonweb
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.
Wilfred Hughes @_wilfredh
3K Followers 3K Following Programming language development, human factors, and a healthy dose of Emacs. Also at https://t.co/faGheKE6VH
Haskell @HaskellOrg
13K Followers 61 Following Committed to a welcoming, vibrant & flourishing #Haskell community! Managed by @beatleida, @nikivazou & @jaspervdj on behalf of the https://t.co/1sy8nTHi9G Committee
Barry @chiroptical
570 Followers 294 Following Random functional programming content on https://t.co/JINGR9eNES; senior software engineer at @mercury; @chiroptical.dev on sky site
serenidad_monotropica @Fernand06180883
9 Followers 271 Following Cryptid 🌈 he/they/it? Autistic ADHD Hyperempathic HSP RSD Polyamorous Daydreamer Dreamatorium/Impro/roleplay/RPG Nomadic. My mind is open. Erdös Anarchy
Soso Ibn Ben Bakr Rus.. @PradoeSousa
342 Followers 1K Following Caucasiano. Direitista. Bolsonarista. Matemático. Corretor de imóveis. Armamentista!
Yongming Han @yongming_han
33 Followers 1K Following
PatrickWales @patpaterish
12 Followers 137 Following Open source • Haskell • Editor Structural equation🐣🐣🐣
facundo lucero @facundolucero0
33 Followers 169 Following
Bukenya Lukman @UgandanDev
851 Followers 4K Following Software Engineer, Data Scientist and ML Engineer. Research Enthusiast For NLP , Computer Vision and Compiler Design. PostGrad Student.
Leonardo Conrado @g0ttab3sl1ck
8 Followers 26 Following
zichaonickfox @zichaonickfox
149 Followers 99 Following
Jason Fain @JasonAlvaFain
77 Followers 242 Following Stros, Arsenal FC, Analytics, Data Science, DevOps, 🇵🇸
Albert @bertveng
100 Followers 559 Following Interested in algorithms, data structures, complexity, functional programming and free software supporter.
sam.. @kha448053853552
0 Followers 974 Following
Flipstone Technology @flipstonetech
112 Followers 41 Following Technology products to complement your offline world
Yuan Tang @futuresbd100
7 Followers 149 Following
awxuelong @awxuelong
109 Followers 1K Following Junior interested in the consilience of knowledge in artificial intelligence
Nathan Maxson @joyfulmantis
11 Followers 46 Following
spectrumgomas @spectrumgomas
388 Followers 2K Following
Joaquin Silveira @joacodso
44 Followers 113 Following Student, bit of a skater and LOVE music! No more details... :) Ah, and by the way i'm Uruguayan!
NoodleGlue @NoodleGlue
300 Followers 3K Following
Sulofs 🇲🇦 @LahrsNoah
37 Followers 402 Following Web dev. Learning to make music, Game sometimes. Interested in everything computer related
Wiktor Czyż @WiktorCzy5
1 Followers 46 Following
Mitesh @_Mitso_
14 Followers 347 Following
roadside_picnic @poadside_ricnic
13 Followers 2K Following
Sameer @SameerDeneb
274 Followers 3K Following Proud father of two daughters, husband, citizen Tweets about Computer, Software engineering, Math News (FR/UK/US) Bike is the future
Daniel Harvey @yevrahjleinad
357 Followers 1K Following Computer user in London. All opinions sadly my own. He/him.
Dominic Steinitz @idontgetoutmuch
419 Followers 376 Following @[email protected] Functional programming, Haskell, stochastic differential equations, MCMC, Sequential MC, dynamical systems
Rob Rix @rob_rix
5K Followers 944 Following colouring outside the lines increasingly, see at robrix at types dot pl instead
Galen Sprout @_lazyLambda
176 Followers 537 Following Haskell | NixOS | A collection of thoughts. Neuroscience researcher, data scientist and overall quirky entrepreneur. @augyg on github, @SimpleHaskell on youtube
FTS @fishtreesugar
14 Followers 463 Following
usagi_zajec @usagi_zajec
15 Followers 323 Following
Mega @Megamegamium
0 Followers 2K Following
Pedro era o Cão @orlandolopeses
923 Followers 5K Following Trogloditas líricos não levam desafloros pra casa
tobz619 = Tweeter {fN.. @tobz619
29 Followers 73 Following My professional Blockchain and Haskell account | Decentralisation is a tool!
OurWorlds @our_many_worlds
0 Followers 3K Following
torichan @torichan50
263 Followers 3K Following
zhang @yiqnzh
2 Followers 104 Following
Haskell Foundation @haskellfound
5K Followers 59 Following https://t.co/fFbaw17S1M • a non-profit for building the future of Haskell
Haskell @HaskellOrg
13K Followers 61 Following Committed to a welcoming, vibrant & flourishing #Haskell community! Managed by @beatleida, @nikivazou & @jaspervdj on behalf of the https://t.co/1sy8nTHi9G Committee
The Haskell Interlude @HaskelInterlude
457 Followers 6 Following This is the Haskell Interlude. A Haskell-focused podcast hosted by @nomeata, @kosmikus, @tritlo, @wouterswierstra, and @nikivazou.
Alan Zimmerman @alan_zimm
971 Followers 276 Following Long term hacker @[email protected] on fediverse
Matthew Pickering to @mpickering_
805 Followers 250 Following
July541 @JulyTreee
26 Followers 140 Following
pepe Iborra @IborraPepe
638 Followers 461 Following Haskell enabler @Facebook, all views expressed are my own
Neil Mitchell (neildm.. @ndm_haskell
5K Followers 169 Following Haskell/Rust programmer. Views expressed are my own.
Feeling more confident that Nix ought to be used to provide an environment, not used as a build system for your programming language. :)
Here comes the Summer of #Haskell! We're planning to participate in @GoogleOSS's Summer of Code again this year! If you've any ideas on how #OSS newcomers could improve the ecosystem, please visit: summer.haskell.org/ideas.html We're waiting for your project submissions! #gsoc2022
@IdeHaskell @wenkokke it’s just white text on the pale background — but it’s there :p
The GHC Steering Committee thanks @trupill for his two years of service on the committee!
Thanks as ever to the wonderful @jneira for managing the release! 👑
Time for a new and exciting release: - It includes three brand new plugins: - Alternate number literals - Qualify imported names - Selection range (aka double click text selection) - Support for ghc 9.2.1 (partial) - Support for ghc 9.0.2 github.com/haskell/haskel…
9.2.1 !!!!!!!!
Time for a new and exciting release: - It includes three brand new plugins: - Alternate number literals - Qualify imported names - Selection range (aka double click text selection) - Support for ghc 9.2.1 (partial) - Support for ghc 9.0.2 github.com/haskell/haskel…
But what is Flora? github.com/flora-pm/flora…
💯💯💯 Issue 300 of the #Haskell Weekly newsletter is out now! haskellweekly.news/issue/300.html
I really hope that @JetBrains_Fleet will be at least on par with VS Code as a language server backed IDE. I especially hope that I'll be able to use it with @IdeHaskell. The lightweight experience of VS Code with editor features and shortcuts of @intellijidea would be amazing
The Haskell Foundation is hiring a DevOps engineer. I'm fond of all the people I know who are involved with the Haskell Foundation and I imagine they'd be a pretty great org to work for while supporting Haskell and open source software: haskell.foundation/careers/devops…
I'm very excited to announce that the Haskell Foundation has a DevOps position available, supporting GHC and core open source Haskell projects! Please take a look at haskell.foundation/careers/devops… and spread it around. This position is central in the Haskell ecosystem.
I documented my Nix configuration for this using the following gist: gist.github.com/Gabriel439/61b…
I was finally able to replace ghcid with a decent neovim + haskell-language-server setup and recorded a brief screencast of what it looks like: asciinema.org/a/PpJrWcd55jho…
Now you can browse over reverse dependencies 🤩
Released VScode extension preview today. marketplace.visualstudio.com/items?itemName… Collecting feedback here: github.com/visortelle/hac…
Update: The haskell-cryptography (github.com/haskell-crypto…) organisation has been created for the purpose of keeping #Haskell's cryptography tooling up-to-date and improve the maintenance model. >>=
Anybody who has 1) A stake in up-to-date cryptography tooling in Haskell 2) The will to make sure the cryptography in Haskell doesn't get orphaned please ping me.
Stackage Nightly moved to ghc-9.0.2, yay! stackage.org/nightly-2022-0… - thanks to @adambergmark This should pave the way for the coming Stackage LTS 19 release: great time to check all your needed packages are in Nightly
Compiler Tooling Task Force! discourse.haskell.org/t/announcement…
@ChShersh HLS almost always does this (it's a suggested fix when you need extensions, and hlint is integrated to tell you when they are redundant)
@ChShersh HLS has this one for TH splices!
Trends for United States
You might like
