René's URL Explorer Experiment


Title: GitHub - bollu/notes: Latex notes on papers, courses, ideas: Pure math and computer science.

Open Graph Title: GitHub - bollu/notes: Latex notes on papers, courses, ideas: Pure math and computer science.

X Title: GitHub - bollu/notes: Latex notes on papers, courses, ideas: Pure math and computer science.

Description: Latex notes on papers, courses, ideas: Pure math and computer science. - bollu/notes

Open Graph Description: Latex notes on papers, courses, ideas: Pure math and computer science. - bollu/notes

X Description: Latex notes on papers, courses, ideas: Pure math and computer science. - bollu/notes

Opengraph URL: https://github.com/bollu/notes

X: @github

direct link

Domain: patch-diff.githubusercontent.com

route-pattern/:user_id/:repository
route-controllerfiles
route-actiondisambiguate
fetch-noncev2:17bb5328-38bc-416c-4c26-b47008c549fc
current-catalog-service-hashf3abb0cc802f3d7b95fc8762b94bdcb13bf39634c40c357301c4aa1d67a256fb
request-idB60A:17600C:3758FF:4D4758:6980D971
html-safe-noncebc070836bf79cfde4b8505d273372a80c79e9db7d555f0635468c29fb9d17dee
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJCNjBBOjE3NjAwQzozNzU4RkY6NEQ0NzU4OjY5ODBEOTcxIiwidmlzaXRvcl9pZCI6Ijc2NDY4MTEyODgxNTY3OTg1NyIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9
visitor-hmacf53f4dda23fcfb9a912da666b1a60a27301e965ce9e950f2d48c50e999758881
hovercard-subject-tagrepository:116449734
github-keyboard-shortcutsrepository,copilot
google-site-verificationApib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-urlhttps://collector.github.com/github/collect
analytics-location//
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/bollu/notes
twitter:imagehttps://opengraph.githubassets.com/530e790d566b378454a53eaed7f8228b3a9cefe01a5b9d528918d1e8667d196c/bollu/notes
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/530e790d566b378454a53eaed7f8228b3a9cefe01a5b9d528918d1e8667d196c/bollu/notes
og:image:altLatex notes on papers, courses, ideas: Pure math and computer science. - bollu/notes
og:image:width1200
og:image:height600
og:site_nameGitHub
og:typeobject
hostnamegithub.com
expected-hostnamegithub.com
None17bc0924c8593587ed4a8ae12c6076d0895c5516aaa44daccbb68ede54878b1f
turbo-cache-controlno-preview
go-importgithub.com/bollu/notes git https://github.com/bollu/notes.git
octolytics-dimension-user_id1694861
octolytics-dimension-user_loginbollu
octolytics-dimension-repository_id116449734
octolytics-dimension-repository_nwobollu/notes
octolytics-dimension-repository_publictrue
octolytics-dimension-repository_is_forkfalse
octolytics-dimension-repository_network_root_id116449734
octolytics-dimension-repository_network_root_nwobollu/notes
turbo-body-classeslogged-out env-production page-responsive
disable-turbofalse
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
release602fb6e6fec65cf4baabc1305db1830bc609c154
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://patch-diff.githubusercontent.com/bollu/notes#start-of-content
https://patch-diff.githubusercontent.com/
Sign in https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Fbollu%2Fnotes
GitHub CopilotWrite better code with AIhttps://github.com/features/copilot
GitHub SparkBuild and deploy intelligent appshttps://github.com/features/spark
GitHub ModelsManage and compare promptshttps://github.com/features/models
MCP RegistryNewIntegrate external toolshttps://github.com/mcp
ActionsAutomate any workflowhttps://github.com/features/actions
CodespacesInstant dev environmentshttps://github.com/features/codespaces
IssuesPlan and track workhttps://github.com/features/issues
Code ReviewManage code changeshttps://github.com/features/code-review
GitHub Advanced SecurityFind and fix vulnerabilitieshttps://github.com/security/advanced-security
Code securitySecure your code as you buildhttps://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they starthttps://github.com/security/advanced-security/secret-protection
Why GitHubhttps://github.com/why-github
Documentationhttps://docs.github.com
Bloghttps://github.blog
Changeloghttps://github.blog/changelog
Marketplacehttps://github.com/marketplace
View all featureshttps://github.com/features
Enterpriseshttps://github.com/enterprise
Small and medium teamshttps://github.com/team
Startupshttps://github.com/enterprise/startups
Nonprofitshttps://github.com/solutions/industry/nonprofits
App Modernizationhttps://github.com/solutions/use-case/app-modernization
DevSecOpshttps://github.com/solutions/use-case/devsecops
DevOpshttps://github.com/solutions/use-case/devops
CI/CDhttps://github.com/solutions/use-case/ci-cd
View all use caseshttps://github.com/solutions/use-case
Healthcarehttps://github.com/solutions/industry/healthcare
Financial serviceshttps://github.com/solutions/industry/financial-services
Manufacturinghttps://github.com/solutions/industry/manufacturing
Governmenthttps://github.com/solutions/industry/government
View all industrieshttps://github.com/solutions/industry
View all solutionshttps://github.com/solutions
AIhttps://github.com/resources/articles?topic=ai
Software Developmenthttps://github.com/resources/articles?topic=software-development
DevOpshttps://github.com/resources/articles?topic=devops
Securityhttps://github.com/resources/articles?topic=security
View all topicshttps://github.com/resources/articles
Customer storieshttps://github.com/customer-stories
Events & webinarshttps://github.com/resources/events
Ebooks & reportshttps://github.com/resources/whitepapers
Business insightshttps://github.com/solutions/executive-insights
GitHub Skillshttps://skills.github.com
Documentationhttps://docs.github.com
Customer supporthttps://support.github.com
Community forumhttps://github.com/orgs/community/discussions
Trust centerhttps://github.com/trust-center
Partnershttps://github.com/partners
GitHub SponsorsFund open source developershttps://github.com/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/accelerator
Archive Programhttps://archiveprogram.github.com
Topicshttps://github.com/topics
Trendinghttps://github.com/trending
Collectionshttps://github.com/collections
Enterprise platformAI-powered developer platformhttps://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security featureshttps://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI featureshttps://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 supporthttps://github.com/premium-support
Pricinghttps://github.com/pricing
Search syntax tipshttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentationhttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
Sign in https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Fbollu%2Fnotes
Sign up https://patch-diff.githubusercontent.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2F%3Cuser-name%3E%2F%3Crepo-name%3E&source=header-repo&source_repo=bollu%2Fnotes
Reloadhttps://patch-diff.githubusercontent.com/bollu/notes
Reloadhttps://patch-diff.githubusercontent.com/bollu/notes
Reloadhttps://patch-diff.githubusercontent.com/bollu/notes
bollu https://patch-diff.githubusercontent.com/bollu
noteshttps://patch-diff.githubusercontent.com/bollu/notes
Notifications https://patch-diff.githubusercontent.com/login?return_to=%2Fbollu%2Fnotes
Fork 8 https://patch-diff.githubusercontent.com/login?return_to=%2Fbollu%2Fnotes
Star 66 https://patch-diff.githubusercontent.com/login?return_to=%2Fbollu%2Fnotes
66 stars https://patch-diff.githubusercontent.com/bollu/notes/stargazers
8 forks https://patch-diff.githubusercontent.com/bollu/notes/forks
Branches https://patch-diff.githubusercontent.com/bollu/notes/branches
Tags https://patch-diff.githubusercontent.com/bollu/notes/tags
Activity https://patch-diff.githubusercontent.com/bollu/notes/activity
Star https://patch-diff.githubusercontent.com/login?return_to=%2Fbollu%2Fnotes
Notifications https://patch-diff.githubusercontent.com/login?return_to=%2Fbollu%2Fnotes
Code https://patch-diff.githubusercontent.com/bollu/notes
Issues 0 https://patch-diff.githubusercontent.com/bollu/notes/issues
Pull requests 0 https://patch-diff.githubusercontent.com/bollu/notes/pulls
Actions https://patch-diff.githubusercontent.com/bollu/notes/actions
Projects 0 https://patch-diff.githubusercontent.com/bollu/notes/projects
Security 0 https://patch-diff.githubusercontent.com/bollu/notes/security
Insights https://patch-diff.githubusercontent.com/bollu/notes/pulse
Code https://patch-diff.githubusercontent.com/bollu/notes
Issues https://patch-diff.githubusercontent.com/bollu/notes/issues
Pull requests https://patch-diff.githubusercontent.com/bollu/notes/pulls
Actions https://patch-diff.githubusercontent.com/bollu/notes/actions
Projects https://patch-diff.githubusercontent.com/bollu/notes/projects
Security https://patch-diff.githubusercontent.com/bollu/notes/security
Insights https://patch-diff.githubusercontent.com/bollu/notes/pulse
Brancheshttps://patch-diff.githubusercontent.com/bollu/notes/branches
Tagshttps://patch-diff.githubusercontent.com/bollu/notes/tags
https://patch-diff.githubusercontent.com/bollu/notes/branches
https://patch-diff.githubusercontent.com/bollu/notes/tags
411 Commitshttps://patch-diff.githubusercontent.com/bollu/notes/commits/master/
https://patch-diff.githubusercontent.com/bollu/notes/commits/master/
advanced-algorithmshttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/advanced-algorithms
advanced-algorithmshttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/advanced-algorithms
algebrahttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/algebra
algebrahttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/algebra
anthttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/ant
anthttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/ant
barvinokhttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/barvinok
barvinokhttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/barvinok
category-theory-in-contexthttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/category-theory-in-context
category-theory-in-contexthttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/category-theory-in-context
category-theoryhttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/category-theory
category-theoryhttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/category-theory
compact-dshttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/compact-ds
compact-dshttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/compact-ds
competitive-programminghttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/competitive-programming
competitive-programminghttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/competitive-programming
complexityhttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/complexity
complexityhttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/complexity
crystallographyhttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/crystallography
crystallographyhttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/crystallography
databaseshttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/databases
databaseshttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/databases
dependent-typeshttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/dependent-types
dependent-typeshttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/dependent-types
diffgeohttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/diffgeo
diffgeohttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/diffgeo
discrete-probabilityhttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/discrete-probability
discrete-probabilityhttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/discrete-probability
distributedsystemshttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/distributedsystems
distributedsystemshttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/distributedsystems
dsaahttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/dsaa
dsaahttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/dsaa
egg-equality-saturation-slideshttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/egg-equality-saturation-slides
egg-equality-saturation-slideshttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/egg-equality-saturation-slides
flowshttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/flows
flowshttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/flows
fomenko-homotopic-topologyhttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/fomenko-homotopic-topology
fomenko-homotopic-topologyhttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/fomenko-homotopic-topology
game-designhttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/game-design
game-designhttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/game-design
gametheoryhttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/gametheory
gametheoryhttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/gametheory
gaussian-geometryhttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/gaussian-geometry
gaussian-geometryhttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/gaussian-geometry
graphicshttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/graphics
graphicshttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/graphics
hatcherhttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/hatcher
hatcherhttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/hatcher
iiit-talkshttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/iiit-talks
iiit-talkshttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/iiit-talks
information-securityhttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/information-security
information-securityhttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/information-security
knot-theoryhttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/knot-theory
knot-theoryhttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/knot-theory
kreyszig-diffgeohttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/kreyszig-diffgeo
kreyszig-diffgeohttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/kreyszig-diffgeo
lie-algebahttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/lie-algeba
lie-algebahttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/lie-algeba
logichttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/logic
logichttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/logic
mcmchttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/mcmc
mcmchttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/mcmc
munkreshttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/munkres
munkreshttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/munkres
nonlineardynamicshttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/nonlineardynamics
nonlineardynamicshttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/nonlineardynamics
numerical-analysishttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/numerical-analysis
numerical-analysishttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/numerical-analysis
old-galois-theoryhttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/old-galois-theory
old-galois-theoryhttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/old-galois-theory
optimisationhttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/optimisation
optimisationhttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/optimisation
philosophyhttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/philosophy
philosophyhttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/philosophy
physicshttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/physics
physicshttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/physics
probabilistic-graphical-modelshttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/probabilistic-graphical-models
probabilistic-graphical-modelshttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/probabilistic-graphical-models
quantumhttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/quantum
quantumhttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/quantum
queueing-theoryhttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/queueing-theory
queueing-theoryhttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/queueing-theory
reinforcement-learninghttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/reinforcement-learning
reinforcement-learninghttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/reinforcement-learning
slides-haskell-exchange-2020-smallpthttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/slides-haskell-exchange-2020-smallpt
slides-haskell-exchange-2020-smallpthttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/slides-haskell-exchange-2020-smallpt
slides-intro-p-adicshttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/slides-intro-p-adics
slides-intro-p-adicshttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/slides-intro-p-adics
slides-learning-oeishttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/slides-learning-oeis
slides-learning-oeishttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/slides-learning-oeis
slides-riehl-equivalence-of-categorieshttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/slides-riehl-equivalence-of-categories
slides-riehl-equivalence-of-categorieshttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/slides-riehl-equivalence-of-categories
slides-riehl-limit-colimit-universal-conehttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/slides-riehl-limit-colimit-universal-cone
slides-riehl-limit-colimit-universal-conehttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/slides-riehl-limit-colimit-universal-cone
slides-riehl-yonedahttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/slides-riehl-yoneda
slides-riehl-yonedahttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/slides-riehl-yoneda
slides-why-haskellhttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/slides-why-haskell
slides-why-haskellhttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/slides-why-haskell
software-foundationshttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/software-foundations
software-foundationshttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/software-foundations
stats-for-financehttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/stats-for-finance
stats-for-financehttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/stats-for-finance
stringshttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/strings
stringshttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/strings
talk-intro-llvmhttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/talk-intro-llvm
talk-intro-llvmhttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/talk-intro-llvm
the-general-combinatorial-schemehttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/the-general-combinatorial-scheme
the-general-combinatorial-schemehttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/the-general-combinatorial-scheme
topology-of-numbershttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/topology-of-numbers
topology-of-numbershttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/topology-of-numbers
toposhttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/topos
toposhttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/topos
tu-intro-to-manifoldshttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/tu-intro-to-manifolds
tu-intro-to-manifoldshttps://patch-diff.githubusercontent.com/bollu/notes/tree/master/tu-intro-to-manifolds
.gitignorehttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/.gitignore
.gitignorehttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/.gitignore
README.mdhttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/README.md
README.mdhttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/README.md
cphttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/cp
cphttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/cp
cubicaltt.pdfhttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/cubicaltt.pdf
cubicaltt.pdfhttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/cubicaltt.pdf
lean-elab-and-parser.lean.htmlhttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/lean-elab-and-parser.lean.html
lean-elab-and-parser.lean.htmlhttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/lean-elab-and-parser.lean.html
lean-elab-and-parser.lean.pdfhttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/lean-elab-and-parser.lean.pdf
lean-elab-and-parser.lean.pdfhttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/lean-elab-and-parser.lean.pdf
lean-kernel-consolidated-black-and-white.pdfhttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/lean-kernel-consolidated-black-and-white.pdf
lean-kernel-consolidated-black-and-white.pdfhttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/lean-kernel-consolidated-black-and-white.pdf
lean-kernel-consolidated.pdfhttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/lean-kernel-consolidated.pdf
lean-kernel-consolidated.pdfhttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/lean-kernel-consolidated.pdf
lean-library.pdfhttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/lean-library.pdf
lean-library.pdfhttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/lean-library.pdf
lean-meta.pdfhttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/lean-meta.pdf
lean-meta.pdfhttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/lean-meta.pdf
makefilehttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/makefile
makefilehttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/makefile
multilinear.pdfhttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/multilinear.pdf
multilinear.pdfhttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/multilinear.pdf
multilinear.texhttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/multilinear.tex
multilinear.texhttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/multilinear.tex
politics.mdhttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/politics.md
politics.mdhttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/politics.md
smt-modulo-oracles.ipynbhttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/smt-modulo-oracles.ipynb
smt-modulo-oracles.ipynbhttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/smt-modulo-oracles.ipynb
READMEhttps://patch-diff.githubusercontent.com/bollu/notes
https://patch-diff.githubusercontent.com/bollu/notes#notes
https://patch-diff.githubusercontent.com/bollu/notes#currently-reading
Category Theory in Contexthttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/category-theory-in-context/main.pdf
https://patch-diff.githubusercontent.com/bollu/notes#category-theory-in-context
Competitive programminghttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/competitive-programming/main.pdf
https://patch-diff.githubusercontent.com/bollu/notes#competitive-programming
Stringshttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/strings/main.pdf
https://patch-diff.githubusercontent.com/bollu/notes#strings
Compact data structureshttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/compact-ds/main.pdf
https://patch-diff.githubusercontent.com/bollu/notes#compact-data-structures
https://patch-diff.githubusercontent.com/bollu/notes#subjects
Algebraic geometry in the time of COVIDhttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/algebra/main.pdf
https://patch-diff.githubusercontent.com/bollu/notes#algebraic-geometry-in-the-time-of-covid
Complexity and advanced algorithmshttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/advanced-algorithms/main.pdf
https://patch-diff.githubusercontent.com/bollu/notes#complexity-and-advanced-algorithms
Principles of information securityhttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/information-security/main.pdf
https://patch-diff.githubusercontent.com/bollu/notes#principles-of-information-security
Complexity theoryhttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/complexity/main.pdf
https://patch-diff.githubusercontent.com/bollu/notes#complexity-theory
General relativity & Differental geometryhttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/diffgeo/main.pdf
https://patch-diff.githubusercontent.com/bollu/notes#general-relativity--differental-geometry
A report on Monte Chain Monte Carlo samplinghttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/mcmc/report.pdf
https://patch-diff.githubusercontent.com/bollu/notes#a-report-on-monte-chain-monte-carlo-sampling
https://patch-diff.githubusercontent.com/bollu/notes#aspirational
Frames and localeshttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/frames-and-locales/main.pdf
https://patch-diff.githubusercontent.com/bollu/notes#frames-and-locales
Homotopical topology by fomenkohttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/fomenko-homotopic-topology/main.pdf
https://patch-diff.githubusercontent.com/bollu/notes#homotopical-topology-by-fomenko
Munkreshttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/munkres/main.pdf
https://patch-diff.githubusercontent.com/bollu/notes#munkres
Tu-intro-to-manifoldshttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/tu-intro-to-manifolds/main.pdf
https://patch-diff.githubusercontent.com/bollu/notes#tu-intro-to-manifolds
Quantum (incomplete)https://patch-diff.githubusercontent.com/bollu/notes/blob/master/quantum/main.pdf
https://patch-diff.githubusercontent.com/bollu/notes#quantum-incomplete
Learning & information theory (incomplete)https://patch-diff.githubusercontent.com/bollu/notes/blob/master/learningtheory/main.pdf
https://patch-diff.githubusercontent.com/bollu/notes#learning--information-theory-incomplete
Flows (incomplete)https://patch-diff.githubusercontent.com/bollu/notes/blob/master/flows/report.pdf
https://patch-diff.githubusercontent.com/bollu/notes#flows-incomplete
Optimisation methods: Linear, Convex & Integerhttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/optimisation/main.pdf
https://patch-diff.githubusercontent.com/bollu/notes#optimisation-methods-linear-convex--integer
Nonlinear dynamics (incomplete)https://patch-diff.githubusercontent.com/bollu/notes/blob/master/nonlineardynamics/main.pdf
https://patch-diff.githubusercontent.com/bollu/notes#nonlinear-dynamics-incomplete
Philosophy: God and Knowledge (incomplete)https://patch-diff.githubusercontent.com/bollu/notes/blob/master/philosophy/main.pdf
https://patch-diff.githubusercontent.com/bollu/notes#philosophy-god-and-knowledge-incomplete
Topics in machine learning (incomplete)https://patch-diff.githubusercontent.com/bollu/notes/blob/master/topics-in-ml/main.pdf
https://patch-diff.githubusercontent.com/bollu/notes#topics-in-machine-learning-incomplete
Game theory (incomplete)https://patch-diff.githubusercontent.com/bollu/notes/blob/master/gametheory/main.pdf
https://patch-diff.githubusercontent.com/bollu/notes#game-theory-incomplete
Probabilistic Graphical models (incomplete)https://patch-diff.githubusercontent.com/bollu/notes/blob/master/probabilistic-graphical-models/main.pdf
https://patch-diff.githubusercontent.com/bollu/notes#probabilistic-graphical-models-incomplete
Distributed Systems (incomplete)https://patch-diff.githubusercontent.com/bollu/notes/blob/master/distributedsystems/main.pdf
https://patch-diff.githubusercontent.com/bollu/notes#distributed-systems-incomplete
Physics: Gauge theory (terrible notes, but interesting material)https://patch-diff.githubusercontent.com/bollu/notes/blob/master/physics/main.pdf
https://patch-diff.githubusercontent.com/bollu/notes#physics-gauge-theory-terrible-notes-but-interesting-material
https://patch-diff.githubusercontent.com/bollu/notes#slides
The barvinok algorithmhttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/barvinok/slides.pdf
https://patch-diff.githubusercontent.com/bollu/notes#the-barvinok-algorithm
Introduction to LLVM: examples of passeshttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/talk-intro-llvm/talk-llvm-c-compiler.org
https://patch-diff.githubusercontent.com/bollu/notes#introduction-to-llvm-examples-of-passes
Egg: intro to equality saturationhttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/egg-equality-saturation-slides/slides.pdf
https://patch-diff.githubusercontent.com/bollu/notes#egg-intro-to-equality-saturation
An introduction to the p-adic numbershttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/slides-intro-p-adics/slides.pdf
https://patch-diff.githubusercontent.com/bollu/notes#an-introduction-to-the-p-adic-numbers
Smallpt: writing a fast raytracer in Haskellhttps://patch-diff.githubusercontent.com/bollu/notes/blob/master/slides-haskell-exchange-2020-smallpt/slides.pdf
https://patch-diff.githubusercontent.com/bollu/notes#smallpt-writing-a-fast-raytracer-in-haskell
Readme https://patch-diff.githubusercontent.com/bollu/notes#readme-ov-file
Please reload this pagehttps://patch-diff.githubusercontent.com/bollu/notes
Activityhttps://patch-diff.githubusercontent.com/bollu/notes/activity
66 starshttps://patch-diff.githubusercontent.com/bollu/notes/stargazers
6 watchinghttps://patch-diff.githubusercontent.com/bollu/notes/watchers
8 forkshttps://patch-diff.githubusercontent.com/bollu/notes/forks
Report repository https://patch-diff.githubusercontent.com/contact/report-content?content_url=https%3A%2F%2Fgithub.com%2Fbollu%2Fnotes&report=bollu+%28user%29
Releaseshttps://patch-diff.githubusercontent.com/bollu/notes/releases
Packages 0https://patch-diff.githubusercontent.com/users/bollu/packages?repo_name=notes
Please reload this pagehttps://patch-diff.githubusercontent.com/bollu/notes
Contributors 5https://patch-diff.githubusercontent.com/bollu/notes/graphs/contributors
Please reload this pagehttps://patch-diff.githubusercontent.com/bollu/notes
TeX 41.7% https://patch-diff.githubusercontent.com/bollu/notes/search?l=tex
HTML 36.3% https://patch-diff.githubusercontent.com/bollu/notes/search?l=html
Jupyter Notebook 19.1% https://patch-diff.githubusercontent.com/bollu/notes/search?l=jupyter-notebook
Python 1.1% https://patch-diff.githubusercontent.com/bollu/notes/search?l=python
C++ 0.7% https://patch-diff.githubusercontent.com/bollu/notes/search?l=c%2B%2B
LLVM 0.4% https://patch-diff.githubusercontent.com/bollu/notes/search?l=llvm
https://github.com
Termshttps://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacyhttps://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Securityhttps://github.com/security
Statushttps://www.githubstatus.com/
Communityhttps://github.community/
Docshttps://docs.github.com/
Contacthttps://support.github.com?tags=dotcom-footer

Viewport: width=device-width

URLs of crawlers that visited me.