Not everything that is true can be proven. This discovery transformed infinity, changed the course of a world war and led to the modern computer. This video is sponsored by Brilliant. The first 200 people to sign up via https://brilliant.org/veritasium get…

A REPL for x86-64 assembly language. Contribute to tenderlove/asmrepl development by creating an account on GitHub.

Creusot helps you prove your code is correct in an automated fashion. - creusot-rs/creusot

Good morning! It is still 2020, and the world is literally on fire, so I guess we could all use a distraction.
This article continues the tradition of me getting shamelessly nerd-sniped - once by P...

An uroboros program with 100+ programming languages - mame/quine-relay

Rust-to-Rust ffi,ffi-safe equivalents of std types,and creating libraries loaded at startup. - rodrimati1992/abi_stable_crates

https://cppcon.org/
https://github.com/CppCon/CppCon2021
---
Programming consists of two activities:

1. Breaking down a problem in parts small enough to understand and implement.
2. Composing the parts to build up functionality and solve the original problem.…

Curated list of resources on testing distributed systems

Playing with the VMProtect software protection. Automatic deobfuscation of pure functions using symbolic execution and LLVM. - JonathanSalwan/VMProtect-devirtualization

Posted by Ian Beer & Samuel Groß of Google Project Zero We want to thank Citizen Lab for sharing a sample of the FORCEDENTRY exploit w...

State of the art for unikernels. Contribute to seeker89/unikernels development by creating an account on GitHub.

eBPF Service Mesh - How we can build an eBPF-based service mesh in the kernel to replace the complex sidecar model

A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR - vnmakarov/mir

The single instruction C compiler. Contribute to xoreaxeaxeax/movfuscator development by creating an account on GitHub.