1. Introduction
    ❱
    1. About
  2. News
    ❱
    1. 2024 Fall
    2. 2024 Spring
  3. Notes
    ❱
    1. Android
    2. Automation Software
      ❱
      1. Chatbot Prompt
      2. ChatGPT
      3. Command-Line Utilities
      4. Hammerspoon
    3. Books
    4. Browsers
    5. Computer Science
      ❱
      1. Discrete Mathematics for Computer Science
      2. Machine Learning
      3. Networking
    6. Data Science
      ❱
      1. Visualization
    7. Documentation
      ❱
      1. Pandoc
    8. Exams
      ❱
      1. TOEFL
    9. Financial
      ❱
      1. Monero
      2. Stocks
        ❱
        1. Robinhood
      3. Tax
    10. Government
      ❱
      1. United States
    11. macOS
      ❱
      1. Sucklessfy
    12. Mathematics
      ❱
      1. Abstract Algebra
      2. Arithmetics
      3. Calculus
        ❱
        1. Differential Equation
        2. Geometric Vector
        3. Multivariate Calculus
        4. Parametric Equation
        5. Sequence and Series
      4. Complex Analysis
        ❱
        1. Complex function
        2. Complex Sequence and Series
      5. Linear Algebra
      6. Numerical Analysis
      7. Proof
      8. Real Analysis
      9. Shorthand
      10. Topology
    13. Package Manager
      ❱
      1. Cargo
      2. Homebrew
      3. Gem
      4. Nix
      5. NPM
      6. Pacman
      7. Pip
      8. TeXLive Manager (tlmgr)
      9. Rye
    14. Programming
      ❱
      1. C
        ❱
        1. clang
      2. Elixir
      3. Git
      4. Gleam
      5. Java
      6. JavaScript
        ❱
        1. MathJax
      7. Julia
      8. Kotlin
      9. Lua
      10. Perl
      11. Python
        ❱
        1. tqdm
      12. Mathematica
      13. MATLAB
      14. MIPS Assembly
      15. PostgreSQL
      16. Racket
      17. Ruby
        ❱
        1. Rails
      18. Rust
      19. R lang
      20. Shell
      21. TimescaleDB
      22. Trail
    15. Referral Links
    16. Research Notes
      ❱
      1. 🤖 web agent literature review
      2. 🤖 distributed verification literature review A
      3. 🤖 agent evaluation procedure from distributed-verification literature
      4. 🤖 distributed verification literature database
      5. 🤖 research topic studies
        ❱
        1. 🤖 istributed systems: takeaways
        2. 🤖 ormal verification and Rust research notes
        3. 🤖 ther topics: literature takeaways
        4. 🤖 eb measurement and LLM detection
      6. 🤖 verified distributed systems, review B: what we know and where to start
      7. 🤖 Paper takeaways
        ❱
        1. 🤖 Specification generation and quality
        2. 🤖 Proof and invariant synthesis
        3. 🤖 LLM agents, benchmarks, evaluation
        4. 🤖 Distributed and concurrent systems
        5. 🤖 Rust and Verus verification
        6. 🤖 SMT solvers
        7. 🤖 Other formal methods
        8. 🤖 Other
        9. 🤖 Garbage
      8. 🤖 Literature shortlist for Verus work
      9. 🤖 Formal verification techniques, by paper
      10. 🤖 Agave Verification Sizing
      11. 🤖 Agent Frontier
      12. 🤖 P3 Joint Program-and-Proof Planning
      13. 🤖 StarVerus
      14. 🤖 Vero
      15. Browser Agent
      16. DeGenTWeb
        ❱
        1. Arguments
        2. Literature
        3. Changelog
        4. Google Trends
        5. Preliminary Binoculars Evaluation
        6. Ad Extraction
        7. Filter out Non-Article
        8. Baseline Websites
        9. Classifying Websites
        10. Common Crawl
        11. Deprecated
      17. Healthcare
      18. Generative AI
      19. JSphere
        ❱
        1. Literature
        2. Execution
        3. Notable APIs
        4. Analysis of popular API calls
        5. Analysis of selected YouTube scripts API calls
        6. The eval Trick
        7. Classification Results
      20. MLsys
      21. Photo Crypto Auth
        ❱
        1. C2PA-Related Papers
        2. Peripheral Literature
        3. C2PA Camera Apps Investigation
        4. GenAI: Problems Introduced and Countermeasures
      22. Removal Services
      23. Static Analysis
      24. Web Atoms
      25. Web Crawling
      26. Web User-Facing
    17. Server
      ❱
      1. NFS
      2. SSH
    18. Soft Skill
      ❱
      1. Art and Business
      2. Management
      3. Paper Presentation
    19. Storage
      ❱
      1. GitHub
    20. USC Living
    21. Text Editor
      ❱
      1. Vim
      2. Visual Studio Code
      3. Xcode
    22. Unstructured Bug Notes
    23. Unstructured Class Notes
      ❱
      1. Advanced Analysis of Algorithms
      2. Advanced Computer Networking
      3. Advanced Natural Language Processing
      4. Advanced Operating Systems
      5. Algorithms and Databases
      6. Artificial Intelligence
      7. Cloud Computing
      8. Introduction to Databases
      9. Introduction to Programming and Data Structures
      10. Networked Systems for Cloud Computing
      11. Probability, Random Variables, and Stochastic Processes
      12. Probability and Statistics
      13. Linear Algebra
      14. Speech Recognition
      15. Statistical Machine Learning
    24. Unstructured Reading Notes
  4. Blogs
    ❱
    1. Replacing an AirTag Battery was Frustrating
    2. My Programming Language Journey: How I Ended Up Using Rust and Python Most After Trying A Dozen Languages
    3. ~300× Speed Up in Rust: Finding Inexact Matches in Nested Sets
    4. Creating Perfect Grayscale-Gradient Colormaps
    5. What an mdBook Preprocessor Does
    6. Drafts
      ❱
      1. Learn Like Machine Learning Models
      2. We are Learning Async Rust Wrong
      3. Design Patterns Reveal OOP is Inherently Unsuitable for Systems
    7. Deprecated
      ❱
      1. How did we get here? WordPress?
  5. Curriculum Vitae
  6. Private
    ❱
    1. Business
      ❱
      1. Auction Package Redirection
      2. Phone Screen Protector
    2. Diary
      ❱
      1. start
        ❱
        1. VSCodium
        2. The Run
        3. Feeling Lost
        4. Linux VM and Neovim
      2. Back from Duke
        ❱
        1. Elixir Phoenix
        2. mdbook-katex
      3. Spring 2024 Ideas
        ❱
        1. Rethinking The Web
        2. Rust
      4. Spring 2024 Activities
      5. IMC '24
      6. Recovering Files on Exxact
      7. IMC 2025 Record