Blog:
Mr. Math
iesen
Posts
Snippets
Talks
Blogs
About
Snippets
F# - Efficient CharStream parser-combinator
March 28, 2022.
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.
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.
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.
F# - Mathematical expressiveness
February 13, 2017.
F# - Extend Pattern Matching
January 25, 2017.
Elm - HEX to String
October 17, 2016.
F# - Basic Merkle Tree
October 09, 2016.
F# - ToBinary (with Bitwise operations)
October 07, 2016.
F* vs F# - List.zip (compile vs runtime errors)
April 27, 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.
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.
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.
F# - Storage boolean vs. bits/bytes
April 02, 2014.
F# - Penney's game (Coin flipping/tossing)
March 29, 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.