vault backup: 2025-02-04 12:03:53

.obsidian/bookmarks.json

@@ -0,0 +1,10 @@
+{
+  "items": [
+    {
+      "type": "file",
+      "ctime": 1738664322117,
+      "path": "Extracurricular/Misc/Ideas.md",
+      "title": "Ideas"
+    }
+  ]
+}

.obsidian/graph.json

@@ -5,7 +5,7 @@
   "showAttachments": false,
   "hideUnresolved": false,
   "showOrphans": false,
-  "collapse-color-groups": true,
+  "collapse-color-groups": false,
   "colorGroups": [
     {
       "query": "[\"type\":theoretical]",
@@ -46,6 +46,6 @@
   "repelStrength": 10,
   "linkStrength": 1,
   "linkDistance": 250,
-  "scale": 0.9999999999999991,
+  "scale": 0.665400791557209,
-  "close": true
+  "close": false
 }

.obsidian/plugins/obsidian-icon-folder/data.json

@@ -6,11 +6,11 @@
     "emojiStyle": "native",
     "iconColor": null,
     "recentlyUsedIcons": [
+      "LiInfo",
       "🤖",
       "🖥",
       "LiComputer",
-      "LiSatellite",
+      "LiSatellite"
-      "LiBookOpenCheck"
     ],
     "recentlyUsedIconsSize": 5,
     "rules": [],
@@ -90,5 +90,7 @@
     "iconColor": "#3df2ff"
   },
   "Operating Systems": "🖥",
-  "Introduction to Machine Learning": "🤖"
+  "Introduction to Machine Learning": "🤖",
+  "Introduction to Machine Learning/Introductory lecture.md": "LiInfo",
+  "Operating Systems/Introductory lecture.md": "LiInfo"
 }

.obsidian/workspace.json

@@ -4,25 +4,11 @@
     "type": "split",
     "children": [
       {
-        "id": "91b1494cd808f86c",
+        "id": "50a1c48b63677fa6",
         "type": "tabs",
         "children": [
           {
-            "id": "cd8e3009ae40c051",
+            "id": "96f5fe23af86a273",
-            "type": "leaf",
-            "state": {
-              "type": "markdown",
-              "state": {
-                "file": "Extracurricular/satQuest/Meeting Dec 18.md",
-                "mode": "source",
-                "source": false
-              },
-              "icon": "lucide-file",
-              "title": "Meeting Dec 18"
-            }
-          },
-          {
-            "id": "3dbe2cc922c4bee2",
             "type": "leaf",
             "state": {
               "type": "markdown",
@@ -35,8 +21,7 @@
               "title": "Introductory lecture"
             }
           }
-        ],
+        ]
-        "currentTab": 1
       }
     ],
     "direction": "vertical"
@@ -214,33 +199,40 @@
       "omnisearch:Omnisearch": false
     }
   },
