aliquote.org

Latest micro-posts

You can also also view the full archives of micro-posts. Longer blog posts are available in the Articles section.

2025-05-12 13:30 #

img What happens when you neglected your feed reader for two months or so.

2025-05-12 13:12 #

Interesting read from weeks ago (yeah, I’ve been pretty suiet lately): 100 years to solve an integral.

2025-05-12 13:10 #

14 Advanced Python Features. Note that this covers features introduced in Python 3.10+. #python

2025-05-12 13:09 #
2025-05-12 13:07 #

I already read this a while ago but in case I forgot to post it (and today I’m too lazy to search for it in the archives), here it is : Google Has Most of My Email Because It Has All of Yours. TL;DR “They have delivered more than a third of all the email I’ve replied to every year since 2006 and more than half since 2010.”

2025-05-12 12:39 #

SBCL hash tables have been adaptive for almost a year now, gaining some speed in common cases, and robustness in others. — Adaptive hashing

2025-03-11 11:59 #

If you’re interested in Advent of Code challenge and Lisp, go take a look at Joe Marshall series on his blog. Last blog post here, with accompagnying GitHub repo. #lisp

2025-03-10 18:02 #

/me is listening to “Blood Moon” by Concrete Blonde

2025-03-10 12:44 #

I just spent half an hour decluterring my $HOME dotfiles and movinf everything I could to standard XDG config, data and state directories. Looks much cleaner now.

~
.CFUserTextEncoding  .cargo/              .local/              .ssh/                Library/             backup/
.DS_Store            .config/             .mail/               .stack/              Movies/              cwd/
.Renviron            .ctags               .npm/                .zprofile            Music/               tmp/
.Trash/              .cups/               .nvm/                Desktop/             Pictures/
.cabal/              .deno/               .roswell/            Documents/           Public/
.cache/              .ghcup/              .rustup/             Downloads/           Sites/

The cornerstone for running zsh properly is to point ZDOTDIR to the relevant XDG data directory.

ZDOTDIR=$HOME/.config/zsh

for file in $HOME/.config/profile.d/*.sh; do
  . "$file"
done