🧠 Laws, Theories, Principles and Patterns for developers and technologists.

Community guide to using YubiKey for GnuPG and SSH - protect secrets with hardware crypto.

An Open-Source Collection of Flash Cards to Help You Preparing Your Algorithms & Data Structures and System Design Interviews 💯

extract text from any document. no muss. no fuss.

This recipe is dedicated to helping you make the best possible pizza dough for Neapolitan pizza.

"every time I watch one of his talks I feel like someone has gone in and organized my brain"

Eclipse B612

The Architecture of Open Source Applications

Deadline countdowns for academic conferences in Security and Privacy

simple 4-BIT CPU with 74-serials chip，origin by Kaoru Tonami in his book “How to build a CPU”

📜Automated review of open source software projects

Network Semantics

Visualizing family trees

A course on formal verification at https://compsciclub.ru/en, Spring term 2021

sicp.epub in compressed and exploded view.

🌎 Countries I Have visited

Studying Software Engineering in the Proof Assistant world.