Wanna use GHC 8.6 with DerivingVia, QuantifiedConstraints and source plugins? Here ya go! cachix use ocharles nix-build gist.github.com/mpickering/015…

We're hiring Haskellers! DMs are open. angel.co/simspace/jobs/… Remote, but from Canada and US only. We help customers train themselves to react to cyber-attacks. We like lenses, and aren't afraid to use type families, extensible records, and generated code when it makes sense.

We're offering an 8-hours remote interactive Haskell course on "Type-level programming with GHC", 23-24 July 2018, 0800-1200 UTC, for up to 6 participants. well-typed.com/blog/2018/06/r…

This book aims to be the comprehensive manual for type-level programming. It's about getting you from here to there---from a competent Haskell programmer to one who convinces the compiler to do their work for them. leanpub.com/book-of-types/ by reasonablypolymorphic.com

I'm finally done with the free monoid theorem in a cartesian closed category. I realize that the audience for this post might be restricted to a few grad students in category theory: Hi guys and gals! Enjoy! bartoszmilewski.com/2018/07/30/fre…

Doing Well-Typed courses on type-level programming and performance in GHC was so worth it. Packed with theory background and bombs of tips what usually goes wrong. And the interactive remote format was actually really enjoyable. Andres Löh is a great lecturer.

Finally understood where all the hard work of my shavings goes.

🆕Better late than never: will drop personal thoughts and links from here. Will keep on blasting out from Italian C++ about Italian C++ things (news, events, etc). Follow me to hear from Marco Arena not only about C++ and Software. Here I am 👇

Excited to announce three full-time Haskell jobs in Zürich/New York, at - details and how to apply at neilmitchell.blogspot.com/2018/10/full-t…

𝚛 𝚊 𝚍 𝚒 𝚌 𝚕 𝚎 [ alpha ] P2P code collab > issues, patches, proposals, peers, all in your terminal ⚘ radicle.xyz #P2P #IPFS #OSS

Today, we are announcing the first release of our technical whitepaper: oscoin.io/oscoin.pdf 🙌 The paper describes Oscoin, a cryptocurrency that rewards open source software projects based on their relative value 👇

If you want to work with us, this is your chance :)

An interview with Edsko and Duncan on the IOHK blog, explaining to Cardano users the practical advantages of taking a compositional approach to software construction. well-typed.com/blog/2020/05/i…

Blog post by Ranjit Jhala about our work of turning Liquid Haskell into a GHC plugin: ucsd-progsys.github.io/liquidhaskell-… Reddit thread: reddit.com/r/haskell/comm…

New blog post "Being lazy without being bloated" describing the nothunks package well-typed.com/blog/2020/09/n…

We're hiring! well-typed.com/blog/2020/12/h…

Ever debugged something and wished you could show a value without a Show instance in scope? Now you can! Well-Typed and JUSPAY are pleased to make an initial release of recover-rtti available: recover type information at runtime and show anything. hackage.haskell.org/package/recove…

New blog post by @EdskoDeVries on the fundamental problem solved by blockchain: well-typed.com/blog/2021/03/f…

New blog post by Matthew Pickering to on improvements to memory usage in GHC 9.2: well-typed.com/blog/2021/03/m…