2032 private links
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.
Oh la perle que je découvre sur le tard : un rechargeur automatique de page web quand on modifie du CSS/HTML/JS. Couplé à un système de détection des changements avec watchdog, et on a là un truc bien cool.
Plyer is a platform-independent Python wrapper for platform-dependent APIs
Programming is based on mathematics in the way that cooking is based on chemistry. All of cooking is chemistry but you don’t have to know the periodic table to cook. Even if you suck at math, programming still might be your jam.