Viewing profile — jcookeak

Also have to sing praise for Kotlin, flyway, and some type-safe db framework. I’ve recently been migrating projects from jOOQ to SQLDelight. While not as feature complete, being ab…

For one thing, Dhall is not Turing complete. You can also freeze imports to prevent supply chain hacks, so it is much safer in theory. They have a great writeup on their safety her…

I took the IU compilers course as an undergrad and can easily say it was my favorite course. If anyone is interested, here is a link to the textbook which will cover this papers co…