-  "active": "3dbe2cc922c4bee2",
+  "active": "96f5fe23af86a273",
   "lastOpenFiles": [
-    "Operating Systems/Introductory lecture.md",
+    "Extracurricular/Circuitree/Committee Market/Macro pad.md",
+    "Extracurricular/Circuitree/Committee Market/discussion/Committee market ideas.md",
+    "Extracurricular/Circuitree/Committee Market/discussion/CA.md",
+    "Extracurricular/Misc/Plan.md",
+    "Extracurricular/Misc/Proposed Routine Plan.canvas",
+    "Extracurricular/Misc/Ideas.md",
+    "Functional Programming/Eq and Num.md",
     "Introduction to Machine Learning/Introductory lecture.md",
+    "Functional Programming/Proofs.md",
+    "Operating Systems/Introductory lecture.md",
+    "Discrete Structures/Relations and Digraphs.md",
+    "Operating Systems/assets/Pasted image 20250204103541.png",
+    "Software Engineering/Introductory Lecture.md",
+    "Discrete Structures/Recurrence relations.md",
+    "Discrete Structures/Mathematical Proofs (Induction).md",
+    "Discrete Structures/Counting.md",
     "Introduction to Machine Learning",
     "Operating Systems/assets/image.png",
     "Operating Systems/image.png",
-    "Operating Systems/assets/Pasted image 20250204103541.png",
     "Operating Systems/assets",
     "Pasted image 20250113151159.png",
-    "Software Engineering/Introductory Lecture.md",
     "conflict-files-obsidian-git.md",
-    "Untitled.md",
     "Statistics and Probability/Mock exam run 1.md",
-    "Functional Programming/Proofs.md",
     "Operating Systems",
     "Statistics and Probability/Support Lecture.md",
     "Software Engineering",
-    "Extracurricular/Misc/Ideas.md",
     "Functional Programming/Drawing 2024-12-24 17.52.22.excalidraw.md",
     "Extracurricular/satQuest/Meeting Dec 18.md",
     "Extracurricular/satQuest/img/Pasted image 20241218122110.png",
     "Excalidraw/Drawing 2024-12-11 23.27.51.excalidraw.md",
     "Discrete Structures/Midterm/attempt 2.md",
-    "Discrete Structures/Recurrence relations.md",
     "Discrete Structures/Midterm/attempt 1.md",
-    "Discrete Structures/Counting.md",
     "Discrete Structures/Midterm/Untitled.md",
     "Discrete Structures/Midterm/Midterm prep.md",
     "Discrete Structures/Midterm",
@@ -248,18 +240,12 @@
     "Extracurricular/satQuest/Parts Proposal.md",
     "Untitled.canvas",
     "Discrete Structures/Mathematical Data Structures.md",
-    "Discrete Structures/Relations and Digraphs.md",
-    "Discrete Structures/Mathematical Proofs (Induction).md",
-    "Advanced Algorithms/Graphs.md",
-    "Advanced Algorithms/P vs. NP.md",
     "Advanced Algorithms/Pasted image 20241203234600.png",
     "Excalidraw",
-    "Extracurricular/satQuest/Initial Meeting.md",
     "Extracurricular/satQuest/img/Pasted image 20241206134213.png",
     "Extracurricular/satQuest/img/Pasted image 20241206134207.png",
     "Extracurricular/satQuest/img/Pasted image 20241206133007.png",
     "Extracurricular/satQuest/img",
-    "Advanced Algorithms/Recurrence relations.md",
     "Advanced Algorithms/assets/pnp",
     "Advanced Algorithms/assets/graph",
     "Advanced Algorithms/practicals",
@@ -268,7 +254,6 @@
     "Advanced Programming/assets/assignment/assignment_organization.canvas",
     "Advanced Programming/assets/spring/Beans.canvas",
     "Advanced Programming/assets/assignment/assignment_app.canvas",
-    "Extracurricular/Misc/Proposed Routine Plan.canvas",
     "Extracurricular/Circuitree/Committee Market/discussion/Proposed showcase infra.canvas"
   ]
 }

Extracurricular/Misc/Ideas.md

@@ -1,2 +1,4 @@
 1. Anti-AI extension -> Data -> Bachelor's thesis
-2. Temmies calendar integration (background ical service)
+2. The groningen site thingy
+3. Temmies calendar integration (background ical service)
+4. o.pm bangle.js reboot (grafana and js <3)

Extracurricular/Misc/Proposed Routine Plan.canvas

