|
|
|
|
@ -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)
|
|
|
|
|
|
