- Programming in assembly language tutorial
- Learning Assembly
- https://www.nand2tetris.org/
- x86 bare metal examples
- https://wiki.skullsecurity.org/Assembly
- https://github.com/RPISEC/MBE
- http://opensecuritytraining.info/LifeOfBinaries.html
- http://opensecuritytraining.info/IntroX86.html
- x86 Assembly: Hello World! - John Hammond
- Quick Tips For Learning Assembly and Reverse Engineering at The Same Time - OALabs
- [Compiling to Assembly from scratch - Vladimir Keleshev]
- Nightmare, intro to reverse engineering course based around ctf challenges
- Reverse Engineering
- Reverse Engineering for Beginners
- Exploit development - Sam Bowne
- Binary Exploitation and Memory Corruption - LiveOverflow
- Insecture Programming
- Smashing the stack for fun and profit
- MBE: Course materials for Modern Binary Exploitation by RPISEC
- CNIT 127: Exploit Development
- exploit.education
- Practical Reverse Engineering: x86, x64, ARM, Windows Kernel, Reversing Tools, and Obfuscation by Bruce Dang, Alexandre Gazet, Elias Bachaalany
- Hacking, the Art of Exploitation - Jon Erikson
- The Shellcoders Handbook - Anley, Heasman, Lindner and Richarte
- Gray Hat Hacking The Ethical Hacker's Handbook
- The Art of Software Security Assessment: Identifying and Preventing Software Vulnerabilities
- The IDA Pro Book: The Unofficial Guide to the World’s Most Popular Disassembler by Chris Eagle
- A Bug Hunter’s Diary: A Guided Tour Through the Wilds of Software Security by Tobias Klein
- https://www.corelan.be/ 652 Fantastic Exploit Development tutorials
- http://www.fuzzysecurity.com/ 355 More Great tutorials
- http://opensecuritytraining.info/ 366 Free courses with lots of content
- http://www.securitytube.net/ 250 The Megaprimers are awesome
- https://labs.integrity.pt/articles/from-0-day-to-exploit-buffer-overflow-in-belkin-n750-cve-2014-1635/
- https://web.archive.org/web/20121110045053/http://www.violentpython.org/wordpress/?
- http://shell-storm.org/blog/A-binary-analysis-count-me-if-you-can/
- https://samsclass.info/
- https://blog.skullsecurity.org/
- https://www.youtube.com/playlist?list=PLhixgUqwRTjxglIswKp9mpkfPNfHkzyeN
- https://www.youtube.com/playlist?list=PLhixgUqwRTjxglIswKp9mpkfPNfHkzyeN
- https://github.com/justinsteven/dostackbufferoverflowgood
- https://blog.skullsecurity.org/category/ctfs
- https://www.reddit.com/r/AskNetsec/comments/5i73db/path_to_exploit_developer/db61ken/
- http://www.myne-us.com/2010/08/from-0x90-to-0x4c454554-journey-into.html
- https://www.reddit.com/r/AskNetsec/comments/5i73db/path_to_exploit_developer/db61ken/
- https://www.sans.org/event/sans-europe-pen-test-special-2020/course/advanced-exploit-development-penetration-testers
- https://github.com/tylerha97/awesome-reversing
- http://www.pentest.guru/index.php/2016/01/28/best-books-tutorials-and-courses-to-learn-about-exploit-development/
- http://opensecuritytraining.info/Exploits1.html
- https://www.corelan.be/index.php/2009/07/19/exploit-writing-tutorial-part-1-stack-based-overflows/
- http://opensecuritytraining.info/Exploits2.html
- https://github.com/demi6od/Smashing_The_Browser
- HackerSploit https://www.youtube.com/channel/UC0ZTPkdxlAKf-V33tqXwi3Q
- https://samsclass.info/127/127_F19.shtml
- https://github.com/r0hi7/BinExp
- https://insecure.org/stf/smashstack.html
- http://opensecuritytraining.info/
- https://portswigger.net/web-security
- http://pwnadventure.com/
- https://github.com/guyinatuxedo/nightmare
- https://sourcery.pwnadventure.com/
- https://guyinatuxedo.github.io/
- https://ropemporium.com/
- https://0x0539.net/
- https://pwnable.xyz/
- https://www.hackthebox.eu/individuals
- Distributed systems for fun and profit
- History of the Impossibles - CAP and FLP
- FLP and CAP aren't the same thing
- Readings in Database Systems - Peter Bailis, Joseph M. Hellerstein, Michael Stonebrake
- The Log: What every software engineer should know about real-time data's unifying abstraction - Jay Kreps
- Readings in Distributed Systems - Christopher Meiklejohn
- The Part-Time Parliament
- Viewstamped Replication: A New Primary Copy Method to Support Highly-Available Distributed Systems
- Fast Paxos
- Paxos Made Moderately Complex
- Distributed Snapshots: Determining Global States of Distributed Systems
- Forward and Backward Simulations Part I: Untimed Systems
- An Axiomatic Proof Technique for Parallel Programs I
- Proving Liveness Properties of Concurrent Programs
- Leslie Lamport's The TLA+ Video Course
- raft.tla
- Dr. TLA+ Series - Raft
- Dr. TLA+ series - learn an algorithm and protocol, study a specification
- Distributed systems for fun and profit
- Designing Data Intensive Applications - Martin Kleppmann
- Replication: Theory and Practice
- Introduction to Reliable and Secure Distributed Programming
- A Note on Distributed Systems
- MapReduce: Simplified Data Processing on Large Clusters
- Dynamo
- An overview of clock synchronization
- Impossibility of Distributed Consensus with One Faulty Process
- Harvest, Yield and Scalable Tolerant Systems
- Unreliable Failure Detectors for Reliable Distributed Systems
- Survey on Scalable Failure Detectors
- Life beyond distribuyed transactions
- Two phase commit
- Three phase commit
- Paxos
- Chubby
- Zookeeper
- A Quorum-based Commit Protocol
- Bully algorithm
- How to Build a Highly Available System Using Consensus
- Distributed Snapshots: Determining Global States of a Distributed System
- Atomic broadcast
- Gossip
- Chain Replication for Supporting High Throughput and Availability
- GFS
- Spanner
- F1
- Chubby
- BigTable
- MillWheel
- Omega
- Dapper
- Paxos Made Live
- The Tail At Scale
- Dryad
- Cassandra
- Ceph
- RAMCloud
- HyperDex
- PNUTS
- Azure Data Lake Store
- CAP Twelve Years Later: How the "Rules" Have Changed
- Fallacies of distributed computing
- You Can’t Sacrifice Partition Tolerance: In which there are limits to the CAP conjecture
- Fallacies of distributed computing
- Two Generals' Problem
- Byzantine fault
- Vector clock
- Quorum
- baseds: Exploring the basics of distributed systems
-
https://mukulrathi.com/create-your-own-programming-language/intro-to-compiler/
-
https://cs3110.github.io/textbook/chapters/interp/typecheck.html
-
How I wrote my own "proper" programming language - Mukul Rathi
-
Introduction to Compilers and Language Design - Douglas Thain
- lambda calculus
- p2p
- compiler for QBE / LLVM
- Hindley–Milner type system / W Algorithm
- bittorrent client
- dht
- trees: merkle tree, lsm
- consensus algorithms: raft
- crdts
- snarks / starks
- american fuzzy lop
- symbolic execution
- tla+
- Nic Carter: Bitcoin Core Values, Layered Scaling, and Blocksize Debates
- Balaji Srinivasan - Bitcoin and Ethereum, Crypto Oracles, and More
- Raoul Pal Discusses with Punk6529: NFTs, IP Rights & The Metaverse
- Michael Saylor: Bitcoin, Inflation, and the Future of Money
- The Networked State - Balaji Srinivasan
- Cancelled Nickel Trades on the LME - Patrick Boyle
- But how does bitcoin actually work?
- Bitcoin paper
- Ethereum paper
- Understanding the Ethereum Blockchain Protocol - Vitalik Buterin
- Cryptoeconomics In 30 Minutes - Vitalik Buterin
- Trie, Merkle, Patricia: A Blockchain Story
- Stanford CS 251: Cryptocurrencies and Blockchain Technologies
- MIT 15.S12 Blockchain and Money - Gary Gensler
- Learn Solidity in Y minutes
- Solidity by Example
- Crypto Zombies
- Peter's Solidity Recruitment Test
- BuidlGuidl is a curated group of Ethereum builders
- EVM Deep Dives: The Path to Shadowy Super Coder
- EVM: From Solidity to byte code, memory and storage
- Ethereum Virtual Machine
- Ethereum VM and Consensus by Fredrik Haga
- Ethernaut
- Honeypot
- Honeypots in Ethereum And How To Avoid Them
- Damn Vulnerable DeFi
- Solidity Security: Comprehensive list of known attack vectors and common anti-patterns
- Capture the Ether
- Understanding MEV - with Georgios Konstantopoulos, Dan Robinson, and Hasu
- Interview with a Searcher - with MEV Senpai and Hasu
- Flash Boys 2.0: Frontrunning, Transaction Reordering, and Consensus Instability in Decentralized Exchanges
- MEV 101
- Hasu gets STARK-pilled - with Eli Ben-Sasson
- Cairo – a Turing-complete STARK-friendly CPU architecture
- Vitalik's introduction to how zk-SNARKs are possible
- Vitalik's post on quadratic arithmetic programs
- Comparing General Purpose zk-SNARKs
- Elliptic Curve cryptography explained
- Elliptic curves - Trustica
- Ellitpic curves in simple Weierstrass form - Trustica
- 18.783 Elliptic Curves
- 18.783 Elliptic Curves Lecture #9 - The discrete logarithm problem
- Zero Knowledge from the Discrete Logarithm Problem
- The missing explanation of ZK-SNARKs: Part 1 - David Wong
- The missing explanation of zk-SNARKs: Part 2 - David Wong
- Why and How zk-SNARK works - Maksym Petkus
- zkSNARKs in a nutshell - Christian Reitwiessner
- An approximate introduction to how zk-SNARKs are possible - Vitalik Buterin
- Quadratic Arithmetic Programs: from Zero to Hero - Vitalik Buterin
- Exploring Elliptic Curve Pairings - Vitalik Buterin
- zk-SNARKs: Under the Hood - Vitalik Buterin
- The Mathematics behind zkSNARKS - Mirco Richter
- STARKs, Part I: Proofs with Polynomials - Vitalik Buterin
- STARKs, Part II: Thank Goodness It's FRI-day - Vitalik Buterin
- STARKs, Part 3: Into the Weeds - Vitalik Buterin
- Bridgewater Associates
- DX Analytics
- Risk Management - Pasquale Cirillo
- Economics of Money and Banking - Perry Mehrling
- Quantitative Risk Management - Pasquale Cirillo
- Financial Mathematics - Pasquale Cirillo
- Python for Computational Finance - Yves Hilpisch
- Demystifying Rebalancing Premium and Extending Portfolio Theory in the Process - Vladislav Dubikovsky, Gabriele Susinno
- Rough Volatility Literature
- Radical Complexity - Jean-Philippe Bouchaud
- Buy Rough, Sell Smooth - Paul Glasserman, Pu He
- Rough volatility - Jim Gatheral
- Fragile Markets — Understanding the dynamic of a Flash Crash - Harel Jacobson
- Liquidity, Volatility, and Information Asymmetry - Harel Jacobson
- So You Want to Trade Options — Volatility Trading 101 - Harel Jacobson
- Delta Hedging made simple (sort of…) - Harel Jacobson
- Volatility Smile and Delta Hedging (Part 1) — Getting intimate with the vol surface - Harel Jacobson
- Turbocharging Derivatives — Variance, Convexity, and Everything in Between - Harel Jacobson
- Trading Volatility Roughness — Rethinking Statistical Arbitrage - Harel Jacobson
- A Brief History of Volatility Models - Harel Jacobson
- A Story of Liquidity, Volatility, and Returns - Nope, it's Lily
- A brief history of volatility models - Harel Jacobson
- Money - Perry Mehrling
- What is Money, Anyway? - Lyn Alden
- Bagehot was a Shadow Banker: Shadow Banking, Central Banking, and the Future of Global Finance - Perry Mehrling
- The two cultures of mathematics
- Introduction to Computational Thinking - Alan Edelman, David P. Sanders and Charles E. Leiserson
- Matrix Methods in Data Analysis, Signal Processing, and Machine Learning
- Essence of linear algebra - 3blue1brown
- Linear Algebra - Steve Brunton
- Introduction to Applied Linear Algebra - Stephen Boyd
- Linear Algebra Done Right - Sheldon Axler
- The Essence of Calculus - 3blue1brown
- Measure theory - The Bright Side Of Mathematics
- Functional Analysis - The Bright Side Of Mathematics
- Distributions theory - The Bright Side Of Mathematics
- Complex analysis - Richard E. Borcherds
- Fourier Analysis - Steve Brunton
- Visual Complex Functions: an Introduction with Phase Portraits - Elias Wegert
- Complex Analysis - Serge Lang
- Probability The Science of Uncertainty and Data -John Tsitsiklis
- Fundamentals of Statistics - Philippe Rigollet
- Random Walks - Santa Fe Institute
- The Logic of Science by E.T. Jaynes
- Introduction to Statistical Learning Series - Robert Tibshirani and Trevor Hastie
- Practical Deep Learning for Coders
- Part 2: Deep Learning from the Foundations
- Geometric Deep Learning - Michael Bronstein
- Nonlinear Dynamics: Mathematical and Computational Approaches - Santa Fe Institute
- Introduction to Dynamical Systems and Chaos - Santa Fe Institute
- Data-Driven Dynamical Systems Overview - Steve Brunton
- Parallel Computing and Scientific Machine Learning - MIT 18.337J
- Abstract Algebra - Socratica
- Abstract (Modern) Algebra - Bill Kinney
- Rings and modules - Richard E. Borcherds
- Abstract Algebra - Michael Artin
- Visual Group Theory - Matthew Macauley
- Algebra - Serge Lang
- Topics in Algebra - Herstein
- Elementary Number Theory: Primes, Congruences, and Secrets - William Stein
- Algebraic Number Theory
- Introduction to number theory - Richard E. Borcherds
- Theory of numbers - Richard E. Borcherds
- More is different - Anderson
- What is complexity? Remarks on simplicity and complexity - Gell-Man
- Numerical Evidence That the Motion of Pluto Is Chaotic - Gerald Jay Sussman, Jack Wisdom
- Deterministic nonperiodic Flow - Edward Lorenz
- Intermittent transition to turbulence in dissipative dynamical systems - Yves Pomeau, Paul Manneville
- Roads to turbulence in dissipative dynamical systems - Eckmann