Skip to content

notes

Pattern Matching

Initializing search

Hello, World!
blog
pl
math
programming
graphics
self improvement
inbox
old

notes

Hello, World!
blog
blog
- Archive
pl
pl
- type theory
  type theory
- design
  design
  - Pattern Matching
- oil
  oil
math
math
programming
programming
- Design & Software Engineering
- Concepts & Techniques
- Functional Programming
- Todo
- dsa
  dsa
  - Segment Tree
  - Range query
- Haskell
- Ocaml
- Rust
- C++
graphics
graphics
self improvement
self improvement
- Critical Thinking
- Memory
- Learning
- Supplements
- nutrition
  nutrition
  - metabolism
inbox
inbox
- compiler
- data hoarding
- editor ideas
- engineering a compiler
- Exploit 6 days a week
- long term goals
- goals
- smart goals and habits
- Home lab
- Life book
- magic
- Privacy
- projects
- State obvious ideas
- tasks
- papers
  papers
  - Thompson reflections on trusting trust
old
old
- kernel
  kernel
  - Linux kernel notes
  - Virtualization
  - debugging
    
    debugging
    
    qemu vm windows kernel debugging
- games
  games
- ctf
  ctf
- red-team
  red-team
  - kernel
    kernel
    
    VBS
  - Web
  - Fuzzing
  - Malware
  - Defense evasion
- pwn
  pwn
  - stack
    
    stack
    
    ROP
  - heap
    
    heap
    
    unsafe-unlink exploit
- malware
  malware
  - malware/kernel
    malware/kernel
    
    dkom
    
    dkom
    
    Hiding processes
  - Linux
- ml
  ml

Pattern Matching

The Ultimate Conditional Syntax: https://cse.hkust.edu.hk/~parreaux/papers/ultimate-conditional-syntax-ml22/

Made with Material for MkDocs