tla+, p-lang, property-based testing, simulations
CppCon 2025 Type Traits without Compiler Instrinsics: Promise of Static Reflection -- Andrei Zissu
isocpp.orgΒ·17h
Creating an assembler for a custom CPU
popovicu.comΒ·14h
I finally understand how AI can handle legal paperwork better than humans.
threadreaderapp.comΒ·3h
Loading...Loading more...