vog

98 ms·

871.
by vog 10y ago
From that article: > Simply recompile the purported source code twice: once with a second (trusted) compiler, and again using the result of the first compilation. If the result is bit-for-bit identical with the untrusted binary, then th
872.
by vog 10y ago
This also explains the shift in functional programming from languages with good reasoning about correctness (Haskell, but also SQL) to languages which additionally allow of good reasoning of performance (OCaml, Rust, etc.). Moreover, this e
873.
by vog 10y ago
I'm confused by your statement. Do you think that 30s/slide is too fast or too slow?
874.
by vog 10y ago
This is a great step forward to regain control over our devices! I hope this kind of hack won't lead to laws making this kind of tampering with your own devices illegal. (If this seems absurd to you, think about copyright laws which ma
875.
by vog 10y ago
> "Well known" is a bit of a stretch. With "well known" I meant that you can find it quickly on StackOverflow: http://stackoverflow.com/q/10175812 And yes, I do think that researching and using
876.
by vog 10y ago
> ... personal projects ... How to https://10.0.2.2 ? It's not straightforward. Just issue a self-signed certificate. How is this not straight forward? All you need is a single, well-known OpenSSL command: openssl r
877.
by vog 10y ago
> What is this useful for? I suspect it may be used to enforce custom fonts in an old-fashioned way, but nowadays you would simply deliver the font with you site, or use a font service. Or, it could serve as some kind of "copy-pro
878.
by vog 10y ago
> The good news is that this doesn't have to be a dichotomy. You can have GC for in-memory data structures and deterministic destruction for everything else That's very interesting. Please correct me if I'm wrong, but I
879.
by vog 10y ago
I assume you mean strict (the opposite of lazy) instead of non-pure (which means imperative). Well, even then, Rust does not only give you control over execution order, but also tight control over memory management, while keeping it safe. H
880.
by vog 10y ago
Or OCaml, which is kind-of the original language F# was copied from.
881.
by vog 10y ago
> But then you hit a wall. Laziness makes for brutal debugging. Singly linked lists actually suck. Performance optimization is a black art To be fair, these issue are more-or-less solved by newer functional languages, such as OCaml or
882.
by vog 10y ago
Exactly that was my first reaction, too. Also, this makes a great analogy for software development and a very good point about Free Software (hands-on), proprietary software (you control at least the information flow into and out of that bl
883.
by vog 10y ago
> That is cool. Are there other ways to make a non-reversing mirror? I don't know if that counts, but: Get in front of your webcam and watch yourself on the screen. If your laptop screen is too small, note that modern large screen
884.
by vog 10y ago
I fully agree. As a more general strategy, just use integers (preferably unsigned integers) for all critical stuff such as state handling and looping over. Then, perform floating point operations only on top of that, as a last step. Sometim
885.
by vog 10y ago
On the other hand, on mobile platform it is perfectly accepted to say "install foo via app/play/whatever store", which is essentially the same process, isn't it?
886.
by vog 10y ago
Interestingly, this is exactly what you do when you start to work together with a freelancer. First, you give them a small, isolated task. If that works out well, give them more tasks.
887.
by vog 10y ago
> essentially XMPP with Conversations is all we have in this arena right now. Maybe this isn't too bad. How does modern XMPP compare with Signal's protocol? Since Signal refuses to learn from XMPP (especially the federated pa
888.
by vog 10y ago
To my experience, it is a fairly common expression of shyness to use trusted people's help when communicating. I actually know some people doing that - not just for text, but also for phone calls (they hope one wouldn't notice, or
889.
by vog 10y ago
If I do such minor corrections, I usually commit them immediately (via `git add -p` or better `git commit -p`), so they are out of my way.
890.
by vog 10y ago
I recommend using `git commit -p`, which is a shorthand for `git add -p` followed by `git commit`. Then, `git show` before you do `git push`.
891.
by vog 10y ago
This is pretty typical for shy poeple. "Just calling" means that you have to receive the reaction immediately, and moreover, that you have to react on that immediately, too. This is much more intimidating than waiting for a respon
892.
by vog 10y ago
Moreover, there are many usergroups and meetups - at least for people who are open-minded and not totally technology-avoiding. For example, here in Berlin you can get out almost every evening in the week, and you'll find one public mee
893.
by vog 10y ago
The problem here is backwards compatiblity. As your HTML file evolves, you will want to restructure it. CSS only takes you that far, at some point you need to adjust your HTML structure. And then you have the problem that most clients will
894.
by vog 10y ago
> Doesn't necessarily have to be through AWS Please refrain from strawman arguments. I wrote "AWS lambda and/or similar services". In the Fowler article, you find a nice classification of these services: - BaaS (Bac
895.
by vog 10y ago
The term "Serverless" means that you don't manage the servers, neither hardware nor virtual machines. Instead, you use exclusively AWS lambda and/or similar services. I find that term confusing, too, but it seems to be w
896.
by vog 10y ago
But the disadvantage is that you don't immediately see whether it is "and", "or" or something else. That's why in most programming languages the coding style says you should put the operators at start of line i
897.
by vog 10y ago
> indented from the table that they are joined to There is not always "the" table. How does your coding style work if you join into multiple tables? (because in reality you join the new table with the joined result of the pre
898.
by vog 10y ago
I fully agree with the sentiment, and especially with treating SQL code as code, because it really is code. My style differs in 4 regards: 1. "join"s are at the same level as "from", and the contents of from/join ar
899.
W3C: Introduction to Model-Based User Interfaces (2014)(w3.org)
4 points by vog 10y ago|0 comments
900.
by vog 10y ago
Indeed! A very good advice that read on this topic was this one: As a rule of thumb, any security protocol that contains lots of "MAY" parts (options) in its specification is suspicious. Even more so if the security layer itself

More ›