Hacker News
- Codebase as Database: Turning the IDE Inside Out with Datalog (2020) https://petevilter.me/post/datalog-typechecking/ 39 comments
- Turning the IDE Inside Out with Datalog https://petevilter.me/post/datalog-typechecking/ 61 comments
Lobsters
- Turning the IDE Inside Out with Datalog https://petevilter.me/post/datalog-typechecking/ 13 comments databases , plt