Shish2k

91 ms·

931.
by Shish2k 13y ago
I'd love to use proofs that my software is good; but after reading the 43 page "coq in a hurry" document, I still have no idea how to prove that "print 2 + 2" prints out "4", let alone how to apply it to a
932.
by Shish2k 13y ago
MySQL works pretty well when you treat it as an unreliable network-accessible key/value store; and PHP works pretty well if you treat it as a pure templating language, and also write your own implementation, and also rewrite the langua
933.
by Shish2k 13y ago
Personally I interpret language like that as "built by developers, for developers", as opposed to the "built by a committee of graphic artists and lawyers, to appeal to the CEO who imposes random decisions upon developers&quo
934.
by Shish2k 13y ago
> More features than the most featureless of the competition Well, yes. But how does it compare to something like postgres or elasticsearch? :P [ED> replace "better / worse" with "has / does not have features&
935.
by Shish2k 13y ago
Did you personally take part in the fighting in WWII? If not, how can you say that Hitler was a bad person? (Deliberately invoking Godwin, because that's the level of logic I'm responding to :P )
936.
by Shish2k 13y ago
IIRC openbsd's malloc does something like that by default, so every bit of data gets its own protected address space... and then the openssl guys built their own malloc without that feature, to get better performance :(
937.
by Shish2k 13y ago
Considering how widely SSL is used, and the resources of Google, I wonder if they could come up with their own encryption toolkit? How hard can it be for a company the size of Google to create a library that lives up to eg SQLite's qu
938.
by Shish2k 13y ago
> The problem is that GCs are considered harmful to crypto code Could a GC'ed language not just pause the GC thread while it executes a given block of code?
939.
by Shish2k 13y ago
It's not just more complexity per line, it's also a higher level of complexity, using language-specific features that people who aren't fluent in python wouldn't be familiar with (multiplying a string by a boolean)
940.
by Shish2k 13y ago
Even though this hole is huge, the ratio of attack-surface-exposed to security-gained from SSL is still in general worth it; you'd be throwing the baby out with the bathwater to disable encryption entirely IMO For comparison, would y
941.
by Shish2k 13y ago
To account for out-of-order packets, apparently (TLS-over-UDP is something I've never heard of, but I guess it exists?)
942.
by Shish2k 13y ago
I wonder how "unvalidated user input passed to memcpy()" didn't trigger all of the static analysers... I guess that the anaylser doesn't know that it's untrusted - perhaps it's worth having separate "tru
943.
by Shish2k 13y ago
Ubuntu pushed pulse before it was production ready -- I like that they did that, because it accelerated the production-readiness of a great idea with buggy implementation, and I'm using debian where stability matters anyway :P
944.
by Shish2k 13y ago
I would agree that this deal is great in terms of making VR happen in the short term - but making it happen by selling it to a giant services company, who can afford to be a loss leader until the competing hardware companies go out of busin
945.
by Shish2k 13y ago
> playing Russian roulette until i find one Well, you've certainly found the most badass way to get in contact with a politician -- not sure how effective it is over the long term though...
946.
by Shish2k 13y ago
Looks more like "one person suggests IRC 3.3 should adopt json, others are unconvinced"...
947.
by Shish2k 13y ago
> I just saw one yesterday at the hardware store I went to. When will they upgrade? When the cost of staying is greater than the cost of moving. For many embedded scenarios, the cost of staying is generally small (just occasional mainten
948.
by Shish2k 13y ago
> So we'll either face a sustained onslaught of cyberterrorism or Microsoft will have to reverse its policy ... or the people who are still using XP could upgrade? (Also I want a pony)
949.
by Shish2k 13y ago
Given approximately zero people using this datetime behaviour correctly, maybe one or two who tried to use it correctly and failed, and thousands of people who have bugs because they didn't expect it, I'm not sure changing it to b
950.
by Shish2k 13y ago
Alternative explanation: there's no central whitelist, windows just checks to make sure that the internal checksums all match up? (I don't know which is true, but if we're speculating, I imagine the latter would be more reali
951.
by Shish2k 13y ago
Nice set of links, somewhat confused as to why they disappear in a super-fancy way when you hover over them though...
952.
by Shish2k 13y ago
> most people are using trustworthy ISPs Have you not seen the news, at all, for the past several months? There have been a few revalations that perhaps some ISPs are not entirely trustworthy, to say the least...
953.
by Shish2k 13y ago
Seems ironic that of all the patches that don't get served over SSL, the "SSL is meaningless" bug is the one where you'd point out that SSL should be available :P
954.
by Shish2k 13y ago
for continuous integration as in build server, I'd use Jenkins; for network-wide configuration management (which I think is what you were asking), Salt
955.
by Shish2k 13y ago
If you happen to be a python dev: Docker is basically like virtualenv, but for everything instead of just for one aspect of one language
956.
by Shish2k 13y ago
> What would you like if you were to maintain some spagetti VB6 and .NET code? A different job?
957.
by Shish2k 13y ago
Emacs has an infinite number of features; but the end user may be required to write a few thousand lines of configuration file to enable some of them :)
958.
by Shish2k 13y ago
> He created PulseAudio and Avahi. Neither of those are reliable, stable pieces of software They weren't when they were first created, but since they became mainstream and other people joined their teams, I've found them to be
959.
by Shish2k 13y ago
> After about 4 gigs, it gives me a fat error. That sounds more likely to be an issue with your local storage (4GB being the limit for files on a FAT-formatted hard drive, IIRC). Though on the other hand, somebody still using FAT in this
960.
by Shish2k 13y ago
> I am a magnet scientist. Judging entirely by the name, that sounds awesome :D What do you do all day?

More ›