The Haskell FoundationToday the Haskell Foundation is migrating some of our server infrastructure and upgrading our storage. 💪 #haskellfoundation #haskell
🎧Check out the latest interview with David Christiansen, the former ED of #HaskellFoundation on the Type Theory Forall podcast by Pedro Abreu. It’s a must-listen! Have 116 minutes to spare? Dive in here: https://discourse.haskell.org/t/david-christiansen-on-type-theory-forall/9598 #Haskell #TypeTheory
David Christiansen on Type Theory Forall
https://www.typetheoryforall.com/episodes/haskell-lean-idris-and-the-art-of-writing-1 They talk: the Executive Director role at the Haskell Foundation Call-by-push-value getting started programming by booting into a BASIC prompt without a disk drive loaded GitHub - leanprover/verso: Lean documentation authoring tool, Scribble, LaTeX Mathlib is 1.4M LOC! I should probably use ML to make this summary but I don’t know these products well enough yet…
A big shoutout to Mercury for supporting the Botan Cryptography Community Project! Thank you! #Haskell #haskellfoundation #mercury
Learn more about the project here:
https://github.com/haskellfoundation/tech-proposals/blob/main/proposals/052-cryptography-leg-1.md
A big thank you to Channable, our newest Functor-level sponsor!
We could not do our work without our individual contributors and our sponsors. Thank you! #haskell #haskellfoundation
A big thank you to GoogleOSS for becoming a Functor-level Sponsor! All of our work is made possible by our individual contributors and our sponsors. Thank you so much for your support! #haskell #haskellfoundation
It is our great pleasure to announce that we have hired a new Executive Director for the Haskell Foundation: José Manuel Calderón Trilla! #haskellfoundation #haskell
Learn more:
https://discourse.haskell.org/t/welcome-to-our-new-executive-director-jose/8038
Welcome to our new Executive Director, José
It is my great pleasure to announce that we have hired a new Executive Director for the Haskell Foundation: José Manuel Calderón Trilla. José is a long-time Haskeller and Haskeller-educator, with a PhD from the University of York, a stint at Galois, and is currently wrapping up a lectureship at the University of Maryland. During the selection process, the board was impressed with José’s leadership skills (as honed wrangling the teaching staff and students of 300±person courses), his ability to ...
Haskell CI Group Meeting Notes, 2023-09-14
https://discourse.haskell.org/t/haskell-ci-group-meeting-notes-2023-09-14/7613
Haskell CI Group Meeting Notes, 2023-09-14
Haskell CI Group Notes Thursday, September 14 2023 Discussion summary A tale of how IOG discovered the value of version bounds Thoughts on approaches to keeping version bounds up to date Clarification on platform support, specifically Mac and Windows Questions about Docker images Discussion topics cardano-haskell-packages discovers version bounds My fuzzy recollection of @andreabedini’s comments were: Andrea joined the project and simply couldn’t find a working build plan Too many pac...
maralornEvery time someone raises a problem in the #Haskell ecosystem someone chimes in and says that #HaskellFoundation should hire someone full time to fix this. I guess over the last two years I have seen job ideas for at least 20 positions.
The Haskell Foundation only has money for (about) two employees right now and needs to refinance itself by sponsorship every year.
Its like everywhere in #OpenSource. Companies make profit, volunteers make things happen.
Treasure Trove StudioOur game, #Maskies Ice Cream Parlor, is being developed using the #haskell programming language. Our developer just released this statement on the bird site:
> On November 4, 2020, Simon Peyton Jones announced the #HaskellFoundation: https://haskell.foundation
to broaden "the adoption of #Haskell, by supporting its ecosystem of tools, libraries, education, and research."
We're pretty happy to see that!
> On November 4, 2020, Simon Peyton Jones announced the #HaskellFoundation: https://haskell.foundation
to broaden "the adoption of #Haskell, by supporting its ecosystem of tools, libraries, education, and research."
We're pretty happy to see that!