diff --git a/README.md b/README.md index b6e794b..f37f708 100644 --- a/README.md +++ b/README.md @@ -17,6 +17,7 @@ A collection of articles & links - [And now it's all this](https://leancrew.com/all-this/2021/07/back-to-netnewswire/) - [simpler syndication](https://leancrew.com/all-this/2015/11/simpler-syndication/) - [lawyers guns and money blog](https://www.lawyersgunsmoneyblog.com/) +- [Files are hard](https://danluu.com/file-consistency/) - Foundational - [Certified Programming with Dependent Types](http://adam.chlipala.net/cpdt/cpdt.pdf) - [Types and Programming Languages](https://basics.sjtu.edu.cn/~xiaojuan/tapl2016/files/Types+and+Programming+Languages.pdf) @@ -81,6 +82,7 @@ A collection of articles & links - [gitpod](https://github.com/gitpod-io/gitpod) - Ephemeral, Kubernetes development environments - [JetBrains Space On-Premisis](https://www.jetbrains.com/help/space/production-installation.html) - [JetBrains Fleet](https://www.jetbrains.com/fleet) +- [dsq](https://github.com/multiprocessio/dsq) - SQL queries across many data formats ### Bugs - [CEF Tooltip Blanks Screen](https://bitbucket.org/chromiumembedded/cef/issues/3347/in-fullscreen-on-mac-an-html-title)