Just Some Writer (JSW)10 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
InAnalytics VidhyabyQuinn DoughertyInduction PrinciplesThe induction principle for linked list reminds us of that for the natural numbers. What about trees?Apr 6, 2020
InLevel Up CodingbyRodolfo HansenPoor 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
InCode ZenbypancyNotes on Dependent TypesHow I’m beginning to (slowly) understand dependently typed programming languages.Oct 8, 2022Oct 8, 2022
InCode ZenbypancyA Gentle Introduction to AgdaA very easy introduction to Agda for working programmers.Mar 10, 2023Mar 10, 2023
Just Some Writer (JSW)10 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
InAnalytics VidhyabyQuinn DoughertyInduction PrinciplesThe induction principle for linked list reminds us of that for the natural numbers. What about trees?Apr 6, 2020
InLevel Up CodingbyRodolfo HansenPoor 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
InCode ZenbypancyNotes on Dependent TypesHow I’m beginning to (slowly) understand dependently typed programming languages.Oct 8, 2022
InCode ZenbypancyA Gentle Introduction to AgdaA very easy introduction to Agda for working programmers.Mar 10, 2023
Daniel BellmasDependent Props In React TypescriptA dependent prop is a prop that should only be set when another prop has a specific value.Sep 23, 2022
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
André VidelaProtocol Programing, Part 2: Dependent VectorsIn the previous part we used protocols in order to model for some properties we were interested in and found multiple examples that fit…Jan 7, 2019
