Pierre Saunders saundersp
saundersp pushed to main at saundersp/saundersp-overlay 2025-01-17 16:41:40 +00:00
3f3a926e1f Added dev-vcs/lazygit-0.45.2
saundersp pushed to main at saundersp/saundersp-overlay 2025-01-11 20:25:02 +00:00
d7f0ba2282 Removed redundant versions
1e21d60b9b Added dev-vcs/lazygit-0.45.0
Compare 2 commits »
saundersp pushed to main at saundersp/saundersp-overlay 2025-01-04 22:03:41 +00:00
99ef4f1ba2 Replaced media-fonts/hasklig-3.2.1 with media-fonts/nerdfonts-3.3.0
5c3e86f2f7 Added dev-libs/libportal-0.9.0
7966d70603 Added app-containers/lazydocker-0.24.1
Compare 3 commits »
saundersp pushed to main at saundersp/notebook 2025-01-03 23:24:22 +00:00
6c61520ad6 contents/dynamic_systems.tex : Added metric space proof
saundersp pushed to main at saundersp/notebook 2025-01-02 00:19:05 +00:00
7cf9e40687 Fixed docker permissions
32ffe0155c Dockerfile : updated base and packages versions
Compare 2 commits »
saundersp pushed to main at saundersp/saundersp-overlay 2025-01-01 14:16:19 +00:00
b2c1458c90 metadata/md5-cache : Updated app-containers/lazydocker dev-libs/libportal dev-util/nvidia-cuda-toolkit dev-vcs/lazygit net-libs/lazynpm cache
24214d0c72 Added dev-util/nvidia-cuda-toolkit-12.6.3
67d3d0070e Added dev-libs/cudnn-9.6.0.74
Compare 3 commits »
saundersp pushed to main at saundersp/notebook 2024-12-20 21:56:36 +00:00
94a6376b29 graphs/*.gv : Renamed countability to countable
saundersp pushed to main at saundersp/notebook 2024-12-20 21:53:39 +00:00
39959b96ea Added contents/dynamic_systems.tex
4f1047f182 contents/topology.tex : Updated to fit course and moved DM to seperate file
1ba329e82d contents/computer_science.tex : Renamed 'denumbrability' to countability and added more theorems and properties
5d794e7137 contents/computer_science.tex : Better definitions and description && Added AOC implies LEM proof
4e09eca481 contents/computer_science.tex : Added introduction
Compare 5 commits »
saundersp pushed to main at saundersp/notebook 2024-12-20 19:29:31 +00:00
e7d6bdb371 contents/computer_science.tex : Changed int type to uint64_t in the C example
1ec8f26b78 contents/algebra.tex : Fixed some typos and wrong symbols and moved DM1 to seperate file
a1591dc233 contents/logic.tex : Updated symbols and subsubsection
dfea3bdb26 packages/macros.sty : Added corollary environnement
1c4011a1c1 contents/definitions.tex : Added palatability and apocryphal definitions
Compare 8 commits »
saundersp pushed to main at saundersp/JupyterHelper 2024-12-18 16:31:09 +00:00
cb5ba1e0c1 Removed mkdir and rm verbose flags
saundersp pushed to main at saundersp/sorting_algorithms 2024-12-12 16:43:11 +00:00
d81b6c07ac Updated Dockerfile image and packages version to 3.21.0
saundersp pushed to main at saundersp/haskell_playground 2024-12-05 11:43:06 +00:00
66bcee129b Added Dockerfile and docker-compose.yaml
4a1ca3d68e Changed repository to a cabal structure
Compare 2 commits »
saundersp pushed to main at saundersp/notebook 2024-12-03 18:08:09 +00:00
4be8cf3538 Added algebra_dm{1,2}, combinatorics, fourier, suites and topology_dm1
7852b493d2 Makefile : Simpler inner_pdf target
7af7ed82f4 contents/trigonometry.tex : Added Euler's formula
Compare 3 commits »
saundersp pushed to main at saundersp/scripts 2024-12-03 17:19:53 +00:00
9dc6756eff Added protondb.sh
16cf4280fd README.md : String formatting
Compare 2 commits »
saundersp pushed to main at saundersp/saundersp-overlay 2024-11-11 17:18:46 +00:00
56aa293451 metadata/md5-cache : Updated app-containers/lazydocker dev-util/nvidia-cuda-toolkit dev-vcs/laygit net-libs/lazynpm cache
3dad7a1bbd Added dev-util/nvidia-cuda-toolkit-12.6.2
d6de79e50b dev-texlive/{pst-flags,worldflags} : Fixed KEYWORDS warnings
58239dc39a Added dev-libs/libportal-0.8.1
4d878890e3 Added dev-libs/cudnn-9.5.1.17
Compare 6 commits »
saundersp pushed to main at saundersp/ViolaJones 2024-11-08 00:23:41 +00:00
2051ae8cdc downloader/convert_dataset.py : Added better typing and formatting
e9df962d7a Changed VENV_PATH from 'venv' to '.venv'
512a21cdb3 Updated dependencies
Compare 3 commits »
saundersp pushed to main at saundersp/sorting_algorithms 2024-11-07 20:31:38 +00:00
e2b0eb4a50 Updated Dockerfile image and packages version
saundersp pushed to main at saundersp/scripts 2024-11-07 19:49:51 +00:00
d12079ff73 colours renamed to colours.sh
1446e2a977 Added setup_unreal.sh script
Compare 2 commits »
saundersp pushed to main at saundersp/notebook 2024-11-07 04:30:50 +00:00
d0c9dab330 contents/algebra.tex : Added basic definitions and axioms && first DM
aafcec6a3e packages/macros.sty : Added convinences macros
94cdd07e84 packages/themes.sty : more verbose global colour constants
46b1cc6071 contents/algebra.tex : Changed composition law symbol to a more general one
b85c5829c9 graphs : Added some metadata and some details
Compare 6 commits »
saundersp pushed to main at saundersp/JupyterHelper 2024-10-27 19:40:50 +00:00
db8d3ef52b Changed VENV_PATH to .venv