rrobukef

30 ms·

301.
by rrobukef 9y ago
I question the wisdom of tapping another finite resource to battle long-term climate change.
302.
by rrobukef 9y ago
It's just as easy to create a second hard fork disabling the bomb if some group wants to keep the old rules.
303.
by rrobukef 9y ago
My phone notifies me when the bitcoin price swings more than 5% up or down from the previous value. Perfect for smoothing small price changes while tracking larger movements scale-free.
304.
by rrobukef 9y ago
But none as impressive as the seven world wonders.
305.
by rrobukef 9y ago
I can't check, but isn't sha256_times(passkey, 1713) == passkey? (sha256_times(sha256(a), 1713) == sha256_times(a,1714)?) The encryption is then basically worthless if you have a list of all lookups. (I didn't see a dynamic i
306.
by rrobukef 9y ago
constraint solver, pseudo boolean solver
307.
by rrobukef 9y ago
Until you hit backspace to correct something...
308.
by rrobukef 9y ago
GPS should have an option to be silent until I deviate from the route. Or be silent if I frequently travel this road (for example at least twice this month)
309.
by rrobukef 9y ago
4 words take 835 x 10^18. You're low by x10000. The biggest number of the JTR benchmark page [1] is 80981K for single core (Microsoft LanMan) or 6200 kc/s for 1 CPU (DES). All combinations take 1x10^9 cpu-days or 14 x 10^9 cpu-day
310.
by rrobukef 9y ago
Yesterday I subscribed. Today I get spam. Anyone else?
311.
by rrobukef 9y ago
This should be a solved problem with HD wallets.
312.
by rrobukef 9y ago
It's an asymmetrical game of tit-for-tat. If the hackers don't keep their word often enough the companies won't play the game again. Pay regardless of the hackers keeping their word and you make yourself vulnerable.
313.
by rrobukef 9y ago
Then you need to watch Hackers (again) :).
314.
by rrobukef 9y ago
If anything I think less die before reaching puberty.
315.
by rrobukef 9y ago
There's still a difference between legal and ethical. There's also a difference between innocent now and slander later. The potential for abuse is real.
316.
by rrobukef 9y ago
In europe you could do almost the same. Most courses can be exempt. Only the social courses and the final can't. You can do those in 1 year. Masters have this too.
317.
by rrobukef 9y ago
At the point BTC isn't under pressure anymore. Both forks have value because people give them value. But two forks are worth more than one because it was under immense pressure to scale. It could be that the growth was stunted until th
318.
by rrobukef 9y ago
I don't think they should use effectively constant. Because the difference between O(1) and O(log(n)) may not be very big but the difference between O(n) and O(n log(n)) is very measurable. Even for small n.
319.
by rrobukef 9y ago
The wonders of our consumerism. The golden age of pesticides, air, ground and water pollution. The golden age of MacDonald, KFC and Coca-cola and of super-size meals. Maybe we should listen to the scientists when they say something is bad.
320.
by rrobukef 9y ago
There is however less risk and lower operating costs. I think cost benefits are a bit more complex. However I think germany's decriminalisation was a good testcase. The netherlands don't seem to have problems either.
321.
by rrobukef 9y ago
This is wrong. Heaters have an efficiency of 100%, AC's don't. Energy cannot be created or destroyed. But it is easier to cool by 4 degrees than heating 40.
322.
by rrobukef 9y ago
There is a verified DRAT-trim (the proof checking format used) implementation in Isabelle/HOL [1]. Apparently it is faster than the original: ``We have presented a formally verified tool chain to check DRAT unsatisfiability certificate
323.
by rrobukef 9y ago
Most SAT solvers work similarly. The authors extended a technique (RUP to DRUP to DRAT) that creates a co-witness for the SAT problem. (This witness is not polynomial in the input size but proportional to the solving time.) The SAT solvers
324.
by rrobukef 9y ago
I don't want a math paper detailing 200TB of data. I want a paper telling me the generation of the digital input, the method that was used to actually prove it if it's novel. I want the authors to show how they verified the result
325.
by rrobukef 9y ago
Plenty of multiplayer browser games that differ in style and gameplay from these three. Care to try a minimal description?
326.
by rrobukef 9y ago
Both men and women are getting slower. Men much faster than women. So: Americans are becoming slower. The myth tries to be the explanation for the average running time getting slower. It falsily implies that because more women join, people
327.
by rrobukef 9y ago
I use it to setup my programming environment. One Makefile per project, semi-transferable to other pcs. It contains * a source code download, * copying IDE project files not included in the source, * creating a build folders
328.
by rrobukef 9y ago
I'm not precise anymore with jargon concerning polymorphism (it's all the same to me), which I probably shouldn't do. I consider two factors: first closed/open (or finite/arbitrary) of 'remembering' an era
329.
by rrobukef 9y ago
With Dynamic, yes, but not with existential quantification. The type is a proof the type-class is implemented. I also didn't yet know Dynamic, thanks. I'm not that fluent in fp.
330.
by rrobukef 9y ago
Closed polymorhpism can always be pattern-matched but it requires modifying all matchers. Open polymorphism is the default in OO interfaces: you can always implement a new type by adding code locally. Since existential types can be monomorp

More ›