Just Some Writer10 Reasons Why The Narcissist Makes You Dependent On ThemNarcissists are often master manipulators who derive satisfaction from controlling those around them. One of the most insidious ways they…Aug 16
Mike PesateMastering Type-Level Programming in Swift: A Comprehensive GuideExplore the Power of Swift’s Type System and Learn How to Write Elegant, Reusable Code Using Type-Level AbstractionsMar 10, 2023
History's Mysteries and Living ConundrumsinThe official pub for FACEParents of Adult Children Anonymous, Part IThere was a time when all of this would have been too embarrassing for me to write about. Now I no longer care what anyone thinks.Aug 12Aug 12
Marco PeroneinStateboxConcrete categoriesIn our first post on categories in Idris we provided a definition of category which we can practically use. But we actually didn’t check…Feb 28, 20191Feb 28, 20191
Rodolfo HanseninLevel Up CodingPoor man’s Pi (types)Dependent (Pi) types are extremely useful when writing mission critical code. They allow you to easily write a function that reads an input…Mar 15, 2023Mar 15, 2023
Just Some Writer10 Reasons Why The Narcissist Makes You Dependent On ThemNarcissists are often master manipulators who derive satisfaction from controlling those around them. One of the most insidious ways they…Aug 16
Mike PesateMastering Type-Level Programming in Swift: A Comprehensive GuideExplore the Power of Swift’s Type System and Learn How to Write Elegant, Reusable Code Using Type-Level AbstractionsMar 10, 2023
History's Mysteries and Living ConundrumsinThe official pub for FACEParents of Adult Children Anonymous, Part IThere was a time when all of this would have been too embarrassing for me to write about. Now I no longer care what anyone thinks.Aug 12
Marco PeroneinStateboxConcrete categoriesIn our first post on categories in Idris we provided a definition of category which we can practically use. But we actually didn’t check…Feb 28, 20191
Rodolfo HanseninLevel Up CodingPoor man’s Pi (types)Dependent (Pi) types are extremely useful when writing mission critical code. They allow you to easily write a function that reads an input…Mar 15, 2023
pancyinCode ZenNotes on Dependent TypesHow I’m beginning to (slowly) understand dependently typed programming languages.Oct 8, 2022
pancyinCode ZenA Gentle Introduction to AgdaA very easy introduction to Agda for working programmers.Mar 10, 2023