15-816 Linear Logic / Schedule
Exploiting Intel Graphics Kernel Extensions on macOS | RET2 Systems Blog
The Original 'Lambda Papers' by Guy Steele and Gerald Sussman
A Crash Course for the MinCaml Compiler
15-317 Constructive Logic / Schedule
Tiramisu Compiler | A polyhedral compiler for dense and sparse deep learning and data parallel algorithms
Software Foundations
PLT by steshaw
'operating-system' questions - Stack Overflow
Holbert
jamestmartin/desert-of-the-surreal at f2ed2571ea1b7c3452ccf5594d74c20b540775f9
haskell - What is the combinatory logic equivalent of intuitionistic type theory? - Stack Overflow
A Quick Primer — Mapping High Level Constructs to LLVM IR documentation
RuxpinOS
Go internal ABI specification
Internals of the Nim Compiler
C++ vtables - Part 1 - Basics | Shahar Mike's Web Spot
xxg1413/rust-ctf: rust ctf writeups(Rust CTF解题报告)
XSS Vectors Cheat Sheet
Basic WebAssembly buffer overflow exploitation | protekkt blog
CTF Sites - Biggest Collection Of CTF Sites
XSS game
Google's XSS-Game Solutions
How The Tables Have Turned: An analysis of two new Linux vulnerabilities in nf_tables · David's Blog
W00t3k/Awesome-Cellular-Hacking: Awesome-Cellular-Hacking
Zymrael/awesome-neural-ode: A collection of resources regarding the interplay between differential equations, deep learning, dynamical systems, control and numerical methods.
SciML/SciMLBook: Parallel Computing and Scientific Machine Learning (SciML): Methods and Applications (MIT 18.337J/6.338J)
xairy/linux-kernel-exploitation: A collection of links related to Linux kernel security and exploitation
vaib25vicky/awesome-mobile-security: An effort to build a single place for all useful android and iOS security related stuff. All references and tools belong to their respective owners. I'm just maintaining it.
Google CTF 2021 Quals