[logseq-plugin-git:commit] 2025-12-27T19:07:25.270Z

2025-12-27 20:08:10 +01:00
parent 1c76754387
commit a578313353
624 changed files with 11511 additions and 4361 deletions
@@ -0,0 +1,25 @@
+progress:: {{renderer :todomaster}}
+icon:: 📅
+boox-notes:: ![BOOX Notes](../assets/../../onyx/TabUltraCPro/Notepad/JOURNALING.pdf)
+
+	- ### Tasks
+		-
+	- ### Notes
+		- **[[SWEN]] talk on Semantic transformations vs Iterative repair: handling bugs with LLMs** (Max Hort)
+			- Work with Simula
+			- Detection and fixing vulnerabilities with LLMs
+				- ![image.png](../assets/image_1758026244401_0.png)
+				- Semantic preservig transformations essentially based on variable renaming
+					- ![image.png](../assets/image_1758026288177_0.png){:height 516, :width 808}
+					- ![image.png](../assets/image_1758026357281_0.png)
+					- ![image.png](../assets/image_1758026397882_0.png)
+					- ![image.png](../assets/image_1758026438853_0.png)
+					- ![image.png](../assets/image_1758026508462_0.png)
+					- How do you ensure that the functionalities remain the same? #question
+					- ![image.png](../assets/image_1758027202868_0.png)
+					- ![image.png](../assets/image_1758027303873_0.png)
+					- How do you check if a bug has been fixed during iterations #question
+					- ![image.png](../assets/image_1758027583266_0.png){:height 508, :width 891}
+					-
+					-
+		-