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 !