Viewing profile — Hardliner66

I started something similar, but my goal is to create a projectional editor for the language, where syntax is more of a presentation problem than a parsing problem. https://github.…

People always think that using some sort of formal verification is overkill, but then they end up hunting bugs for months that would be trivially detectable in such tools. Formal V…

The funny thing is, that you can extend excel with c# to do basically anything. So just by having the Plugin in excel allows for c# interop

I hate take homes. I think my current company has a better approach by having new candidates do a code review of a MR we prepared. The MR is full of bugs and problems. Mixed code s…

Competitive programming is something I’d not put on my resume, unless the position is specifically about optimization. If you micro-optimize every piece of software you write that …

> how do I get him interested in the topic? Does he actually want to learn programming or do you want him to want to learn programming? If it’s the first, try programming games or …

First of all, I hate that the author pitches event-driven as something different than message passing. It's the same thing, just without reply. And if you need a reply or not is ir…

Even tho I'll get flak for it, I'll call bs on the article. It's the same as the phrase "(premature) optimization is the root of all evil". Does it mean you should never optimize? …

Well, that’s basically a long way to say “it depends”. But in reality there often is a right way to do things. There is just no universally right way. And even if there is no compl…

The example somehow reminds me of proof carrying code. If you obtain memory in pcc, you also get a proof that the memory is valid. If you want to use the memory, you need to pass t…

I think Pony is one of the most interesting languages out there. I love actors, I love capabilities, I love whitelisting of C/C++ usage. Sadly no armv7 support, cross compiling its…