Very impressive work! I always wondered in which way contract programming will move. This is one aspect where I see the human factor never being really phased out, because you need people to check the contracts. Ada/SPARK are languages that are just very nice to work with.
I would like to encourage everyone to play around with them!
score 1 · canonical
Thank you for the elaborate reply, which my flippant comment didn’t deserve. I really appreciate your view of the system as a whole, where good system design is much more important than language choice.
However, an important point in my eyes is how many countless man-hours it takes to tend to the Python ecosystem, and ‘bend’ fast C/C++ libraries into working with Python. Python’s type system sucks, and you have to write a lot of glue to make it all work, and it takes time to maintain it because Python reinvents itself with every minor release (the 2to3-shift was also a great thing).
In a way everything is just ‘slapped on’, and I rarely see carefully designed python libraries. It’s like in the web development community, move fast or die. Only befitting that Python became the inofficial AI programming language.
score 1 · canonical
Thank you for your perspective! You mentioned that C++ could have had contracts like that, but I am not sure about this, given the gritty details of side-effects, for instance in multithreaded applications.
score 1 · canonical
This is a good point. I only know this from naïve (btw, the Icelandic keyboard layout is excellent, because it has an umlaut-modifier key, so ö, ä, ü, ï, ë, are all quickly typed). A few years ago I read that it’s permissible style to put that everywhere when two vowels touch, but it certainly is unorthodox.
score 1 · canonical
Contracts without neither proofs nor a strong type system make no sense, so C++ contracts are mostly useless. Compare these to Ada contracts, which are very well-designed, and can be used to prove things (e.g. no exceptions at runtime, allowing you to remove checks) given you can express side-effects. It is also distinguished between static (compile-time) and dynamic (runtime) predicates.
Who would spend all the time necessary to add contracts to a piece of C++ software? Given how deep you have to think of the code, you might as well rewrite it in another language.
Maybe it’s time to stop trying to tack on features to a language that is just not made for it.
score 2 · canonical
A good reason to deploy MTA-STS on your mail server, to prevent such downgrade attacks.
score 1 · canonical
Christmas came early this year. Wow, kudos to the developers! I never would have dreamt of this ever coming true.
score 1 · canonical
Indeed, nice find! I was already surprised about the high volume of articles on nerdyelectronics.com.
@pushcx, wouldn’t it be a good solution to simply change the URL?
score 1 · canonical
Also many define SPF with -all (hard-fail) instead of ~all (soft-fail). The former is wrong in conjunction with DMARC, as it may skip the DKIM check and trigger a reject based on the failed SPF alone.
score 1 · canonical
Syncthing+KeePass
score 1 · canonical