victoradan.net https://victoradan.net/posts Posts from victoradan.net en-US contact@victoradan.net https://www.rssboard.org/rss-specification pandoc-rss A favorite C# pattern Sun, 23 Apr 2023 00:00:00 +0000 https://victoradan.net/posts/csharp-favorite-pattern Deceitful Contracts - Fix with Church-encoded Sum Types Wed, 17 May 2023 00:00:00 +0000 https://victoradan.net/posts/deceitful-contracts-2-church-encoding Deceitful Contracts Fri, 28 Apr 2023 00:00:00 +0000 https://victoradan.net/posts/deceitful-contracts FizzBuzz Plus Ultra Thu, 17 Aug 2023 00:00:00 +0000 https://victoradan.net/posts/fizzbuzz-plus-ultra Indirection Tue, 05 Mar 2024 00:00:00 +0000 https://victoradan.net/posts/indirection Information Maximization Fri, 23 Jun 2023 00:00:00 +0000 https://victoradan.net/posts/information-maximization List comprehensions Sun, 30 Jul 2023 00:00:00 +0000 https://victoradan.net/posts/list-comprehensions Pre-Design Optimization Mon, 29 Apr 2024 00:00:00 +0000 https://victoradan.net/posts/pre-design-optimization before building, or even designing, a solution?]]> Encoding our domain in the type system Thu, 08 Jun 2023 00:00:00 +0000 https://victoradan.net/posts/reify-as-type Wilensky and Papert’s Restructurations Fri, 04 Aug 2023 00:00:00 +0000 https://victoradan.net/posts/restructuration Softwareville 1 Mon, 08 May 2023 00:00:00 +0000 https://victoradan.net/posts/softwareville1 Softwareville 2 Thu, 11 May 2023 00:00:00 +0000 https://victoradan.net/posts/softwareville2 Softwareville 3 Fri, 19 May 2023 00:00:00 +0000 https://victoradan.net/posts/softwareville3 Softwareville 4 Thu, 19 Oct 2023 00:00:00 +0000 https://victoradan.net/posts/softwareville4 Tepoz VIII (1-bit music etude) Fri, 01 Dec 2023 00:00:00 +0000 https://victoradan.net/posts/tepoz_vi Beyond Test-Driven Development Sat, 02 Sep 2023 00:00:00 +0000 https://victoradan.net/posts/type-driven-development