Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Jul 31, 2023

• add alien coding paper

  bollu

  committedJul 31, 2023
  2edf792

Commits on Mar 8, 2023

• add numerical analysis reading list

  bollu

  committedMar 8, 2023
  4db2b10

Commits on Nov 26, 2022

• add category theory notes

  bollu

  committedNov 26, 2022
  8a8712a

Commits on Oct 8, 2022

• start notes on category theory

  bollu

  committedOct 8, 2022
  a27cbb5

Commits on Jan 23, 2022

• Delete :w

  bollu

  committedJan 23, 2022
  fa38401

Commits on Jan 2, 2022

• Add SMT modulo oracles implementation

  bollu

  committedJan 2, 2022
  68be3a9

Commits on Dec 29, 2021

• add new computational diffgeo notes

  bollu

  committedDec 29, 2021
  6826e6d

• add new aspirational folders

  bollu

  committedDec 29, 2021
  81617e8

Commits on Dec 12, 2021

• more typo fixes

  bollu

  committedDec 12, 2021
  4a47820

• fixup grassman typos

  bollu

  committedDec 12, 2021
  38f77ad

• add string algorithms

  bollu

  committedDec 12, 2021
  6e4d667

• add grassman and intrinsic geometry nodes

  bollu

  committedDec 12, 2021
  2ad68d2

Commits on Dec 8, 2021

• add diffgeo notes

  bollu

  committedDec 8, 2021
  69d4a60

Commits on Nov 21, 2021

• add ipynb of notes on diffgeo

  bollu

  committedNov 21, 2021
  2287197

Commits on Nov 13, 2021

• add last exercise

  bollu

  committedNov 13, 2021
  9f3224a

• add last section

  bollu

  committedNov 13, 2021
  dddff47

• add adjunction calculus

  bollu

  committedNov 13, 2021
  31c517a

• finish up exposition of last part

  bollu

  committedNov 13, 2021
  2f53279

• wrap up second proof about idempotence

  bollu

  committedNov 13, 2021
  23bd81a

• add second part of equiv. of categories proof

  bollu

  committedNov 13, 2021
  5daacf8

Commits on Nov 12, 2021

• add last section

  bollu

  committedNov 12, 2021
  d71b9bb

• fill up details about 4.4.5

  bollu

  committedNov 12, 2021
  a6ba745

• add unit proof of 4.4.4

  bollu

  committedNov 12, 2021
  1e72f88

• add Yo proof of 4.4.4

  bollu

  committedNov 12, 2021
  9145e57

• add 4.4.4

  bollu

  committedNov 12, 2021
  17c550d

Commits on Nov 11, 2021

• add new CP solutions

  bollu

  committedNov 11, 2021
  fdb4ebc

• add adjunctions

  bollu

  committedNov 11, 2021
  4d56403

Commits on Aug 23, 2021

• regenerate PDF

  bollu

  committedAug 23, 2021
  d2b9ad0

• solve jeff erickson DP questions

  bollu

  committedAug 23, 2021
  20798bf

• add new string algos

  bollu

  committedAug 23, 2021
  b0014e0

• add jeffE solutions

  bollu

  committedAug 23, 2021
  7ef3f7e

Commits on Aug 15, 2021

• add 3.3 solns

  bollu

  committedAug 15, 2021
  8ede0f9

• Add limit computation exercises.

  bollu

  committedAug 15, 2021
  f265568

Commits on Aug 10, 2021

• add pullback squares

  bollu

  committedAug 10, 2021
  588744f

Commits on Aug 9, 2021

• add cat theory

  bollu

  committedAug 9, 2021
  c95809a

Pagination

PreviousNext