3 ms·
Formal Methods and systems like Agda, TLA+ or other where you develop proofs of your algorithm. For me this seems like a very rich and deep direction for softwa
by sj4nz 11y ago
Formal Methods and systems like Agda, TLA+ or other where you develop proofs of your algorithm. For me this seems like a very rich and deep direction for software engineering. This is very much the atomic sledgehammer approach to "first: make it correct; then make it fast."
- AnimalMuppet 11y agoIt sounds like gadhra wants to learn things that will advance his/her career, rather than stimulate his/her intellect. With that in mind, I'm going to strongly disagree with you. Agda and TLA+ are not going to open many doors to jobs in the next five years. Instead, I suggest learning Android. It's my "next five years" step.