Commit Graph
100 Commits
Author SHA1 Message Date
janishutz 8a95d4a831 [PS] Start continuous distributions 2026-03-18 20:30:22 +01:00
janishutz 2e5262f915 [PS] Finish discrete distributions 2026-03-18 11:48:17 +01:00
janishutz f3e52702b2 [DMDB] Notes, compile 2026-03-17 17:40:32 +01:00
janishutz b36cb31b75 [AMR] Summarize W4 content 2026-03-17 16:45:49 +01:00
janishutz 28d0696091 [FMFP] algebraic data types 2026-03-16 17:43:49 +01:00
janishutz 181753782d [PS] Small fixes 2026-03-16 16:16:15 +01:00
janishutz b2941c45a6 [AMR] Finish W3 summary 2026-03-16 13:17:23 +01:00
janishutz 66256e3427 [AMR] Almost finish temporal models 2026-03-15 13:19:49 +01:00
janishutz 253335df2f [AMR] Continue 2026-03-13 17:24:06 +01:00
janishutz d7d75c789c [AMR] W4: temporal models start 2026-03-12 16:37:27 +01:00
janishutz 904c3027a4 [FMFP] Fix error 2026-03-12 11:38:59 +01:00
janishutz 50900af588 [AMR] W4: Start summary 2026-03-11 19:02:40 +01:00
janishutz 59d0df0093 [PS] Catch up 2026-03-11 14:13:12 +01:00
janishutz 70505e0080 [PS] Small fixes 2026-03-11 11:34:14 +01:00
janishutz 9f5d5b19c4 [PS] Continue discrete random variables 2026-03-11 08:15:49 +01:00
janishutz 7ea45cbf31 [PS] Prepare next section and start 2026-03-10 14:52:43 +01:00
janishutz abcb96511e [PS] Some small tweaks 2026-03-09 14:22:54 +01:00
janishutz 8da8d3de0e [DMDB] Notes for this week 2026-03-07 11:37:16 +01:00
janishutz 20c1d2ccc2 [FMFP] Typing 2026-03-05 17:26:52 +01:00
janishutz 43352a0b10 [FMFP] Typing introduction 2026-03-05 14:12:06 +01:00
janishutz e83c64315a [FMFP] Start typing summary 2026-03-04 08:14:51 +01:00
janishutz d2fdb13eec [AMR] Week2: Done 2026-03-03 19:33:41 +01:00
janishutz 3f18e92896 [PS] Probably summarized all of tomorrow's content 2026-03-03 17:00:01 +01:00
janishutz 93dffbedea [PS] Random variables 2026-03-03 16:04:04 +01:00
janishutz 79fe498f26 [FMFP] Summarize induction for lists 2026-03-03 13:38:07 +01:00
janishutz 948bc1f567 [FMFP] Correctness 2026-03-02 17:01:01 +01:00
janishutz 3fd16846b8 [AMR] Catch up with summary 2026-03-02 12:20:26 +01:00
janishutz 18a6491ec1 [AMR] Summarize parts of intro 2026-03-01 17:45:18 +01:00
janishutz f21e6a6300 [AMR] Start summary 2026-03-01 15:31:14 +01:00
janishutz 6df1e376b1 [Electives] Restructure 2026-03-01 13:14:45 +01:00
janishutz af1208bed4 [DMDB] Some more notes 2026-03-01 13:14:12 +01:00
janishutz 0a8462e1b7 [PS] More fixes 2026-03-01 09:55:51 +01:00
janishutz d02ddf44dc [PS] Fix more errors 2026-02-28 20:47:26 +01:00
janishutz 0af2aeaa08 [PS] Fix error 2026-02-28 19:55:35 +01:00
janishutz 00b0bdfb60 [DMDB] Some notes 2026-02-28 18:04:32 +01:00
janishutz 6216dc0691 [FMFP] Somewhat caught up 2026-02-28 15:40:38 +01:00
janishutz c079e88fe9 [FMFP] Mostly summarized formal reasoning 2026-02-28 15:21:27 +01:00
janishutz 9d72814b56 [FMFP] Start summary 2026-02-27 17:11:45 +01:00
janishutz 18734a18b6 [DMDB] Finish set up 2026-02-26 16:31:00 +01:00
janishutz 3c74897809 [CN] Set up 2026-02-26 14:10:22 +01:00
janishutz 02a96609a8 [FMFP] Set up 2026-02-26 14:10:19 +01:00
janishutz 9f00357165 [DMDB] Set up 2026-02-26 14:10:14 +01:00
janishutz 77f3af0246 [PS] Almost caught up 2026-02-25 19:46:07 +01:00
janishutz 103aa6d6c2 [Sem3] Update import path for old helpers 2026-02-25 09:19:04 +01:00
janishutz 10b06ac97c [Sem4] Update to new helpers 2026-02-25 09:17:34 +01:00
janishutz 6440a3bbab [Electives] Add 2026-02-24 13:57:45 +01:00
janishutz 383d26adc6 [PS] Intro: Independence and finish 2026-02-23 07:55:56 +01:00
janishutz 3b8d85523b [PS] Intro: Probably (lol) catch up 2026-02-22 16:14:49 +01:00
janishutz cdb7d46f22 [PS] Intro: Examples, properties 2026-02-22 12:16:26 +01:00
janishutz 08a1324efe [PS] Continue introduction 2026-02-21 19:54:49 +01:00
janishutz ec39c30933 [PS] Start summarizing 2026-02-21 18:10:53 +01:00
janishutz 4a550514fe [PS] Move to new helpers (WIP) 2026-02-19 19:49:51 +01:00
janishutz 5985ff216b [PS] Setup 2026-02-18 13:45:28 +01:00
janishutz 84338a6df1 [Sem4] Set up 2026-02-18 07:53:21 +01:00
janishutz 59e5e841a4 [Analysis] Fix error in Analysis 1 summary 2026-02-04 17:12:53 +01:00
janishutz 5bdc67fd2d [README] Update 2026-02-04 17:11:18 +01:00
janishutz 8a12d3a196 [Analysis] Add title page 2026-02-03 14:10:32 +01:00
janishutz f007762e50 [CD] Fix uploads 2026-02-03 14:02:38 +01:00
janishutz 6510bdd8a0 [Analysis] Final tweaks 2026-02-03 12:06:59 +01:00
janishutz 79814d0a78 [Analysis] Various fixes 2026-02-02 14:40:12 +01:00
janishutz 028e21ad1d [CD] Fix analysis II auto upload 2026-02-02 11:31:30 +01:00
janishutz 46e6004a6d [Analysis] More notes 2026-02-02 11:30:04 +01:00
janishutz f8a1ec71e8 [Analysis] Add more notes 2026-02-02 09:09:48 +01:00
janishutz 11d604880c [Analysis] Update diff eq section 2026-02-02 08:06:42 +01:00
janishutz 19ce8d3af8 [Analysis] Various fixes and optimizations 2026-02-01 15:31:56 +01:00
janishutz 09b635ebf0 [Analysis] Various additions and fixes 2026-02-01 11:32:50 +01:00
janishutz 4eedbb96a8 [Analysis] Add general notes 2026-02-01 09:59:14 +01:00
janishutz 496475f66e [EProg] Improve summary 2026-01-31 15:22:37 +01:00
janishutz d7fce554cd [Analysis] Notes and cleanup
Notes for tangent space computation and green's formula.
Also includes fixes for the pagination as result of additions
2026-01-31 15:07:48 +01:00
janishutz 9245068d97 [Analysis] Clean up, add some notes 2026-01-31 14:13:18 +01:00
janishutz 2fd0ab1981 [TI] Clean up summary 2026-01-31 14:13:03 +01:00
janishutz 457597ea53 [Analysis] Small fixes 2026-01-31 13:25:57 +01:00
janishutz 091b1738a2 [Analysis] Add notes on task type 2026-01-30 16:40:21 +01:00
janishutz 33423c4698 [Analysis] Add some notes 2026-01-30 16:00:54 +01:00
janishutz c8dd329674 [SPCA] Floating point: Fix stupid explanation 2026-01-30 07:45:02 +01:00
janishutz 54d01318d4 [Placeholder] rm -rf 2026-01-29 19:23:52 +01:00
janishutz 1469e03ecb [SPCA] Guard, round and sticky bit computation tricks 2026-01-29 18:51:37 +01:00
janishutz 237e2720e4 [Analysis] Update various sections
Improve legibility, add some more remarks
2026-01-29 18:25:56 +01:00
janishutz 05ac7b7568 [SPCA] Add notes on rounding 2026-01-29 17:59:39 +01:00
janishutz 9ea7d3029e [Analysis] Add more notes 2026-01-28 17:26:59 +01:00
janishutz e8a3fcad09 [Analysis] Add more tips and tricks 2026-01-28 12:12:20 +01:00
janishutz ebd8dedc40 [SPCA] Fix another typo 2026-01-28 10:47:07 +01:00
janishutz ed1a187bfc [SPCA] Fix more typos 2026-01-28 08:55:58 +01:00
janishutz 5eda12a69b [SPCA] fix formatting errors, add notes 2026-01-28 08:06:45 +01:00
janishutz c42f8c65c6 [SPCA] fix spelling mistake 2026-01-27 17:44:14 +01:00
janishutz 36461c8082 [SPCA] Improve notes on denoting function side-effect free 2026-01-26 20:43:43 +01:00
janishutz 02dca2ea18 [SPCA] Design fixes 2026-01-26 19:23:23 +01:00
janishutz fe9dc3344d [SPCA] Fix typos 2026-01-26 17:07:49 +01:00
janishutz 2f2432ddd3 [SPCA] Add note on endianness 2026-01-26 07:15:25 +01:00
janishutz b8dd353f09 [SPCA] Add note on comma operator 2026-01-25 15:46:35 +01:00
janishutz a5f0aa40d2 [SPCA] Add more notes on conditional moves and jumps 2026-01-25 13:41:08 +01:00
janishutz 0770c76ef3 [SPCA] Fixes a few errors 2026-01-25 08:11:16 +01:00
janishutz ac6c215adf [Analysis] Enable auto-upload 2026-01-24 15:31:21 +01:00
janishutz 3c5e8cc1f9 [EProg] Make summary compile again 2026-01-24 15:27:55 +01:00
janishutz 0a5a444c2c [SPCA] Integrate auto-upload 2026-01-24 15:22:12 +01:00
janishutz 9ab8a012d4 [SPCA] Add title page 2026-01-24 15:20:02 +01:00
janishutz 8514adadc6 [NumCS] Update PDF 2026-01-24 15:15:20 +01:00
janishutz ff86cef50c [SPCA] Virtual memory, Caches updated 2026-01-24 15:04:32 +01:00
janishutz 6648f2a188 [Analysis] Fixes 2026-01-23 16:16:59 +01:00
janishutz fe01067f51 [Analysis] Add notes 2026-01-23 13:07:46 +01:00