• F# - Efficient CharStream parser-combinator

  March 28, 2022.

• Poor man's Kafka (stream-processing bus)

  December 01, 2021.

• Haskell - Kleroterion a democratic selection artifact

  July 14, 2020.

• Haskell - Safe min-max heap only depending on Prelude

  July 12, 2020.

• Haskell - Data.Array.Log256 (SAFE, idiomatic and ⊥)

  May 22, 2020.

• Haskell - SAFE JSON ByteStream Parser

  May 20, 2020.

• F# - Idiomatic and Atomic ThreadPool

  April 27, 2020.

• Bitonicsort in F# (revised)

  April 20, 2020.

• Haskell - Data.Octet v2 (…, NAND, smaller, but slower)

  April 06, 2020.

• Haskell - Data.Octet (SAFE, idiomatic and BIG)

  March 30, 2020.

• Haskell - ANSI > Escape Code > Select Graphic Rendition

  March 28, 2020.

• Haskell - FNV-1a hash (1 - 256 bits)

  March 02, 2020.

• Haskell - Safe DAG only depending on Prelude

  March 24, 2019.

• Haskell - Zero-Knowledge Proof (ZKP) to verify age

  March 13, 2019.

• The main reason I use Safe Haskell, is “restriction”

  February 21, 2019.

• Haskell - EU MEPs overview on Article 13 (“meme ban”)

  February 21, 2019.

• Haskell - Using Shamir's Secret Sharing to (+) and (*)

  February 14, 2019.

• Haskell - Yao's Millionaires' Problem (no encryption)

  February 12, 2019.

• Haskell - Pretty-printed primes (Sieve of Eratosthenes)

  February 12, 2019.

• Haskell - Bitonic sorter (concurrent)

  February 09, 2019.

• Haskell - Bitonic sorter (sequential)

  February 08, 2019.

• Haskell - Usage of malloc/free is SAFE

  February 04, 2019.

• Haskell - Model finity-state-machines (FSM) with types

  January 29, 2019.

• Haskell - (revised) Model state machines with types

  January 28, 2019.

• Haskell - Using Lattices to avoid data leaks

  January 16, 2019.

• Haskell - Safe Base64 only depending on Prelude

  August 13, 2018.

• Haskell - Safe SHA1 only depending on Prelude

  August 10, 2018.

• Haskell - Our Lord and Saviour RNGesus (FTK)

  August 08, 2018.

• Haskell - Immutable arrays built on top of Integers

  July 28, 2018.

• Haskell - Base64 encoding with profiling

  July 24, 2018.

• Haskell - Integers & words to bits, hex & bytes

  July 22, 2018.

• Haskell - Bytes to bits and hex

  July 12, 2018.

• Haskell - TLS ping-pong multi- client and server

  July 07, 2018.

• Haskell - cURL (NanoParsec + tls) limited to HTTPS

  July 06, 2018.

• Haskell - URL-parser (NanoParsec) only HTTP(S)

  July 03, 2018.

• Haskell - Restricted and (rec) granulated IO effects

  June 26, 2018.

• Haskell - (SAFE) UTF8 from and to single bytes

  June 11, 2018.

• Elm - Stringeable types library for Elm 0.19

  April 09, 2018.

• Elm - Why can't we have nice things? (Monads)

  February 07, 2018.

• Bloom Filter Sort (bfsort)

  December 06, 2017.

• Haskell - Granulating Effects

  November 24, 2017.

• F# - Idiomatic Huffman Coding

  November 02, 2017.

• OCaml - Welcome to the RealWorld, baby

  October 24, 2017.

• F# - Welcome to the RealWorld, baby (+Don notation)

  October 24, 2017.

• Haskell - Solving Problem B Best Relay Team (NCPC17)

  October 14, 2017.

• F# - Cognitive Services Translator Text API

  October 14, 2017.

• OCaml - Lambda Calculus Interpreter

  September 25, 2017.

• F# - Impure languages won't make the cut GDPR

  July 17, 2017.

• Haskell - Why're so many people so stupid about GDPR?

  July 14, 2017.

• Haskell - The Rhythm of Counting to gen. ∞ uniq. vars

  July 10, 2017.

• Idris - Evoting, vote count matching votes

  July 08, 2017.

• Haskell - Scripting with Stack and Haskell

  July 06, 2017.

• Encapsulation - C# vs F# vs Haskell, equivalent result

  May 31, 2017.

• F# - Functors, Applicatives, And Monads In F#

  April 22, 2017.

