6 Matching Annotations
  1. Jul 2025
    1. CS

      PLType

      Lecture Notes on Type Theory<br /> Type Theory and Functional Programming.pdf<br /> The Hitchhiker's Guide to Logic.pdf<br /> Foundations for Programming Languages.pdf<br /> Formal syntax and semantics of programming languages<br /> Formal Reasoning About Programs<br /> Computation and reasoning A type theory for computer science

      Language, Parse and Compile

      Language Server Protocol & Implementation <br /> Crafting Interpreters<br /> Introduction to Compilers and and Language Design<br /> Techniques for Searching, Parsing, and Matching.pdf

      LLM, ML, Data

      Deep Learning Architectures<br /> Probability and Statistics for Machine Learning<br /> Machine Learning A Probabilistic Perspective<br /> Large Language Models A Deep Dive<br /> Foundations of Machine Learning<br /> Data Science for Mathematicians <br /> Transformers for Machine Learning

    2. Mathematics

      Functional Analysis

      Optimization by Vector Space Methods<br /> Lectures and exercises on functional Analysis<br /> Convex Functional Analysis<br /> Functional Analysis for Probability and Stochastic Processes<br /> Abstract Calculus A Categorical Approach <br /> Banach-Hilbert Spaces, Vector Measures and Group Representations

      Differential Geometry

      Clifford algebra, geometric algebra, and applications<br /> Mathematical Structures From Linear Algebra over Rings to Geometry with Sheaves<br /> Diffeology<br /> Global Calculus<br /> Manifolds, Tensor Analysis, and Applications<br /> Manifolds, Sheaves, and Cohomology

      Algebra

      Basic algebra groups, rings and fields<br /> Further Algebra and Application<br /> Abstract Algebra - Paul Garrett.

      Linear Algebra

      Algebra An Approach via Module Theory<br /> Linear Algebra via Exterior Products<br /> Rings, Modules, and Linear Algebra<br /> Modules and Homological Algebra<br /> Module theory an approach to linear algebra<br /> 代数学方法I

      Measure, Probability and Statistics

      A Basic Course in Probability Theory<br /> Probability Theory An Analytic View<br /> Probability and Stochastics<br /> Measure-Theoretic Probability<br /> Measure-Theoretic Calculus in Abstract Spaces<br /> Plane Answers to Complex Questions<br /> Mathematical Statistics<br /> Time Series Theory and Methods<br /> The Coordinate-Free Approach to Linear Models<br /> Multivariate Statistics A Vector Space Approach<br /> hypo

      Logic Category Type

      THE OPEN LOGIC TEXT<br /> Categorical Logic and Type Theory

      Algebraic Topology

      Fundamentals of Algebraic Topology<br /> Algebraic Topology - A Structural Introduction<br /> Homology, Cohomology, and Sheaf<br /> Combinatorial Algebraic Topology<br /> Algebraic Foundations for Applied Topology and Data Analysis<br /> Topology A Categorical Approach<br /> hypo

      Combinatorics and Discrete

      Introduction to the Theory of Species of Structures<br /> Discrete Calculus Methods for Counting<br /> Combinatorics the rota way

    3. Programming

      Programming Languages

      What I Wish I Knew When Learning Haskell<br /> JavaScript the Definitive Guide<br /> Beginning C++23.pdf<br /> Programming Rust<br /> The Well-Grounded Rubyist<br /> Mathematica programming an advanced introduction<br /> Advanced R<br /> TypeScript Basics<br /> SQL Query Design Patterns and Best Practices<br /> SQL必知必会<br /> hypo

      Web

      CSS in Depth<br /> Vue.js 3 Design Patterns and Best Practices<br /> React in Depth <br /> Modern Full-Stack Development Using TypeScript, React, Node.js, Webpack, and Docker <br /> Fullstack Web Components<br /> Fullstack Vue 3<br /> Fullstack Rust<br /> Frameworkless Front-End Development<br />

      Penetration

      Black Hat Ruby<br /> Understanding Network Hacks<br /> Metasploit The Penetration Tester‘s Guide<br /> RubyFu