Comprehensive Rust 🦀: Rust course used by the Android team at Googlehttps://github.com/google/comprehensive-rust
GitHub
GitHub - google/comprehensive-rust: This is the Rust course used by the Android team at Google. It provides you the material to…
This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust. - google/comprehensive-rust
👍3
Obfuscated Tiny C Compiler: Deobfuscated
https://xorvoid.com/otcc_deobfuscated.html
https://xorvoid.com/otcc_deobfuscated.html
SectorC: A C compiler in 512 bytes
https://xorvoid.com/sectorc.html
https://xorvoid.com/sectorc.html
👍3
What's the right hash table API? (C++)
https://brevzin.github.io/c++/2023/05/23/map-api/
https://brevzin.github.io/c++/2023/05/23/map-api/
Barry’s C++ Blog
What’s the right hash table API?
The Associative Container API
👍1
ROPfuscator: a fine-grained code obfuscation framework for LLVM-supported languages using ROP (return-oriented programming)https://github.com/ropfuscator/ropfuscator
GitHub
GitHub - ropfuscator/ropfuscator: ROPfuscator is a fine-grained code obfuscation framework for C/C++ programs using ROP (return…
ROPfuscator is a fine-grained code obfuscation framework for C/C++ programs using ROP (return-oriented programming). - ropfuscator/ropfuscator
🔥1
Software licenses masquerading as open source (OpenSource Licenses in the current AI Boom Context)
https://marble.onl/posts/software-licenses-masquerading-as-open-source.html
https://marble.onl/posts/software-licenses-masquerading-as-open-source.html
Programming Deadlock
Multi-Quine Relay https://github.com/mame/quine-relay
Radiation-hardened Quine: A robust self-printing program written in Ruby. It works even if you delete one character anywhere from the code.https://github.com/mame/radiation-hardened-quine
GitHub
GitHub - mame/radiation-hardened-quine: A robust quine program that works even after any one character is deleted.
A robust quine program that works even after any one character is deleted. - mame/radiation-hardened-quine
The seven programming ur-languages
https://madhadron.com/programming/seven_ur_languages.html
https://madhadron.com/programming/seven_ur_languages.html
Large-scale Systems Architecture - Jason Gregory of Naughty Dog discusses the architectural details behind the codebases of large, triple-A games like Uncharted and The Last of Us.
https://youtu.be/gpINOFQ32o0
https://youtu.be/gpINOFQ32o0
YouTube
HandmadeCon 2016 - Large-scale Systems Architecture
Jason Gregory (https://twitter.com/jqgregory) of Naughty Dog discusses the architectural details behind the codebases of large, triple-A games like Uncharted and The Last of Us.
From the fourth session of HandmadeCon 2016. See https://handmadecon.org for…
From the fourth session of HandmadeCon 2016. See https://handmadecon.org for…
👍1🔥1
Wyvern: A Simple, Typed, and Pure Object-Oriented Language
https://www.cs.cmu.edu/~lnistor/maspeghi13.pdf
https://www.cs.cmu.edu/~lnistor/maspeghi13.pdf
Breaking Through the Normalization Barrier: A Self-Interpreter for F-omega
https://web.cs.ucla.edu/~palsberg/paper/popl16-full.pdf
https://web.cs.ucla.edu/~palsberg/paper/popl16-full.pdf
Concepts for higher-kinded types in C++20
https://mmore500.com/cse-491/blog/2020/02/24/concepts-monads.html
https://mmore500.com/cse-491/blog/2020/02/24/concepts-monads.html
CSE 491
Concepts for higher-kinded types in C++20
👍3
Counterexamples in Type Systems: programs that crash, segfault or explode
https://counterexamples.org/intro.html
https://counterexamples.org/intro.html
❤2
An Introduction to Algebraic Effects and Handlers
https://www.eff-lang.org/handlers-tutorial.pdf
https://www.eff-lang.org/handlers-tutorial.pdf
❤1👍1
First-class modules: hidden power and tantalizing promises
https://okmij.org/ftp/ML/first-class-modules/first-class-modules.pdf
https://okmij.org/ftp/ML/first-class-modules/first-class-modules.pdf
👍1
Parametric Higher-Order Abstract Syntax for Mechanized Semantics
http://adam.chlipala.net/papers/PhoasICFP08/PhoasICFP08.pdf
http://adam.chlipala.net/papers/PhoasICFP08/PhoasICFP08.pdf
👍1
Elaboration in Dependent Type Theory
https://arxiv.org/pdf/1505.04324.pdf
https://arxiv.org/pdf/1505.04324.pdf
👍1