ddiruscio/logseq
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[logseq-plugin-git:commit] 2025-06-23T07:48:56.945Z

Browse Source
This commit is contained in:
Davide Di Ruscio
2025-06-23 09:48:57 +02:00
parent f399fea141
commit f33eb526db
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pages/Missione FSE 2025.md
+1
View File
@@ -35,5 +35,6 @@ external-link:: [Program - FSE 2025](https://conf.researchr.org/program/fse-2025
- Ok, with LLMs we are generating code faster, but less buggy? - Ok, with LLMs we are generating code faster, but less buggy?
- Automated test generation is more important than ever!!! - Automated test generation is more important than ever!!!
- Testing vs Verification - Testing vs Verification
- Grounds for optimism today! (oracle problem)
- -
- -