~/cstml.dev

Posts

Nov 29, 2022
Haskell: free vs freer vs tagless final — #1 Scenario & Transformers

The battle of the decouplers.
Jul 18, 2022
Haskell: Monad.

Or at least my attempt at explaining it
Aug 4, 2021
Haskell: Either.
Either is the Prelude provided type that allows us to work with functions that can return either one result or another.
Jul 22, 2021
Haskell: State and StateT examples.

A look at the State Monad and StateT Monad Transformer.
May 23, 2021
Haskell: Applicative

Or how to do the same thing with a different approach.
May 13, 2021
NIX: Small/Random, but Useful patterns
Say you have a few packages that you would like to build but you want an easy way of doing so. Here’s a handy little pattern that could help out.
May 13, 2021
NIX: 2 Simple derivations
I’ve been using NixOS and I quite like it (a lot). When I installed it, I got rid of my Debian and jumped head forwards with a full wipe out and clean instal. To be honest, it wasn’t that bad, and I managed to install everything in two attempts with around 1 hour of tweaking in the liveUSB version - but the documentation was nice, clear and easy to follow.
May 3, 2021
Haskell: Functor
Coming from the world of category theory, a functor is a mapping between two categories:
May 3, 2021
Haskell: Monoids
Well believe it or not, Haskell defines a Monoid as a Typeclass, that lets you do funky stuff. Great!
Feb 21, 2021
CLisp: Thread last - like Clojure
These days I’ve been playing with Clojure and one macro I really liked was ->> which is called Thread last. Let’s implement it in Common Lisp.
Dec 16, 2020
regex: grep/egrep cheatsheet
Let’s have a look at the grep and egrep commands.
Dec 4, 2020
sed: one stream editor to rule them all
I enjoy UNIX, a lot. And A few weeks ago I was reading a book about unix when I stumbled upon one of the oldest editors in unix and that is ed. The more I looked into it the more I realised where a lot of vim featurs come from. Well, sed is very much the stream version of ed.
Dec 1, 2020
math: binary, hex, and logic
Computers are, at their core, a logic based machine, that can store information, and do operations on the stored information. Let’s have a look closer to how that is done and what is used in the process.
Nov 28, 2020
workflow: Kattis competitive set-up
At Bath University, each Saturday the Bath Computer Science Society organises programming competitions.
Jun 6, 2020
c++: GDB & G++ compiler
Let’s have a look at GDB.
Jun 6, 2020
build: Makefiles
A makefile tells make what to do, and usually these instructions tell make how to compile and build a program. They are super useful when you have multi-file projects, but not only.
May 24, 2020
math: Bayes Theorem
To better define Bayes Theorem, one must have a good understanding of what all the constituent parts within it. For my own and everyone’s benefit I will break them down as much as possible. If you see any mistake, please point it out to me via GitHub, as I have written these myself in a creative frenzy.