Blog: Mr. Mathiesen

  • Posts
  • Snippets
  • Talks
  • Blogs
  • About
  • 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.

Back to top

  • linkedin.com/in/ramonsotomathiesen

Copyleft © 2006 — 2022 Ramón Soto Mathiesen. See licenses for more information.

Icons from Glyphicons Free, licensed under CC BY 3.0.