• Speaker at F# eXchange 2017 (#fsharpX)

  February 17, 2017.

• F# - Mathematical expressiveness

  February 13, 2017.

• F# - Extend Pattern Matching

  January 25, 2017.

• Semantic Versioning .NET libraries and NuGet packages

  December 01, 2016.

• Elm - HEX to String

  October 17, 2016.

• F# - Basic Merkle Tree

  October 09, 2016.

• F# - ToBinary (with Bitwise operations)

  October 07, 2016.

• Model state machines with types

  October 06, 2016.

• Data structures done right

  October 05, 2016.

• F* vs F# - List.zip (compile vs runtime errors)

  April 27, 2016.

• How to Daxif, delete all accounts (part 2)

  April 05, 2016.

• F# - Functors with Record Types (now with map)

  March 30, 2016.

• F# - LeftPad (Updated)

  March 26, 2016.

• Elm - Basic Counter example with State from QueryString

  March 26, 2016.

• F# - Functors with Record Types

  March 24, 2016.

• How to Daxif, delete all accounts (part 1)

  March 23, 2016.

• SP and CRM Online, doomed to understand each other

  March 14, 2016.

• How to Daxif, plug-in synchronization (technical stuff)

  March 10, 2016.

• MSCRM and OData from ConsoleApp/Script without annoying web login form

  March 03, 2016.

• How to Daxif, plug-in synchronization

  March 02, 2016.

• How to Daxif, diff of solutions

  February 22, 2016.

• How to Daxif, basic setup

  February 14, 2016.

• MS CRM Solution Packager, why and how to use it correctly

  February 09, 2016.

• F# - Puresort of lists (Okasaki)

  December 27, 2015.

• F# - Conditional Expressions vs. Pattern Matching

  December 26, 2015.

• F# - Time Traveling Debugger

  October 30, 2015.

• F# - Flexera FNOC WCF with Basic Auth

  August 18, 2015.

• F# - Fibonacci with CSP and F# Agents

  July 11, 2015.

• F# - Find loop start in corrupt linked lists (by using List.Lazy.skip)

  May 15, 2015.

• F# - When lists are lazy

  May 14, 2015.

• F# - Prisoners and hats puzzle

  October 31, 2014.

• How to make your own F# logo (Updated)

  October 11, 2014.

• Nykredit, the 33 million dollars mistake

  October 01, 2014.

• F# - MS CRM Online Browser Performance Test

  September 18, 2014.

• F# - MS CRM Online Stress Test (±150.000 accounts/hour)

  September 16, 2014.

• F# - A better way to use OData with JavaScript and SDK.REST.js on CRM2011 and CRM2013

  August 24, 2014.

• F# - Fulladder + add

  July 29, 2014.

• F# - Trustpilot job advertisement

  July 17, 2014.

• F# - Fast and big Fibonacci numbers with Karatsuba

  June 01, 2014.

• F# - FSharp.ProjectScaffold (initial) rename script

  April 25, 2014.

• Bloom filters, FNV-1a/Murmur3 hashes and leaked e-mails

  April 06, 2014.

• F# - Storage boolean vs. bits/bytes

  April 02, 2014.

• Software Equality (updated with SVG version)

  March 29, 2014.

• F# - Penney's game (Coin flipping/tossing)

  March 29, 2014.

• ƒ(x)RM as Open Source

  March 27, 2014.

• Domain-driven design, F# types and War

  March 27, 2014.

• F# - Simple but powerful logger

  March 12, 2014.

• F# - List prepend (::) vs. concatenate (@)

  March 12, 2014.

• F# - List choose with Some v/None

  March 12, 2014.

• F# - FSharp is surprisingly expressive

  March 06, 2014.

• Recipe for bulletproof applications with F#

  January 30, 2014.

• DAXIF# - Delegate Automated Xrm Installation Framework

  December 05, 2013.

• Bitonicsort in F#

  September 17, 2013.

• TechEd F#ile Crawler

  August 26, 2013.

• First impressions on CRM2013

  August 01, 2013.

• What it takes to be a great software developer

  July 30, 2013.

• Outlook Interop and F#

  March 12, 2013.

• Having F#un with JavaScript (FunScript)

  March 10, 2013.

• Hacking on PST File Format SDK

  January 18, 2013.

• Software presentation of Arkivarius

  August 11, 2007.

• Restricted File Executer, a usefull alternative to RunAs.exe

  August 18, 2006.

---