Posted on Wed 19 August 2026 in Tech, TypeScript, Effect.ts • Tagged with typescript, types
Since I discovered ZIO I have been in love with effect system. Effect.ts made it possible to use effect system in 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 …
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 …
Posted on Wed 09 January 2019 in Tech, Hardware, Setup • Tagged with lenovo, x1c6, wwan, em7455
Roughly one year ago, I had to install a WWAN modem inside a Lenovo X1 5th generation. Due to the price Lenovo was selling the modem, we tried to install a generic, cheaper one. We struggled a lot (BIOS Whitelisting, AT port, ...) but we eventually managed to make it work …