Horizon Haskell - Haskell Package Publishing @horizonhaskell
Join Matrix: https://t.co/SbK1wCmcCW By @locallycompact horizon-haskell.net Joined March 2023-
Tweets30
-
Followers68
-
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!
Jose Storopoli @jose_storopoli
157 Followers 374 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 1K Following Computer science PhD student focusing in programming languages
BeMeritus @bemerituss
3 Followers 64 Following
Brix 🇹🇼🇺🇦 @lbrixnr
33 Followers 313 Following
Antigone @Antigon_ee
718 Followers 2K Following I write. Attempt move San Perdition-isco but not success recuently. satire btw violence is bad. UK based. GLORY TO OUR GLORIOUS FOREVER LEADER KEIR STARMER.
hellwolf @hellwolf2025
114 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
18 Followers 1K Following
junxan @jmatsushita
487 Followers 1K Following Balancing creative/constructive, in human/organisational/technological development
Ilia Rodionov 🇺�... @iliarodionov
113 Followers 446 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
199 Followers 2K Following
Dan Kubb 🇨🇦 @dkubb
2K Followers 2K Following
damianfral @pamojarpan
122 Followers 433 Following
sander @sandydoo
332 Followers 607 Following code janitor / big doofus / rust · haskell · elm · nix & everything nice / swe @cachix_org
Lewis Brown @lewiswbrown
337 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 4K 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
295 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 655 Following Haskell, 范畴论, λ, Distributed Systems, Formal Methods
C @unknown10500
0 Followers 108 Following
theo bat @theophilebat
74 Followers 548 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 106 Following
Bear Metal @BearMetal_IO
38 Followers 525 Following
Marijan @marijanpe
121 Followers 130 Following Haskell, Rust, Nix/NixOS • informatics @KITKarlsruhe • I speak English, German, Croatian, Spanish • economy, board-sports, philosophy
NixOS Asia @nixos_asia
200 Followers 200 Following NixOS Asia is a community of Nix and NixOS users, promulgated initially from the Indian subcontinent.
Nadeem Bitar @shinzui
570 Followers 1K Following Technologist • Software engineer • Engineering leader • Product developer • Photographer • Swimmer • Japanophile • Lover of beautiful things.
Delcin @DelcinMaria
497 Followers 962 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 503 Following he/him https://t.co/mL1e9LiEbX https://t.co/6fKIciHDuB https://t.co/w1JytdYy0i https://t.co/vOS46mmPbB 👫@boekencurator
jappiejappie @jappieklooster
84 Followers 159 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
261 Followers 2K Following I do Haskell/PureScript at https://t.co/v0NoMti5Hl. #Mastodon @[email protected]
max tomago 🇺🇦 @milloni0
739 Followers 307 Following Seek the coldness of the moon and ye shall find the heat of the sun; aspiring alchemist
Jacek Γαλοwιcζ @jgalowicz
608 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]
jonathan @starcada1
2K Followers 2K Following
lazycomputer @lazycomputer
1K Followers 5K Following
Flora Package Index @flora_haskell
219 Followers 8 Following Flora is a package index for the #Haskell ecosystem. We are moving to the Fediverse: @[email protected]
Platonic.Systems @platonicsystems
762 Followers 87 Following Functional Programming Consultancy #haskell #purescript #elm #nixos #nix #typescript #solidity #machinelearning #clojure #fsharp #scala
Daniel Firth (Inspect... @locallycompact
1K Followers 772 Following Hydra @ Input Output. Haskell, Agda, Cardano, Mathematics, Analytic Idealism. Opinions my own.
Homotopic.Tech @homotopictech
63 Followers 5 Following Typed functional programming. Check out @horizonhaskellTrends for United States
You might like
