Hardliner66

6 ms·

1.
by Hardliner66 3y ago
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.com/hardliner66/vormbaar/
2.
by Hardliner66 3y ago
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 Verification tools allow you to write a specification in a co
3.
by Hardliner66 3y ago
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
4.
by Hardliner66 3y ago
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 styles, weird commit messages, etc. And it’s not about findin
5.
by Hardliner66 3y ago
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 will be a problem. First, it’s a tradeoff. You are going to
6.
by Hardliner66 3y ago
> 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 give him his own little Linux box that you can put in a s
7.
by Hardliner66 3y ago
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 irrelevant to the usage of message passing. It's als
8.
by Hardliner66 3y ago
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? No. Does it mean you should always
9.
by Hardliner66 3y ago
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 completely right way, there are ways that are better and ways tha
10.
by Hardliner66 3y ago
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 the proof as well. Finally, the proof must be disposed and th
11.
by Hardliner66 3y ago
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 itself is really hard too (never got it to work), the pack
12.
Show HN: Simple Web API Mock Server(github.com)
1 points by Hardliner66 11y ago|0 comments