772 B
772 B
The most significant (prioritized) writeups that I'm working on can be seen in the footer at confest.im, 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:
- 💡 - Idea stage
- 🚧 - Structuring
- ✏️ - Writing
- ✅ - Finished
- ❌ - Abandoned
Idea | Description | Progress |
---|---|---|
Memory safety | Understanding memory safety from the perspective of a Python developer | 🚧 |
- The intersection of functional programming and formal verification as an amateur in both