Horizon Haskell - Haskell Package Publishing @horizonhaskell
Join Matrix: https://t.co/SbK1wCmcCW By @locallycompact horizon-haskell.net Joined March 2023-
Tweets30
-
Followers70
-
Following4
-
Likes8
Version 0.14.0 of the dhall horizon-spec is out. store.horizon-haskell.net View the ChangeLog here: gitlab.horizon-haskell.net/dhall/horizon-…
Just released `ghc-common-hadrian-0.4.0`. This is a flake-parts module that can use the nixpkgs-provided `common-hadrian.nix` function to build GHC versions from 9.4 onwards just using module options. gitlab.horizon-haskell.net/nix/ghc-common…
Just upgraded from a 50GB @cachix_org to 250GB due to cache misses on older compilers! Hope it's enough space now!
Horizon Haskell now has markdown reports of supplied package sets for each GHC version. horizon-haskell.net/Package%20Sets…
Horizon Haskell combines the stability of stack with the reproducibility of nix
Horizon Haskell combines the stability of stack with the reproducibility of nix
Horizon now has a GHC 9.12 template you can try from the QuickStart page. horizon-haskell.net/QuickStart.html
@horizonhaskell is looking for sponsors for GHC 9.12 compatibility support. We were able to get 500 packages compatible with GHC 9.10 on the day of release. This time we aim to make it 1000. We are looking for a small sponsorship from a Haskell company to pay for expenses.
There is now a template for horizon-cardano on the QuickStart guide. horizon-haskell.net/QuickStart.html
Horizon supports upgrade paths from GHC 8.10 all the way through to mainline.
@horizonhaskell is really nice for doing haskell things. I needed to scaffold a project and get some code out and it just works.
Just merged plutus 1.21 to horizon-plutus. gitlab.horizon-haskell.net/package-sets/h…
Huge improvements to the Horizon CI today. Everything is running in a much tighter feedback loop.
500 packages ready for GHC 9.10. gitlab.horizon-haskell.net/package-sets/h…
New website. Straight to the point. horizon-haskell.net
Horizon's GitLab CI has run over one million jobs building haskell packages!
chengjilai @chengjilai
26 Followers 966 Following
Jose Storopoli @jose_storopoli
184 Followers 390 Following Cypherpunk, PhD, Computer Scientist, Bayesian, Stoic. BJJ & Barbell aficionado. "running bitcoin" since 2020. Open source Maximalist. Software Eng @AlpenLabs.
Π₳vloΣ🧑🚀... @Stasanor
370 Followers 1K Following
David Young @roboguy20
502 Followers 2K Following Computer science PhD student focusing in programming languages
BeMeritus @bemerituss
2 Followers 62 Following
Brix 🇹🇼🇺🇦 @lbrixnr
31 Followers 316 Following
Antigone @Antigon_ee
755 Followers 2K Following Do that love where it never be your will; let not evil be means for spreading your love. Do not mistake your will for love; nor think your will can match God.
hellwolf @hellwolf2025
115 Followers 211 Following Co-founder and CTO of @Superfluid_HQ. Building and using @yolc_dev for Ethereum, and Superfluid. Love to hang around in the Haskell community, too.
Jannik @JannikHWX
19 Followers 1K Following
junxan @jmatsushita
482 Followers 1K Following Balancing creative/constructive, in human/organisational/technological development
Ilia Rodionov 🇺�... @iliarodionov
128 Followers 525 Following
LambdaDuck @Anka213
4K Followers 1K Following Functional programming and type theory enthusiast #Haskell #Agda. They/Them mastodon: https://t.co/yi842YCJhb bluesky: @anka213.bsky.social
nhatanh @alittletyper
207 Followers 2K Following
Dan Kubb 🇨🇦 @dkubb
2K Followers 2K Following
damianfral @pamojarpan
122 Followers 434 Following
sander @sandydoo
332 Followers 607 Following code janitor / big doofus / rust · haskell · elm · nix & everything nice / swe @cachix_org
Lewis Brown @lewiswbrown
357 Followers 3K Following dev (haskell👍), trader, homesteading farmer, #voluntaryist. evolutionary complex systems & the illusion of control likes + retweets are 🤔, maybe 👍
Chris Cowan @ceez
422 Followers 2K Following Music, Software, and similar vices. Expatriated Baltimoron, now living in Austin. Never bored talking about the Ravens, Orioles, or Spurs.
Renzo @renzocarbonara
2K Followers 2K Following Author of @atopbook, building software with types and functional programming. Unfollow me for less wisdom.
Tom Sydney Kerckhove @kerckhove_ts
3K Followers 425 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
Kurt Mueller @everybody_kurts
296 Followers 1K Following Former professional rubyist by day, now more of a generalist. Interested in F#, Haskell, Rust,and Elm. Okay at cycling, smoking meats, & pickleball. He / him.
Paweł Szulc @EncodePanda
3K Followers 657 Following Haskell, 范畴论, λ, Distributed Systems, Formal Methods
C @unknown10500
0 Followers 109 Following
theo bat @theophilebat
74 Followers 549 Following Founder & software engineer @ https://t.co/6B751HFgXo, amateur mathematician, musician
竜 SM₳UG @SmaugPool
12K Followers 2K Following Disinfluencer. Mostly blockchain software, dataviz, memes & gifs 🟣🔴https://t.co/AfZSwMmdjn 🌐https://t.co/Fp8ftE4mkQ 🌍SMAUG stakepool #Cardano #Bitcoin
Eric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
David Baynard @dbaynard
49 Followers 3K Following
твоей мамаш... @_ccer0z
5 Followers 108 Following
Bear Metal @BearMetal_IO
37 Followers 535 Following
Marijan @marijanpe
122 Followers 129 Following Haskell, Rust, Nix/NixOS • informatics @KITKarlsruhe • I speak English, German, Croatian, Spanish • economy, board-sports, philosophy
NixOS Asia @nixos_asia
198 Followers 199 Following NixOS Asia is a community of Nix and NixOS users, promulgated initially from the Indian subcontinent.
Nadeem Bitar @shinzui
566 Followers 1K Following Technologist • Software engineer • Engineering leader • Product developer • Photographer • Swimmer • Japanophile • Lover of beautiful things.
Delcin @DelcinMaria
509 Followers 1K Following Bitcoin || Knots || DATUM. On a mission to grok Bitcoin source code. Bitcoin IS money.
char li{'E'}; @CannibalCake
200 Followers 2K Following she/ee/they, massive dork // spite and turkey
Sjoerd 슕 Visscher @sjoerd_visscher
1K Followers 499 Following he/him https://t.co/mL1e9LiEbX https://t.co/6fKIciHDuB https://t.co/w1JytdYy0i https://t.co/vOS46mmPbB 👫@boekencurator
jappiejappie @jappieklooster
88 Followers 160 Following ∀❨m␣n﹕ℕ❩→m×n≡n×m Giving agya-chan my lunch money (agda simp). At home on the internet.
Jens Petersen 🇵�... @juhp
626 Followers 1K Following [email protected]; @RedHat; @fedora Workstation, @FedoraI18n, @fedorahaskell, @teamsilverblue, @haskellstackage; he/him #stopgenocide
Janus Troelsen @ysangkok
262 Followers 2K Following I do Haskell/PureScript at https://t.co/v0NoMti5Hl. #Mastodon @[email protected]
Jacek Γαλοwιcζ @jgalowicz
609 Followers 259 Following I help companies adopt Nix & NixOS at scale. C++ book author, giving university lectures about SW quality, https://t.co/qhypseHTP6 @[email protected]
Flora Package Index @flora_haskell
218 Followers 8 Following Flora is a package index for the #Haskell ecosystem. We are moving to the Fediverse: @[email protected]
Platonic.Systems @platonicsystems
761 Followers 88 Following Functional Programming Consultancy #haskell #purescript #elm #nixos #nix #typescript #solidity #machinelearning #clojure #fsharp #scala
Daniel Firth (Inspect... @locallycompact
1K Followers 783 Following Hydra @ Input Output. Haskell, Agda, Cardano, Mathematics, Analytic Idealism. Opinions my own.
Homotopic.Tech @homotopictech
62 Followers 5 Following Typed functional programming. Check out @horizonhaskellTrends for United States
You might like
