2034 private links
Un éditeur de jeux pour la GameBoy. Super cool !
Et voilà, Python dans ton navigateur.
Magnifique !
This repo provides material for recreating the famous paper by Jean-Pierre Luminet (1979), simulating the first image of a black hole.
Open source virtual / remote desktop infrastructure for everyone! The open source TeamViewer alternative. Display and control your PC and Android devices.
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.
The open source DIY laptop for hacking, customization, and privacy.
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 mod pour 0 A.D s'inspirant de Zelda. Mamamia !
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
Gaphas is the diagramming widget library for Python.
List of projects that provide terminal user interfaces.
Small tip: a delightful bash alias that helped me today
alias '$ '=''
lets you copy tutorials that include '$' verbatim.
This project explains how to take control over an ieGeek security webcam and make it stop leaking data to chinese servers.