Chris SmithWhen is a call stack not a call stack?Tom Ellis, who I have the privilege of working with at Groq, has an excellent article up about using HasCallStack in embedded DSLs. You…3d ago
Chris SmithPlaying With a GameIn a recent comment (that I sadly cannot find any longer) in https://www.reddit.com/r/math/, someone mentioned the following game. There…Sep 23
LeonardoBridging the Gap: Comparing React/TypeScript with Haskell and Functional Programming PrinciplesFunctional programming (FP) has steadily influenced the software engineering world, especially with frameworks like React. React, paired…3d ago3d ago
FlexianaSafer blockchain code through tracking of side effects #2: flooring HaskellIn the previous post, we saw how to make the Glorious Glasgow Haskell compiler (GHC) check we don’t lie about the side effects of our…Nov 8Nov 8
Chris SmithThe Collatz Step and 2-adic IntegersThis is a follow-up to my previous post on Collatz in base 2 and 3. I got a response from a reader, Olaf K., who pointed out that the…Jul 16Jul 16
Chris SmithWhen is a call stack not a call stack?Tom Ellis, who I have the privilege of working with at Groq, has an excellent article up about using HasCallStack in embedded DSLs. You…3d ago
Chris SmithPlaying With a GameIn a recent comment (that I sadly cannot find any longer) in https://www.reddit.com/r/math/, someone mentioned the following game. There…Sep 23
LeonardoBridging the Gap: Comparing React/TypeScript with Haskell and Functional Programming PrinciplesFunctional programming (FP) has steadily influenced the software engineering world, especially with frameworks like React. React, paired…3d ago
FlexianaSafer blockchain code through tracking of side effects #2: flooring HaskellIn the previous post, we saw how to make the Glorious Glasgow Haskell compiler (GHC) check we don’t lie about the side effects of our…Nov 8
Chris SmithThe Collatz Step and 2-adic IntegersThis is a follow-up to my previous post on Collatz in base 2 and 3. I got a response from a reader, Olaf K., who pointed out that the…Jul 16
gianni 🧙🏻♂️Using C++ concepts for great good :) part 1Motivated by Haskell’s type system I have been learning the C++20 feature, concepts. Concepts are to C++ what type classes are to Haskell…Mar 29, 2023
FlexianaSafer blockchain code through tracking of side effects #1: eco run with HaskellWe all want our code to be safe/secure and efficient, among other things. This is especially true for any code dealing with blockchain. We…Nov 7
InITNEXTbyErik EngheimWriting Code Without Plain Text FilesThe Unison programming language doesn’t store code in files, but in a database. What is that like?Jan 23, 202312
