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.

We made a server-less virtual Linux environment that runs unmodified Debian binaries in the browser. This is powered by CheerpX, a WebAssembly virtualization platform. Feel free to play with it and report bugs: https://webvm.io

Dynamic polymorphism in C++ has historically meant virtual functions and inheritance. However, these form only one possible design for solving this problem, and they bring several implications on performance, ergonomics and flexibility. Type erasure is another…

What is SFINAE? Where can you use this metaprogramming technique? Are there any better alternatives in Modern C++? And how about Concepts from C++20?
Read on to find out!
Note: I’d like to thank KJ for reviewing this article and providing me with valuable…

Package manager for the C programming language. Contribute to clibs/clib development by creating an account on GitHub.