@@ -1,38 +1,283 @@
 {
-	"nodes":[
+  "nodes": [
-		{"id":"163ca037f71a0b6f","type":"group","x":-320,"y":115,"width":838,"height":865,"color":"4","label":"Health"},
+    {
-		{"id":"07a053d6dd1d68a0","type":"group","x":640,"y":334,"width":596,"height":427,"color":"6","label":"Productivity"},
+      "id": "163ca037f71a0b6f",
-		{"id":"5159e3993f95efcb","type":"text","text":"Avoid bad habits (3)","x":-138,"y":135,"width":183,"height":60},
+      "type": "group",
-		{"id":"3b1083b1e372d498","type":"text","text":"Reading (4, 7)","x":42,"y":417,"width":170,"height":60},
+      "styleAttributes": {},
-		{"id":"f897f4ba690283db","type":"text","text":"Sleep Schedule Improvement  (1)","x":-189,"y":600,"width":295,"height":50},
+      "x": -320,
-		{"id":"3aa369dab5e52be1","type":"text","text":"Better Social (9)","x":-215,"y":900,"width":186,"height":60},
+      "y": 115,
-		{"id":"8dbfb266e9ae4898","type":"text","text":"Physical health routine (2)  becomes manageable ","x":-7,"y":900,"width":263,"height":60},
+      "width": 838,
-		{"id":"1a3aafd43063deaf","type":"text","text":"Schedule better","x":-129,"y":740,"width":176,"height":60},
+      "height": 865,
-		{"id":"c53e69212bf4751a","type":"text","text":"Eating better (8)","x":287,"y":800,"width":181,"height":60},
+      "color": "4",
-		{"id":"2db72cbff0c7ee4d","type":"text","text":"Better communication and reliability","x":101,"y":711,"width":222,"height":60},
+      "label": "Health"
-		{"id":"a07ffd84eb97e076","type":"text","text":"Good habits","x":106,"y":264,"width":150,"height":60},
+    },
-		{"id":"6dc127fe4098cce8","type":"text","text":"Enjoy hobbies during day (5)","x":256,"y":417,"width":242,"height":60},
+    {
-		{"id":"0bc6527818df845c","type":"text","text":"Sticking to schedule (6)","x":660,"y":500,"width":250,"height":60},
+      "id": "07a053d6dd1d68a0",
-		{"id":"2b76b4366e7d7447","type":"text","text":"Consistency in terms of Uni","x":713,"y":354,"width":280,"height":60},
+      "type": "group",
-		{"id":"7b69dd32a9ff908b","type":"text","text":"Using the same [[Plan#Proven studying tactics | Study tactics]]","x":933,"y":500,"width":283,"height":60},
+      "styleAttributes": {},
-		{"id":"37abaca3fa89fb9b","type":"text","text":"Better mental and productivity","x":799,"y":681,"width":294,"height":60}
+      "x": 640,
-	],
+      "y": 334,
-	"edges":[
+      "width": 596,
-		{"id":"e7314215770b1b5a","fromNode":"5159e3993f95efcb","fromSide":"bottom","toNode":"a07ffd84eb97e076","toSide":"top","label":"Replace with"},
+      "height": 427,
-		{"id":"ea778f6b684828c5","fromNode":"a07ffd84eb97e076","fromSide":"bottom","toNode":"3b1083b1e372d498","toSide":"top"},
+      "color": "6",
-		{"id":"3d552b06f8e838d2","fromNode":"a07ffd84eb97e076","fromSide":"bottom","toNode":"6dc127fe4098cce8","toSide":"top"},
+      "label": "Productivity"
-		{"id":"ab96f7d33eb891ce","fromNode":"3b1083b1e372d498","fromSide":"bottom","toNode":"f897f4ba690283db","toSide":"right"},
+    },
-		{"id":"c0ad3200c4953eec","fromNode":"6dc127fe4098cce8","fromSide":"bottom","toNode":"f897f4ba690283db","toSide":"right"},
+    {
-		{"id":"e5b241cb68304667","fromNode":"f897f4ba690283db","fromSide":"bottom","toNode":"1a3aafd43063deaf","toSide":"top"},
+      "id": "6dc127fe4098cce8",
-		{"id":"b9c17ff043c9c20c","fromNode":"1a3aafd43063deaf","fromSide":"bottom","toNode":"3aa369dab5e52be1","toSide":"top"},
+      "type": "text",
-		{"id":"bb5bfaec52770979","fromNode":"1a3aafd43063deaf","fromSide":"bottom","toNode":"8dbfb266e9ae4898","toSide":"top"},
+      "text": "Enjoy hobbies during day (5)",
-		{"id":"abbd6f42e11801dd","fromNode":"f897f4ba690283db","fromSide":"left","toNode":"5159e3993f95efcb","toSide":"left","label":"Feeds into"},
+      "styleAttributes": {},
-		{"id":"a54109b27e452e8c","fromNode":"c53e69212bf4751a","fromSide":"bottom","toNode":"8dbfb266e9ae4898","toSide":"right"},
+      "x": 256,
-		{"id":"14046f7578cefaf8","fromNode":"2b76b4366e7d7447","fromSide":"bottom","toNode":"0bc6527818df845c","toSide":"top"},
+      "y": 417,
-		{"id":"f3acc398f229e47b","fromNode":"2b76b4366e7d7447","fromSide":"bottom","toNode":"7b69dd32a9ff908b","toSide":"top"},
+      "width": 242,
-		{"id":"cf8880dfe4e23cf4","fromNode":"0bc6527818df845c","fromSide":"bottom","toNode":"37abaca3fa89fb9b","toSide":"top"},
+      "height": 60
-		{"id":"74f1bc2742e8f761","fromNode":"7b69dd32a9ff908b","fromSide":"bottom","toNode":"37abaca3fa89fb9b","toSide":"top"},
+    },
-		{"id":"73a16c85641dc4ff","fromNode":"163ca037f71a0b6f","fromSide":"right","toNode":"07a053d6dd1d68a0","toSide":"left"},
+    {
-		{"id":"a5d14c192499b2f9","fromNode":"1a3aafd43063deaf","fromSide":"right","toNode":"2db72cbff0c7ee4d","toSide":"left"}
+      "id": "0bc6527818df845c",
-	]
+      "type": "text",
+      "text": "Sticking to schedule (6)",
+      "styleAttributes": {},
+      "x": 660,
+      "y": 500,
+      "width": 250,
+      "height": 60
+    },
+    {
+      "id": "2b76b4366e7d7447",
+      "type": "text",
+      "text": "Consistency in terms of Uni",
+      "styleAttributes": {},
+      "x": 713,
+      "y": 354,
+      "width": 280,
+      "height": 60
+    },
+    {
+      "id": "5159e3993f95efcb",
+      "type": "text",
+      "text": "Avoid bad habits (3)",
+      "styleAttributes": {},
+      "x": -138,
+      "y": 135,
+      "width": 183,
+      "height": 60
+    },
+    {
+      "id": "3b1083b1e372d498",
+      "type": "text",
+      "text": "Reading (4, 7)",
+      "styleAttributes": {},
+      "x": 42,
+      "y": 417,
+      "width": 170,
+      "height": 60
+    },
+    {
+      "id": "f897f4ba690283db",
+      "type": "text",
+      "text": "Sleep Schedule Improvement  (1)",
+      "styleAttributes": {},
+      "x": -189,
+      "y": 600,
+      "width": 295,
+      "height": 50
+    },
+    {
+      "id": "2db72cbff0c7ee4d",
+      "type": "text",
+      "text": "Better communication and reliability",
+      "styleAttributes": {},
+      "x": 101,
+      "y": 711,
+      "width": 222,
+      "height": 60
+    },
+    {
+      "id": "a07ffd84eb97e076",
+      "type": "text",
+      "text": "Good habits",
+      "styleAttributes": {},
+      "x": 106,
+      "y": 264,
+      "width": 150,
+      "height": 60
+    },
+    {
+      "id": "7b69dd32a9ff908b",
+      "type": "text",
+      "text": "Using the same [[Plan#Proven studying tactics | Study tactics]]",
+      "styleAttributes": {},
+      "x": 933,
+      "y": 500,
+      "width": 283,
+      "height": 60
+    },
+    {
+      "id": "37abaca3fa89fb9b",
+      "type": "text",
+      "text": "Better mental and productivity",
+      "styleAttributes": {},
+      "x": 799,
+      "y": 681,
+      "width": 294,
+      "height": 60
+    },
+    {
+      "id": "3aa369dab5e52be1",
+      "type": "text",
+      "text": "Better Social (9)",
+      "styleAttributes": {},
+      "x": -215,
+      "y": 900,
+      "width": 186,
+      "height": 60
+    },
+    {
+      "id": "8dbfb266e9ae4898",
+      "type": "text",
+      "text": "Physical health routine (2)  becomes manageable ",
+      "styleAttributes": {},
+      "x": -7,
+      "y": 900,
+      "width": 263,
+      "height": 60
+    },
+    {
+      "id": "1a3aafd43063deaf",
+      "type": "text",
+      "text": "Schedule better",
+      "styleAttributes": {},
+      "x": -129,
+      "y": 740,
+      "width": 176,
+      "height": 60
+    },
+    {
+      "id": "c53e69212bf4751a",
+      "type": "text",
+      "text": "Eating better (8)",
+      "styleAttributes": {},
+      "x": 287,
+      "y": 800,
+      "width": 181,
+      "height": 60
+    }
+  ],
+  "edges": [
+    {
+      "id": "e7314215770b1b5a",
+      "fromNode": "5159e3993f95efcb",
+      "fromSide": "bottom",
+      "toNode": "a07ffd84eb97e076",
+      "toSide": "top",
+      "label": "Replace with"
+    },
+    {
+      "id": "ea778f6b684828c5",
+      "fromNode": "a07ffd84eb97e076",
+      "fromSide": "bottom",
+      "toNode": "3b1083b1e372d498",
+      "toSide": "top"
+    },
+    {
+      "id": "3d552b06f8e838d2",
+      "fromNode": "a07ffd84eb97e076",
+      "fromSide": "bottom",
+      "toNode": "6dc127fe4098cce8",
+      "toSide": "top"
+    },
+    {
+      "id": "ab96f7d33eb891ce",
+      "fromNode": "3b1083b1e372d498",
+      "fromSide": "bottom",
+      "toNode": "f897f4ba690283db",
+      "toSide": "right"
+    },
+    {
+      "id": "c0ad3200c4953eec",
+      "fromNode": "6dc127fe4098cce8",
+      "fromSide": "bottom",
+      "toNode": "f897f4ba690283db",
+      "toSide": "right"
+    },
+    {
+      "id": "e5b241cb68304667",
+      "fromNode": "f897f4ba690283db",
+      "fromSide": "bottom",
+      "toNode": "1a3aafd43063deaf",
+      "toSide": "top"
+    },
+    {
+      "id": "b9c17ff043c9c20c",
+      "fromNode": "1a3aafd43063deaf",
+      "fromSide": "bottom",
+      "toNode": "3aa369dab5e52be1",
+      "toSide": "top"
+    },
+    {
+      "id": "bb5bfaec52770979",
+      "fromNode": "1a3aafd43063deaf",
+      "fromSide": "bottom",
+      "toNode": "8dbfb266e9ae4898",
+      "toSide": "top"
+    },
+    {
+      "id": "abbd6f42e11801dd",
+      "fromNode": "f897f4ba690283db",
+      "fromSide": "left",
+      "toNode": "5159e3993f95efcb",
+      "toSide": "left",
+      "label": "Feeds into"
+    },
+    {
+      "id": "a54109b27e452e8c",
+      "fromNode": "c53e69212bf4751a",
+      "fromSide": "bottom",
+      "toNode": "8dbfb266e9ae4898",
+      "toSide": "right"
+    },
+    {
+      "id": "14046f7578cefaf8",
+      "fromNode": "2b76b4366e7d7447",
+      "fromSide": "bottom",
+      "toNode": "0bc6527818df845c",
+      "toSide": "top"
+    },
+    {
+      "id": "f3acc398f229e47b",
+      "fromNode": "2b76b4366e7d7447",
+      "fromSide": "bottom",
+      "toNode": "7b69dd32a9ff908b",
+      "toSide": "top"
+    },
+    {
+      "id": "cf8880dfe4e23cf4",
+      "fromNode": "0bc6527818df845c",
+      "fromSide": "bottom",
+      "toNode": "37abaca3fa89fb9b",
+      "toSide": "top"
+    },
+    {
+      "id": "74f1bc2742e8f761",
+      "fromNode": "7b69dd32a9ff908b",
+      "fromSide": "bottom",
+      "toNode": "37abaca3fa89fb9b",
+      "toSide": "top"
+    },
+    {
+      "id": "73a16c85641dc4ff",
+      "fromNode": "163ca037f71a0b6f",
+      "fromSide": "right",
+      "toNode": "07a053d6dd1d68a0",
+      "toSide": "left"
+    },
+    {
+      "id": "a5d14c192499b2f9",
+      "fromNode": "1a3aafd43063deaf",
+      "fromSide": "right",
+      "toNode": "2db72cbff0c7ee4d",
+      "toSide": "left"
+    }
+  ],
+  "metadata": {}
 }

