En complément de Terminator, j'utilise de plus en plus Guake, qui est un terminal qui s'affiche lorsqu'on presse F12, exactement comme dans le jeu Quake !

C'est assez pratique, il est adopté :)

Je viens enfin de tester cet utilitaire pour supprimer les données sensibles d'un dépôt git : ça fonctionne du tonnerre !

Cet article donne des pistes d'optimisation de SQLite : sa configuration par défaut est optimisée pour l'embarqué. En conséquence, de nombreux utilisateurs rencontrent des performances médiocres et l'erreur SQLITE_BUSY.

Via https://twitter.com/bearstech/status/1775621449484546526

Sous le coude pour plus tard.

Gérer le niveau d'eau de la piscine a l'aide d'un Raspberry Pi et Grafana.

Des croquis, des croquis, toujours des croquis !

Utiliser docker pour simplifier le tout.

Démarrer votre instance locale d'Open Library:
$ docker-compose run

Dans une autre console, lancer cette commande pour recompiler les fichiers JS quand vous les modifier, sans avoir à tout relancer :
$ docker-compose run --rm home npm run-script watch

Ou pour cmpiler manuellement :
$ docker-compose run home make js

Vérifier que les fichiers JS sont nickel :
$ docker-compose run --rm home npm run lint

RDV sur http://localhost:8080 et roule !

Plus de commandes sur https://github.com/internetarchive/openlibrary/tree/master/docker#code-updates

Une service web gratuit qui permet de convertir une image SVG en "drawable" pour votre projet Android. Pratique quand vous ne pouvez/voulez pas vous servir d'Android Studio.

Pour info dans Android Studio, le processus aurait été : dans res->drawable clic droit puis "New -> Vector Asset".

Testé 1 fois, j'ai bien aimé ! À voir sur la distance.

Un éditeur de jeux pour la GameBoy. Super cool !

Le whitepaper de Cairo.

Abstract

Proof systems allow one party to prove to another party that a certain statement is true. Most existing practical proof systems require that the statement will be represented in terms of polynomial equations over a
finite field. This makes the process of representing a statement that one wishes to prove or verify rather complicated, as this process requires a new set of equations for each statement.
Various approaches to deal with this problem have been proposed.
We present Cairo, a practically-efficient Turing-complete STARK-friendly CPU architecture. We describe a single set of polynomial equations for the statement that the execution of a program on this architecture is valid. Given a statement one wishes to prove, Cairo allows writing a program that describes that statement, instead of writing a set of polynomial equations.

Coup de coeur du moment : Victor Mono.

Victor Mono is an open-source monospaced font with optional semi-connected cursive italics and programming symbol ligatures.

Un nouveau langage de programmation avec plein de trucs intéressants existants par défaut. Ça a l'air pas mal du tout !

Un linter pour détecter les anti-patterns liés aux performances de votre code Python.
Sous le coude.