Pinned Loading

1. SheafificationOfG/QueenJewels SheafificationOfG/QueenJewels Public

   On a hunt for the Jewels of the Queen of Mathematics... in LLVM IR

   LLVM 81 8

2. SheafificationOfG/Fibsonisheaf SheafificationOfG/Fibsonisheaf Public

   Computing Fibonacci numbers efficiently, for real this time.

   C 110 5

3. penance.md penance.md

   1

   ## 1. Preliminaries

   2

   3

   > #### Definition 1.1.

   4

   > A $\sigma$ -_algebra_ over a set $X$ is a subset $\Sigma\subseteq 2^X$ (that is, a set of subsets of $X$), satisfying:

   5

   > 1. If $I$ is some countable set ($0\leq|I|\leq\omega$), and $U_i\in\Sigma$ for $i\in I$, then $\bigcup_{i\in I}U_i \in \Sigma$.

4. SheafificationOfG/BoolosBrewery SheafificationOfG/BoolosBrewery Public

   You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...

   Python 83 39

5. SheafificationOfG/Fibsonicci SheafificationOfG/Fibsonicci Public

   Source code for a video on computing Fibonacci numbers efficiently

   C++ 156 13

6. SheafificationOfG/based-cpp SheafificationOfG/based-cpp Public

   C++ is the based interpreted language

   C++ 322 10