3 ms·
Haka: An open-source security-oriented language
- tokenrove 12y agoThis looks interesting, but I was hoping it would be a language where you could statically enforce security guarantees, like timing invariance in a block to prevent timing attacks, or avoiding optimizations that would remove code that zeros memory.
- david-given 12y agoA quick look at their examples shows a language which looks very much like a reskinned Lua. Which, I should add, is not a bad thing, but they could be more honest about it.
- clockwork_189 12y agoThis looks interesting, but just like with any new technology, I like to look at any alternatives besides the proposed technology and see how it stacks up. So I guess my question would be, what are the alternatives to this? Or even what are the alternate methods to implementing some of the stuff that this language takes care of?