Home
Github: lambdaJasonYang
"Insert some cliche inspirational quote here"
Welcome to my Haskell-powered notebook!
Here are my notes for the tidbits of knowledge I've collected over the years.
Posts
- Visualize Callcc
- Literature review
- Quick Matlab
- Quick Mathematica Utils
- Quick Mathematica Graphs
- Quick Mathematica
- SVG
- Autobuild Nextjs github pages
- CI/CD in GithubAction
- Calling Github APIs
- Git Crashcourse
- CSS Flexbox Grid
- CSS
- Bootstrap
- Blockchain
- TLA
- Haskell snippets
- Pyplot matplotlib
- Pandas
- Rosetta 2
- Rosetta 1
- Quirky Python Traps
- Quick Setup
- Quick Rust
- Quick Redis
- Quick R
- Quick ProtoBuf
- Quick Microservice
- Quick MQTT
- Quick GraphQL
- Quick Golang Tooling
- Quick Golang 0
- Quick Golang 1
- Quick Erlang
- Quick ASP
- Python Snippets
- Frames Scope and Python
- Shallow vs Deep copy
- Promises Callback GraphQL and fetch
- Go Snippets
- Programming Lang Idiosyncrasies and Similarities
- Everything is a pointer perspective
- Android Jetpack
- makefile
- NQueen in Haskell
- Setup Kubernetes Cluster
- Kubernetes Linkerd
- Setup Kubernetes Cluster k3
- Kubernetes
- Docker - linux container file structure
- Docker Compose
- Docker Snippets
- Docker
- Dapr
- TFTP
- WebGL
- Unreal Engine and C++
- Unreal Engine and Android Setup
- SQL code snippets with golang js
- SQL Normalization - 1NF 2NF 3NF
- Quick SQL dashboard
- Quick SQL 2
- Quick SQL 1
- Quick Postgres SQL Setup on rpi
- Mongodb
- Interfaces, Class Composition, Diamond Problem
- UML and Design Patterns
- System Design
- Software Engineering lessons
- OOP Class Access Modifiers Public Private
- Distributed Systems, CAP, Raft
- Dependency Injection, Design Patterns, OO vs FP
- Dependencies, Arrows and Confusion
- Debug
- Data Driven Design Notes
- Agile
- Cloudflare
- Cloudflare R2
- Understanding Google Analytics
- Understanding Google Analytics
- Lessons from Haskell
- Excursions with plotting big data
- Authentication OAuth2 SAML
- 3d plots and Contour plot
- visx
- Typescript
- Typescript tsconfig.json
- Threejs
- Svelte
- StoryBook and Rollup
- Service Worker and Web Workers
- React vs JS
- Dom Tree rendering in VanillaJS and React
- Conditional rendering JS React
- Quick Redux
- Quick React class
- Quick React Mistakes
- Quick React Guide
- Quick React Colocated Component library with Demo
- Quick React 4 Hooks State Machine
- Quick React Part 3 - Real world scenarios
- Quick React Part 2
- Quick React
- Quick PHP
- Quick Nextjs Deploy
- Quick Nextjs
- Quick Express
- example page
- Monorepo
- Min - Login System Express
- JWT
- JS Functions that Replace HTMLElement
- JS and file Blobs
- JS WebAPIs and Website CORS
- Closures in JS, Python
- JS Modules and NPM packages
- Graph libraries in JS
- Closures in JS, Python
- JS Async Await
- Vega and uplot
- Making npm packages, typedoc, storybook
- Quick AWS SQS SNS
- Quick TerraForm
- Quick AWS EC2 VPC
- Quick AWS 2 - S3
- Quick AWS Achitecture
- Appsync VTL JS Pipeline Resolvers
- Quick AWS CDK
- Quick AWS DynamoDB
- Quick AWS Cognito
- Quick AWS AppSync
- Quick AWS Amplify Studio
- Quick AWS Amplify
- Web Components
- Array of Bytes and UTF-8 encoding
- Bookmarks
- HTTP requests - Design proper headers in python
- HTTP TLS(SSL) Certificates
- React Native
- Alexa
- P = NP question
- Trace and Decorators reinvented in python
- HAPROXY
- Mathematica - Visual Logic
- Mathematica - intro Calc part 1
- Mathematica - Determinant
- Mathematica - Convolution
- Mathematica - Binomial Theorem = Probability, Search algo visualization
- Quick Springboot 2
- Springboot project
- Quick Springboot
- Haskell prog lang
- Translate Sequent Calculus to ND
- Compilers and REPL
- What is Pattern matching?
- Parser
- Operational Calculus
- ND
- List Functors Lambda Laziness
- Linear Logic
- Lattices
- Language and Category theory
- Lambdas abstractions Types, Term building
- Quick Homotopy Type Theory
- HomSet
- Sequents and Gentzen Cut
- Categorical UML
- Category theory Notes
- Category theory for programmer notes
- Recursion - Slicing the tail of list is impure
- Implementing Stream with lambdas
- Monads, Bind, Return
- For Loops, Tail recursion, and Left fold
- Fold and Induction
- Applicative
- Mutual recursion
- Convert Recursion to Iteration
- Recursion Induction Duality
- Recursion Scenarios
- Recursion + global/referenced/object/array variables
- Proof Downward Induction AM-GM
- List of Induction problems
- Recursive Code for Downward Induction
- Lean Proof trees to Types
- TAPL Untyped Arith Haskell
- Logical Foundations notes Coq + Lean
- Lean Simple Prog Lang implementation
- Lean make a library
- Navigate Lean Repo
- Lean 3 (archive)
- Lean Mathlib
- Lean - Dependent Type
- Lean 4 Tut
- Intro Lean 3
- Intro Lean Functors and Structures/Product Types
- Intro Lean (archived)
- How to tell if a 'Type Constructor' is a Functor?
- Topology
- Top Theorems
- Real Analysis
- Hilbert Space
- condensed set
- Algebraic Topology
- Math for ML Notes
- Quick Pytorch template 1
- Quick Pytorch
- EBM deep learning with Pytorch
- PySpark Graph Frames
- PySpark ML recommender
- PySpark MLlib
- PySpark Structured Streaming
- PySpark RDD
- PySpark
- NLP
- Logic Neuron Mathematica
- Simulate Linear Regression with Torch
- Quick JAX 1
- HyperParameters
- Energy Based Models
- CNN Convolution and Pooling
- CNN
- Boltzmann probability distribution
- The general method for neural nets
- Import or Generate Sample Data
- Regression and OLS
- Lookahead Bias
- Testing for normal dist with Kolmogorov-Smirnov
- Central Limit Theorem
- Quick Stats Part 1
- Generate Random Samples and Probability Distribution
- Measure theory and probability
- Intro To Statistical Learning Notes Mathematica
- Data Science
- Bayesian Probability
- PCA
- Matrices
- Math51 notes
- Inner Product and Norms
- Group Theory
- Eigenvectors
- Abstract Linear Algebra
- Abstract Algebra
- Unitless dimensions - Pi Avogadro Coulomb
- Differential Equations 1
- Penrose Physics notes
- Maxwell Equations
- Derive kinematics + motion w/ calculus
- Feynman Physics notes
- Differential Equation - Finding Steady States
- Calculus
- ControlSystems
- Circuits
- Genetics and Bio lab techniques
- Math Biology
- Chemistry
- Convex Optimization
- Springboot gateway
- Spring Design Patterns
- Python Concurrency
- Linear Regression and Matrices
- Bio Research Terms
- BioChem 2
- BioChem
- Applied Bio
- Thinkscript
- Options Derivatives Notes
- Trading Indicators
- Stochastic calculus and brownian motion
- Quant Porfolio Tactics
- Quant Basic Statistics
- Market Concepts
- Import, load, FRED, TDtrade in python, R
- Industries
- Global Economy
- Finance terms
- Loading and Plotting Financial Data
- Exam P
- Exam IFM
- Edgar
- Econ terms
- Econ Notes
- Geometric Series Banking
- Discount Rate
- Decision Minimax/min
- Cointegration and Spreads
- Case Studies Stocks and Bonds
- python FTP SMTP POP3 IMAP DNS
- Transfer files SFTP
- Pen Testing 3 SQL, Burp
- Pen Testing 2
- Pen Testing
- Linux annoying setup commands
- Hashing
- Formatting SDcard
- Misc CyberSecurity
- Android and Bash
- Flashing OpenIPC camera
- HyperV on a home server
- Remote Desktop Audio to phone
- Pen Testing OpenWrt
- Monitor Phone Packets
- HyperV Expand win 10 VM virtual hard drive space
- Simple
- xv6
- Linux and Networking
- Operating Systems
- NANDgame circuit
- Linux Kernel
- BootLoader and OS
- C .so Dynamic libs ldconfig ldd
- Learn C
- Quick C++ Header and Doxygen
- Quick C++
- Quick C
- C Pointers
- Makefile
- MPI
- Linux and C header location
- Y Combinator, Partial Recursive functions
- Russell's Paradox, AST and Bears
- Language, Teaching and Set theory
- Proofs SAT Boolean Circuits SMT
- Primes
- Patterns
- Generating Functions
- Functional equations
- Euler, Complex and Imaginary
- Discrete Math
- Combinatorics
- Building Natural numbers from Sets with python
- SVD
- Z3
- Markov Chain and State machines
- FFT DFT
- Proof - BFS gets shortest distance
- Problem with DFSA State machines and Regex
- Competitive file IO
- Proof - Greedy Algo
- Graph theory
- Algorithm Problem Sets
- CLRS Algos
- CF Problem Sets
- Bitwise Operations and Sets
- Data Struct - Balanced Trees
- Shipping
- Sewing machines
- IPS TN computer Screens, resolution, refresh rate
- Random Shortcuts
- Transactional Analysis
- Property Loans
- Economic Report
- Philosophy
- Music Theory
- Kantian Philosophy
- Property Construction House
- Home Wiring Rookie mistake
- HVAC
- Cruise
- Panasonic SD-MDX102-K Breadmaker Translated
- ncat
- dotfile
- WIP PGW api
- Vim
- Updating Hakyll posts
- Table Of Content in Hakyll
- Coq Setup
- Add Railroad Syntax to Hakyll
- PlantUML diagram list
- Hakyll Pandoc filtering
- Markdown Styling
- Load Testing Vegeta Locust
- Linux 1 USB
- LaTeX TexLive LaTex Workshop
- hostapd access point
- Hakyll stork search
- Adding Mathjax to Hakyll in 2021
- Integrate PlantUML diagrams into Hakyll (Updated)
- Integrate PlantUML diagrams into Hakyll (Old)
- Hakyll Bulk rename
- Autobuild Hakyll
- Tabbed Code blocks in Hakyll
- Access Hakyll website on LAN and iptables
- Code-Server
- Setting up Dev Env in linux
- Install QEMU on RHEL 9
- OpenWrt Check who is connected
- OpenWrt - Setup
- OpenVPN and certificates
- OpenWrt - Mesh
- Convert Enterprise printer to a prosumer printer OpnWrt Mesh
- Installing Generic Wifi dongle on Kali/Debian/Linux
- Guide to Choosing Routers
- Setup Frigate NVR
- 2021 Installing Openwrt
- Ender 3 Pro 3d printing setup
- 2021 OpenWrt - Archer C7
- ASDIPADawef
- ASDIPAadwD
- ASDBIPAD
