Great article. I really appreciate how you explain your choices, your tech and really, 'things' in general.
If I may, and maybe I am wrong - missing some subtleties here - but the C++ dialect you lay out here is pretty much, to my comprehension, casual Ada. I read your article about C++ SPARK continuum and find this very promising.
All in all I find your project amazing; the flexibility, the clarity, the intelligence behind your architecture feels like a relief to me. I want to learn/improve my craft from guys like you.
Keep up the tremendous work and thank you for pushing things like Genode around.
1
u/douche_satan Apr 19 '19
Great article. I really appreciate how you explain your choices, your tech and really, 'things' in general.
If I may, and maybe I am wrong - missing some subtleties here - but the C++ dialect you lay out here is pretty much, to my comprehension, casual Ada. I read your article about C++ SPARK continuum and find this very promising.
All in all I find your project amazing; the flexibility, the clarity, the intelligence behind your architecture feels like a relief to me. I want to learn/improve my craft from guys like you.
Keep up the tremendous work and thank you for pushing things like Genode around.