Functional Programming/Proofs.md

@@ -2,6 +2,7 @@
 title: Understanding Induction
 abstract: I am fucking stupid and I can't understand this
 author: 
+type: theoretical
 ---
 
 ## Understanding Induction

Introduction to Machine Learning/Introductory lecture.md

@@ -0,0 +1,130 @@
+---
+type: theoretical
+---
+
+## We're gonna be doing
+- General intro
+- Unsupervised learning
+- Supervised learning
+
+
+
+### Philosophical Introduction
+- What is intelligence?
+- Can machines **ever** be intelligent?
+
+
+### Intelligent systems
+a system that can:
+
+- Perceive
+Interaction with the environment. e.g. computer vision, speech recognition
+
+- Make decisions 
+process incoming information, analyze it, and make decisions based on it.
+e.g. self-driving cars, game playing
+
+- Learn
+improve performance over time, i.e. data driven adaptation based on observations *only* (for unsupervised learning) or based on observations and feedback (for supervised learning)
+
+## Relevant Mathematical Notation
+
+Models are noted as $m = \gamma (D)$, where $D$ is the data and $\gamma$ is the model.
+
+Example - a model that predicts the price of a house based on its size and location:
+
+$m = \gamma ( \beta_0 + \beta_1 x_1 + \beta_2 x_2)$ 
+
+where $x_1$ is the size of the house and $x_2$ is the location of the house.
+
+## Unsupervised learning
+
+- Compression
+Represent all the data in a more compact form (few features)
+
+- Clustering
+Identify groups of similar data points
+
+- Reduction
+Reduce the dimensionality of the data, i.e. represent large amount of data by few prototypes[^1]
+
+The above aims define a **cost function** or optimization strategy, which is used to teach the machine to learn, but thee is no feedback from the environment. (hence **un**supervised learning).
+
+Example:
+
+Consider a dataset of images of cats and dogs. We can use unsupervised learning to identify the features that are common to all cats and all dogs. This can be used to classify new images of cats and dogs.
+
+
+## Supervised learning
+*Classification/Regression*
+
+Data: observations, e.g. images, text, etc. and labels, e.g. cat/dog, spam/not spam, etc.
+
+Regression problems:
+- Predict quantitative values, e.g. house prices, stock prices, etc.
+
+e.g. predict the weight of a cow based on its size:
+
+$m = \gamma ( \beta_0 + \beta_1 x_1)$
+
+where $x_1$ is the size of the cow.
+
+
+
+Classification problems:
+- Predict qualitative values, e.g. cat/dog, spam/not spam, etc.
+- Binary classification: two classes
+- Multi-class classification: more than two classes
+
+
+> [!IMPORTANT]
+> It is crucial to find the right features to represent the data. The model is only as good as the features used to represent the data.
+
+
+### Some issues
+- Complexity of the model
+- Parametrization[^2] of a hypothesis 
+- Noise in the dataset
+
+## Other forms of learning
+
+- Semi-supervised learning, self-supervised learning
+
+Partially labeled data, e.g. some images are labeled, some are not. Extend by making predictions on the unlabeled data and using the predictions to improve the model.
+
+- Reinforcement learning
+Delayed reward (feedback) from the environment. e.g. game playing, robotics, etc.
+
+- Transfer learning, few-shot learning, single-shot learning
+
+Use knowledge from one task to improve performance on another task. e.g. use knowledge from a large dataset to improve performance on a smaller dataset.
+
+
+## Deeper look of reinforcement learning
+
+There's a reward signal evaluating the outcome of past actions.
+
+Problems involving an agent[^3], an environment, and a reward signal.
+
+The goal is to learn a policy that maximizes the reward signal.
+
+```mermaid
+
+graph TD
+    A[Agent] --> B[Environment]
+    B --> C[Reward signal]
+    C --> A
+
+```
+
+
+
+## Conclusion
+![Comparison](assets/image.png)
+
+[^1]: Prototypes in this context means a representative sample of the data. For example, if we have a dataset of images of cats and dogs, we can represent the dataset by a few images of cats and dogs that are representative of the whole dataset.
+
+[^2]: Parametrization is the process of defining a model in terms of its parameters. For example, in the model $m = \gamma ( \beta_0 + \beta_1 x_1)$, $\beta_0$ and $\beta_1$ are the parameters of the model.
+
+
+[^3]: An agent is an entity that interacts with the environment. For example, a self-driving car is an agent that interacts with the environment (the road, other cars, etc.) to achieve a goal (e.g. reach a destination).

Operating Systems/Introductory lecture.md

@@ -1,3 +1,6 @@
+---
+type: theoretical
+---
 
 ## Operating System
 - Manages hardware and software