Posted on Wed 26 August 2026 in Tech, TypeScript, Effect • Tagged with typescript, types, higher-kinded types
In the previous post we saw that Result.gen and Option.gen are very similar but looking at the Effect's codebase we can see that the type signature is very different from ours:
import { import ResultResult, import OptionOption, import UtilsUtils } from "effect"
declare const const genResult: Utils …Posted on Wed 19 August 2026 in Tech, TypeScript, Effect • Tagged with typescript, types
Since I discovered ZIO I have been in love with effect systems. Effect brings an effect system to TypeScript, making it widely more useful due to the adoption of the language. I spent hours (probably days) digging into ZIO's codebase and learned a ton, it's now time to do the …
Posted on Wed 01 February 2023 in Tech, Hardware • Tagged with iot, led, elec
A long time ago, I bought a led strip to pimp my desk and add a bit of backlight behind my screens. The led strip came with a remote, which was (or so I thought) great. However, I ended up never using this led strip ever again, precisely because of …
Posted on Sat 24 December 2022 in Tech, Hardware, Setup • Tagged with lenovo, x1c6, restic, backup
The more time passes, the more backups I keep and the more afraid I am to lose them (or access to them), however those backup beeing encrypted and protected by many layers of passphrases, authentication, I must now make sure that I can access them from anywhere, at anytime, otherwise …
Posted on Tue 14 April 2020 in Tech, Hardware, Setup • Tagged with lenovo, x1c6, wwan, em7455, initramfs
Following my last post I decided to play a bit more with 4G networks and the oportunities of having it on a laptop.
During those Easter's holiday I finally took the time to prototype a small project I had in mind for a long time, I wanted to design an …