Update links and fix course statuses.

docs/courses.md

@@ -9,7 +9,9 @@ Of the course materials we list here, some are are provided by us and others are
 To summarize the status of a course's materials, we use the following emojis:
 - ✅ indicates comprehensive and current course materials
 - 🔄 indicates incomplete and/or outdated course materials
+- 🔄📝 indicates only lecture notes available
 - 🛠️ indicates coming soon
+<!-- - 🇸 indicates that the course was/is processed by SOUL  -->
 
 ## MIT Courses
 - course 6: [Electrical Engineering and Computer Science](/courses/mit/course-6/)

docs/courses/mit/course-18.md

@@ -12,4 +12,4 @@ IAP classes:
 
 Fall/Spring classes:
 - ✅ 18.901 [Introduction to Topology](https://math.mit.edu/~jhirsh/topology.html) (Spring 2016)
-- 🔄 18.700 [Linear Algebra](/courses/mit/course-18/18-700/) (Fall 2022)
+- 🔄 18.700 [Linear Algebra](/courses/mit/course-18/18-700/) (Fall 2022)

docs/courses/mit/course-18/18-700.md

@@ -14,5 +14,4 @@ Vector spaces, systems of linear equations, bases, linear independence, matrices
 
 Resources:
 - Fall 2022 [Lecture Notes](/resources/18-700/18-700_Fall2022_lecture.pdf)
-- Fall 2019 class [website](https://math.mit.edu/~dav/700.html) (has problem sets)
-
+- Fall 2019 [class website](https://math.mit.edu/~dav/700.html) (has problem sets)

docs/courses/mit/course-6.md

@@ -6,33 +6,33 @@ permalink: /courses/mit/course-6/
 
 See EECS degree [requirements](https://www.eecs.mit.edu/academics/undergraduate-programs/curriculum/) and [course catalog](http://student.mit.edu/catalog/m6a.html).
 
-🔄 means only part of the class is available.
-🔄📝 means only lecture notes available.
-
 IAP classes:
 - ✅ [Introduction to Data-Centric AI](https://dcai.csail.mit.edu) (January 2023)
-    - Videos processed by MIT SOUL.
 - ✅ 6.s091: [Causality: Policy Evaluation, Structure Learning, and Representation Learning](https://github.com/csquires/6.S091-causality) (January 2023)
 - ✅ 6.s092: [The Art and Science of PCB Design](https://pcb.mit.edu/) (January 2023)
 - ✅ [Modern Zero Knowledge Cryptography](zkiap.com) (January 2023)
 - ✅ [The Missing Semester (of your Computer Science Education)](https://missing.csail.mit.edu/) (January 2020)
-- ✅ 6.9620: [web.lab](https://weblab.mit.edu/schedule/) (Jan 2023)
+- ✅ 6.9620: [web.lab](https://weblab.mit.edu/schedule/) (January 2023)
 
 Fall/Spring classes:
-- ✅ 6.004: [Computational Structures](https://ocw.mit.edu/courses/6-004-computation-structures-spring-2017/) (Spring 2017)
-- ✅ 6.031: [Software Construction](https://web.mit.edu/6.031/www/sp22/) (Spring 2022)
-- ✅ 6.033/6.1800: [Computer System Engineering](https://web.mit.edu/6.1800/www/) (Spring 2023)
-- ✅ 6.036/6.390: [Intro to Machine Learning](https://openlearninglibrary.mit.edu/courses/course-v1:MITx+6.036+1T2019/course/#block-v1:MITx+6.036+1T2019+type@sequential+block@intro_ml) (Spring 2020)
-- ✅ 6.042: [Mathematics for Computer Science](https://learning-modules.mit.edu/materials/index.html?uuid=/course/6/sp18/6.042#materials) (Spring 2018)
-- ✅ 6.101: [Fundamentals of Programming](https://py.mit.edu/fall23) (Fall 2023)
-- ✅ 6.1600/6.s060: [Foundations of Computer Security](https://61600.csail.mit.edu/2023/) (Fall 2023)
-- ✅ 6.512: [Coq: Formal Reasoning About Programs](frap.csail.mit.edu) (Spring 2023)
+- 🔄 6.004: [Computation Structures](https://ocw.mit.edu/courses/6-004-computation-structures-spring-2017/) (Spring 2017)
+  - <span style="color:red">no psets or exams</span>
+- ✅ 6.031: Software Construction ([Spring 2023](https://web.mit.edu/6.031/www/sp23/), [Spring 2022](https://web.mit.edu/6.031/www/sp22/))
+- 🔄 6.033: [Computer System Engineering](https://web.mit.edu/6.1800/www/) (Spring 2023)
+  - <span style="color:red">no psets, exams, or lecture videos</span>
+- 🔄 6.036: [Intro to Machine Learning](https://openlearninglibrary.mit.edu/courses/course-v1:MITx+6.036+1T2019/course/#block-v1:MITx+6.036+1T2019+type@sequential+block@intro_ml) (Spring 2020)
+  - <span style="color:red">no exams</span>
+- ✅ 6.042: [Mathematics for Computer Science](/courses/mit/course-6/6-042/) (Spring 2010, 2015, 2018)
+- ✅ 6.101: [Fundamentals of Programming](https://py.mit.edu/fall23/calendar) (Fall 2023)
+- ✅ 6.1600: [Foundations of Computer Security](https://61600.csail.mit.edu/2023/) (Fall 2023)
+- ✅ 6.512: [Coq: Formal Reasoning About Programs](https://frap.csail.mit.edu/) (Spring 2023)
+  - <span style="color:red">no lecture videos (but has free textbooks)</span>
 - ✅ 6.7320: [Parallel Computing and Scientific Machine Learning](https://book.sciml.ai/) (Spring 2023)
-- 🔄📝 6.820: [Foundations of Program Analysis](https://learning-modules.mit.edu/materials/index.html?uuid=/course/6/fa15/6.820)
-- ✅ 6.823: [Computer System Architecture](https://web.archive.org/web/20220525062408/http://csg.csail.mit.edu/6.823/lecnotes.html) (Fall 2021)
-- ✅ 6.824/6.5840: [Distributed Systems](https://pdos.csail.mit.edu/6.824/schedule.html) (Spring 2023)
-- ✅ 6.826: [Principles (and Verification) of Computer Systems](https://6826.csail.mit.edu/2020/) (Fall 2023)
-- ✅ 6.828/6.5660: [Computer Systems Security](https://css.csail.mit.edu/6.5660/2024/schedule.html) (Spring 2024)
-- ✅ 6.s081: [Dynamic Computer Language Engineering](http://6.s081.scripts.mit.edu/sp18/schedule.html) (Spring 2018)
+- 🔄📝 6.820: [Foundations of Program Analysis](https://ocw.mit.edu/courses/6-820-fundamentals-of-program-analysis-fall-2015/) (Fall 2015)
+- ✅ 6.823: Computer System Architecture ([Fall 2021](https://web.archive.org/web/20220525062408/http://csg.csail.mit.edu/6.823/), [Fall 2023](http://csg.csail.mit.edu/6.5900/))
+- ✅ 6.824: [Distributed Systems](https://pdos.csail.mit.edu/6.824/) (Spring 2023)
+- ✅ 6.826: Principles of Computer Systems ([Fall 2020](https://6826.csail.mit.edu/2020/), [Fall 2019](https://6826.csail.mit.edu/2019/), [Fall 2017](https://6826.csail.mit.edu/2017/))
+- ✅ 6.828: [Computer Systems Security](https://css.csail.mit.edu/6.5660/) (Spring 2023)
+- ✅ 6.s081: Dynamic Computer Language Engineering ([Spring 2019](http://6.s081.scripts.mit.edu/sp19/schedule.html), [Spring 2018](http://6.s081.scripts.mit.edu/sp18/schedule.html), [Spring 2017](http://6.s081.scripts.mit.edu/sp17/schedule.html))
 - ✅ 6.s050: [Programming Language Design](https://people.csail.mit.edu/feser/pld-s23/) (Spring 2023)
-- 🔄📝 6.s890: [Topics in Multiagent Learning](http://web.mit.edu/~gfarina/www/6S890/) (Fall 2023, being updated in real-time)
+- 🔄📝 6.s890: [Topics in Multiagent Learning](http://web.mit.edu/~gfarina/www/6S890/) (Fall 2023)

docs/courses/mit/course-6/6-042.md

@@ -0,0 +1,10 @@
+---
+layout: page
+title: 6.042 Mathematics for Computer Science
+permalink: /courses/mit/course-6/6-042/
+---
+
+Resources:
+- Spring 2018 [class website](https://courses.csail.mit.edu/6.042/spring18/) (psets, exams)
+- Spring 2015 [lecture videos](https://www.youtube.com/playlist?list=PLUl4u3cNGP60UlabZBeeqOuoLuj_KNphQ)
+- Spring 2010 [OCW page](https://ocw.mit.edu/courses/6-042j-mathematics-for-computer-science-fall-2010/) (lecture videos, recitations, psets, exams)