|
|
|
|
@ -8,6 +8,10 @@ A collection of articles & links
|
|
|
|
|
## Reading
|
|
|
|
|
|
|
|
|
|
- [The Challenges of Formally Proving HPC Systems Software](https://www.osti.gov/biblio/1500167)
|
|
|
|
|
- [SSReflect Tutorial](https://jfr.unibo.it/article/view/1979/1358)
|
|
|
|
|
- [Exercise Examples](https://github.com/catalin-hritcu/exos-ssr/tree/master/Catalin)
|
|
|
|
|
- [Orchestrating Layered Attestations](https://ku-sldg.github.io/copland/resources/copland-post-2019.pdf)
|
|
|
|
|
- [Design & Formal Verification of a Copland-based Attestation Protocol](https://ampetz.github.io/resources/memocode21_camera-ready.pdf)
|
|
|
|
|
|
|
|
|
|
### Development
|
|
|
|
|
|
|
|
|
|
@ -34,6 +38,7 @@ A collection of articles & links
|
|
|
|
|
|
|
|
|
|
- [v-lang](https://github.com/vlang/v)
|
|
|
|
|
- [Bun JavaScript runtime](https://bun.sh/)
|
|
|
|
|
- [JetBrains Arend Prover](https://arend-lang.github.io/)
|
|
|
|
|
|
|
|
|
|
### Rendering
|
|
|
|
|
|
|
|
|
|
@ -67,6 +72,7 @@ A collection of articles & links
|
|
|
|
|
- [git-less](https://gitless.com/) - Alternative git porcelain
|
|
|
|
|
- [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)
|
|
|
|
|
|
|
|
|
|
### Bugs
|
|
|
|
|
- [CEF Tooltip Blanks Screen](https://bitbucket.org/chromiumembedded/cef/issues/3347/in-fullscreen-on-mac-an-html-title)
|
|
|
|
|
|
