From 37064bc26574464d9b4bda4013e7bf52137d9c2d Mon Sep 17 00:00:00 2001 From: Boyan Date: Fri, 21 Mar 2025 17:50:30 +0100 Subject: [PATCH] Writeups readme --- writeups/README.md | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 writeups/README.md diff --git a/writeups/README.md b/writeups/README.md new file mode 100644 index 0000000..4e54bb2 --- /dev/null +++ b/writeups/README.md @@ -0,0 +1,21 @@ +The most significant (prioritized) writeups that I'm working on can be seen in the footer at [confest.im](https://confest.im/blog), but this folder includes every "technical" (and related to the languages described here) writeup I am working on. + +## Ideas and progress +Tables concerning the idea, the description and progress of the writeups I am working on. +Scale of progress: +1. 💡 - Idea stage +2. 🚧 - Structuring +3. ✏️ - Writing +4. ✅ - Finished +5. ❌ - Abandoned + +--- + +| Idea | Description | Progress | +|------|-------------|----------| +| Memory safety | Understanding memory safety from the perspective of a Python developer | 🚧 | + +--- + +1. The intersection of functional programming and formal verification as an amateur in both +## Miscellaneous ideas