Peaker

64 ms·

631.
by Peaker 13y ago
What's the difference?
632.
by Peaker 13y ago
Giving plans is somewhat similar to quoting the patent itself. Both should be completely legal, shouldn't they?
633.
by Peaker 13y ago
I think the issue here is that std::list is an extremely bad implementation of a linked list. One of the nice advantages of linked lists as opposed to vectors, is that you can avoid allocations, and std::list doesn't facilitate this ad
634.
by Peaker 13y ago
Why do you think it is necessarily much simpler? Selecting X or Y sperm cells may be easy, if there is some sort of external effect to the genes in those. For example, perhaps X causes sperm cells to be more robust to acidity, and the femal
635.
by Peaker 13y ago
The ml style statically typed languages are very different from all of these (in good ways). For example, in Haskell you can write code as if you're in a dynamic language without annotating all the types and yet you get all of the bene
636.
by Peaker 13y ago
Which statically-typed languages have you tried?
637.
by Peaker 13y ago
Doesn't CL also fail the grep test? You can generate function names on-the-fly, can't you?
638.
by Peaker 13y ago
That's a dynamically typed sub-language within Java.
639.
by Peaker 13y ago
Counterpoint: Macros. Though you could preprocess the code and grep that, it wouldn't work too well. Eclipse-et-al can give you a sort-of-works-most-of-the-time navigation features that work with the preprocessed code, which can overco
640.
by Peaker 13y ago
> dynamic languages still have a great deal of value I used to think this too.
641.
by Peaker 13y ago
Virtual tables are not quite the same thing. You can grep for every instantiation of the struct in the code-base. If anything, macros are more problematic: #define VTABLE_INIT(prefix) \ (struct vtable){ .add = &prefix##_add, .su
642.
by Peaker 13y ago
The threat is to democracy. If corporations violate your privacy, democracy is not in serious danger. If the government does, democracy is.
643.
by Peaker 13y ago
Or replace head with a better function.
644.
by Peaker 13y ago
A typical Haskell project will have thousands upon thousands of uses of Maybe, and only a handful of calls to the unsafe "unjust". Sure, sometime the maybe wrapper is wrong and you have to force it but it is exceedingly rare and i
645.
by Peaker 13y ago
An effect system cannot express what transformers can. Consider the difference between StateT s Maybe and MaybeT (State s).
646.
by Peaker 13y ago
I guess to progress from here we'd need to laboriously compare actual example pieces of code. For example a URL shortener is going to be easier to write safely in Haskell, where I am guaranteed by the type system not to have 404 errors
647.
by Peaker 13y ago
I don't need to "want that time not to have been in vain", I am already developing with Haskell and reaching extremely high productivity levels. What I want is for people to spend less time improving the eco systems of poorly
648.
by Peaker 13y ago
Go is more dynamically typed than Haskell. That is, it leaves nullability to runtime. It leaves parameteric polymorphism to runtime. Whenever there's a static type that Go cannot express (and there are plenty of those!) it is effecti
649.
by Peaker 13y ago
A couple of wealthy people will find it very hard to tamper with thousands of paper ballots supervised by multiple volunteers of various political leanings, each. Tampering with some computer systems? Not so hard.
650.
by Peaker 13y ago
These solutions are being implemented (in other democratic countries) successfully. The problems of "black box voting" are insurmountable. They cannot be solved.
651.
by Peaker 13y ago
There are paper ballots' solutions to most people with disabilities. Free public transportation to the ballots and a mandatory day off work also help. These problems are surmountable. The problems of "black box voting" are no
652.
by Peaker 13y ago
The electronic machines in use now are terrible, and should be abolished. I think these drawbacks of paper ballots are minor compared to "black box voting" where there's absolutely no way to prevent or even know about massive
653.
by Peaker 13y ago
When a website is insecure or abuses your trust, you can sue them, or they lose money. They have every incentive to make the web site honest and secure. If a website steals, someone who's lost money generally knows. When a voting syste
654.
by Peaker 13y ago
The issue isn't what your direct personal consequence would be. The issue is what Snowden called "turnkey tyranny". These tools can easily be seriously abused. When they are, a Democratic regime can collapse. The US democra
655.
by Peaker 13y ago
> I'm not saying you write tests to protect against NPEs. I'm saying that you write tests to ensure correctness of your code, and as a side-effect NPEs are flushed out of your code. This is my theory explaining why NPEs are not
656.
by Peaker 13y ago
On the dynamic..static axis, Go is much closer to the dynamic side than to Haskell's side. I am not a teacher or researcher, I am a practicing programmer writing code that is used by critical systems as well as ambitious projects that
657.
by Peaker 13y ago
> Testing is, as far as I can tell, the reason that these problems don't come up. Testing is a cost. It is more code to write, more code to maintain. It gives no guarantees about correctness, even of the exact feature under test. Co
658.
by Peaker 13y ago
You're right, I was thinking more of Haskell in the concurrency part.
659.
by Peaker 13y ago
Example web app: http://www.yesodweb.com/blog/2012/04/yesod-js-todo How many Strings do you see there?
660.
by Peaker 13y ago
If 99.9% of your data is "just strings", you're probably Doing It Wrong.

More ›