Witness functions
One of my favorite features of Haskell are the (G)ADTs, we could for example define a (not really) useful one: data Expr = Val Int | Add Expr Expr… ...more
One of my favorite features of Haskell are the (G)ADTs, we could for example define a (not really) useful one: data Expr = Val Int | Add Expr Expr… ...more
I have a simple morning routing starting with: Getting up Opening the shutters Making my bed Petting my cat (eventually, opening the door to let her … ...more
Few logs ago, I introduced dashboards I borrowed online. I wrote they were looking like that: services.grafana.provision.dashboards.settings.providers… ...more
Previously, we have set alerting through Grafana alerting, but, if you noticed, I did not expose my alerts more than: services.grafana.provision.alert… ...more
Previously, we have set few Dashboards, which is great for analysis, but not for reactivity. I'm not always on my monitoring tab, but I always have an… ...more
Even though I'm not a huge fan of Web/GUI, setting up dashboards can help discoverability and debugging (especially if your alerts where not properly … ...more
As you might have guest in my previous log, I'm obsessed with outages. There are two ways to detect and outage: Have patient users Have a monitoring … ...more
Since the introduction of the certificates, each script was ending with some old-fashioned (i.e. ssh/scp-based commands) as follows: TARGET_DIR=/etc/n… ...more
Previously, we spent huge amount of time to set up an intermediate CA. Our goal was to be able to deploy it on Barracuda, so it can automatically gene… ...more
When I have introduced server certificates I have used a simple Certificate Authority (CA). Which means that the trusted CA is also the one signing th… ...more
In previous log I have set up a server certificate, which is a way to secure (make it "impossible", well, difficult in fact, to read exchang… ...more
In previous log I have introduced my homelab infrastructure. One of the thing I'm the most bothered with, is the lack of ciphering between my desktop … ...more
My home network is composed of 4 machines: Looping Kind: a desktop computer, custom-built In service from: 2020/10 Usage frequency: Daily Usage: cod… ...more
In My previous log I mentioned my bad intuition regarding code design. Let's task a real-world example. I have written my log on Caddy after working w… ...more
I was pair programming a while ago, when, at some point, when have realized that the initial task was way under-estimated. So we decided to tackle it … ...more
Since the beginning of this website, I have a backlog of my next logs (which is becoming smaller and smaller). That's one of the reason Polysemy updat… ...more
A while ago I was working with a product-owner which was really, really keen on integrating SaaS solutions in our product as a way to bring value to e… ...more
I have just reached the 3-years-mark using Haskell in production, after 3 years as freelance Haskell teacher. First and foremost, I'd like to emphasiz… ...more
At some point in my previous position we had to set up live updates (i.e. getting changes without reloading the page) in our SPA. Instead of relying o… ...more
In my previous company we used to work with ElasticSearch, after some times I became the maintainer of Bloodhound. While I planned to increase type-sa… ...more
A while ago I was looking for something in base, when I landed in Foreign.Storable. Which made me realized that Haskell has pure C/C++ macros, not onl… ...more
Few months ago, I joined the Haskell Security Response Team. I've been involved in hsec-tools, which aims, in the medium terms, to support the whole s… ...more
A while ago, I was working on some cache-based code, I had a primitive function: fetchCached :: Member (Cached key value) r => key -> Sem r (Boo… ...more
The last thing we have to provide is an OpenAPI description. Thanks to Haskell's type system and servant-openapi3, we can generate it, by first annota… ...more
The last part, in order to make our API is to be able to query it, that's why we have to introduce Views. Since our project is rather simple, we have … ...more
If you followed this series, you may have noticed that, neither in Interface Adapters nor in Drivers. For Interface Adapters, I don't test it because,… ...more
Last time we introduced Interface Adapters with servant to serve a HTTP (REST) API. But we've been left with some Sem r-based definition we have to tr… ...more
After the Use Cases there are the Interface Adapters, namely the HTTP (REST) API. We'll use servant to build a REST API. Let's start by setting the la… ...more
The Use Cases is a simple application-dependant wiring layer, however, I tend to have one or two tests to ensure that Interpreters are well coordinati… ...more
After introducing Commands as our Entites/Core Domain, we then have to introduce next layer: Use Cases. For reference, it is the place where applicati… ...more
Previous log saw the introduction of Commands. One of the reason I favor Clean Architecture specifically over Hexagonal Architecture is to have a pure… ...more
Previous log has let us with the following events: data AbaksEvent = Started {periodId :: PeriodId, name :: Text, from :: Day, to :: Day, initialBal… ...more