1
Turning the IDE Inside Out with Datalog
Introspectable and extensible IDEs with logic programming
Software engineer using ideas from databases, programming languages, and visualization to create interactive environments.
Visit petevilter.me → On Hacker News Jul 2020 – Jul 2020
Introspectable and extensible IDEs with logic programming