🦘 Jump into the repositories (git, mercurial…) of your filesystem with telescope.nvim, without any setup
Hi, it’s Clément! 👋
I’m currently working as a software engineer at Cloudflare in London, where I get to work with exciting technologies like eBPF or Rust. Previously, I worked on non-intrusive performance analysis at the SnT, a lab part of the University of Luxembourg.On my spare time, I enjoy writing and contributing to open-source programs. Most of that activity is visible on GitHub and Stackoverflow. I blog mainly about performance and tools I use (like NeoVim, Hugo or SQLite). Some pages made it to the front page of HackerNews or Lobsters, sparking fruitful discussions in the comments.
💻 Current Software Projects
Readme in Static Site
💎 Transform and insert your GitHub readme in your static site.
Rusqlite Migration
↕️ Simple database schema migration library for rusqlite, written with performance in mind.
Sesters
💱 Fast, offline currency converter 💴 💷 💶 💵
🗞️ On the Blog
From UltiSnips to LuaSnip
TL;DR LuaSnip is fast and doesn’t have to be complicated. Give it a try! Even if that article shows how LuaSnip shines, I have great respect for the work that has gone into UltiSnips. It is still a reliable, reasonably fast plugin given the constraint it operates in (in particular, Vim compatibility requires a fair amount of Vimscript). I’ve written this article shortly after trying LuaSnip and I’m still very much evaluating it....
You “Own” 16 Milion+ IPv4 Addresses!
TLDR For the foreseeable future, you can likely use 127.0.0.0/8 freely (or at least 127.0.0.0/16). Introducing 127.0.0.0/8, the Loopback Range Visualization of the 127.0.0.0/8 range, from cidr.xyz by Yuval Adam If you have ever done web development or otherwise set up a local server, you have most likely used the IP address 127.0.0.1 to communicate with a local server. Often, localhost is even internally translated to that address....
Quick Git Commit Amend
Sometimes when your pull request is reviewed, it turns out that you have to make a small change. For instance, you have to remove a white space. Here is a really quick way to fix it, that will not even fire your editor to change the commit message. Make sure you are on the branch of the pull request (for instance, by reading the output of git status) Edit and save your file, removing the white space....
Miscellaneous
Blog Roll
Some blogs that you may find interesting. This is not an endorsement ...
About
Software and hardware I use, in particular in this site. ...
Disclaimer & Policies
The policies outlined here may be changed at any time, check this page again for the latest. ...