|
|
| 1. | | GrayC: Greybox Fuzzing of Compilers and Analysers for C (github.com/srg-imperial) | |
4 points by mrigger on Nov 3, 2023 | past
|
|
| 2. | | Encrypted Databases Made Secure yet Maintainable (github.com/sjtu-ipads) | |
2 points by mrigger on Sept 12, 2023 | past | 2 comments
|
|
| 3. | | Dynamic Data-Race Prediction: Fundamentals, Theory and Practice (3 Hours Video) (youtube.com) | |
1 point by mrigger on Sept 13, 2022 | past
|
|
| 4. | | Modus: A language for building Docker/OCI container images (github.com/modus-continens) | |
56 points by mrigger on Aug 3, 2022 | past | 28 comments
|
|
| 5. | | DuckDB Testing – Present and Future (youtube.com) | |
1 point by mrigger on July 7, 2022 | past
|
|
| 6. | | Linear-Time Temporal Logic Guided Greybox Fuzzing (github.com/ltlfuzzer) | |
1 point by mrigger on July 5, 2022 | past
|
|
| 7. | | YouTube Interviewing Series on Getting Faculty Positions in Computer Science (youtube.com) | |
1 point by mrigger on Nov 27, 2021 | past
|
|
| 8. | | Interview Questions for Computer Science Faculty Jobs (csfaculty.github.io) | |
1 point by mrigger on Dec 21, 2020 | past
|
|
| 9. | | Graalphp: An Efficient PHP Implementation Built on GraalVM (github.com/abertschi) | |
113 points by mrigger on Sept 23, 2020 | past | 56 comments
|
|
|
Consider applying for YC's Summer 2025 batch! Applications are open till May 13
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
