BucketSort

7 ms·

181.
by BucketSort 8y ago
We need new open source cultural leaders that set the tone for open source engagements. I see the poor attitude here on HN all the time. Someone posts about their open source project and they often get burned down for not doing x,y,z. It&#x
182.
by BucketSort 8y ago
To be fair, we don't know if this is the truth. Has Wag responded with their side of the story?
183.
by BucketSort 8y ago
Using yourself as a measure of these things is a horrible idea. Most impact is long term and not immediate to our personal lives. These shenanigans are deteriorating people's faith in the government and the country. This will have incr
184.
by BucketSort 8y ago
Thanks Sam!
185.
by BucketSort 8y ago
Terry 2.0?
186.
by BucketSort 8y ago
Why did you decide to make this as a standalone application instead of making it as a plugin to an existing editor? Seems like a lot of work for what seems to be a custom repl.
187.
by BucketSort 8y ago
It's a status update for your profile page, what's with the slippery slope arguments here? It's not like they implemented a social feed where you can post updates, making it more like a legitimate social network.
188.
by BucketSort 8y ago
I think you misunderstand the feature. You don't have to constantly update your status. You can set it once in a while to show what you're up to... if you want to.
189.
by BucketSort 8y ago
I'd like that feature. There's no reason why GitHub can't have a little more pizzazz. A lot of us spend a great deal of time writing code, why not have some fun with it? As long as the core features remain intact and unencumb
190.
by BucketSort 8y ago
I don't like conflating the two concerns either, and I'm not saying you condone the behavior, but once it happens, dealing with it appropriately is important. You don't want people like the poster above going around feeling l
191.
by BucketSort 8y ago
You can label issues to make that distinction. I've seen quite a few maintainers dismiss issues for similar reasons, much to the chagrin of the issue maker. It's kind of disrespectful just to pooh-pooh someone's issue.
192.
by BucketSort 8y ago
Most researchers are not independent and don't have much choice where they publish. Also, prestige plays a huge role in academia. Getting in Nature is a big deal to them. That's one reason I really dislike academia. They are often
193.
by BucketSort 8y ago
You can't get around the drilling in anything, but the point is that students do an OBSCENE amount of it, and forget most of it. Also, as other's have said, most material is totally irrelevant to the actual practice of medicine an
194.
by BucketSort 8y ago
You can undoubtedly put priority of grammar over vocabulary, no? You are not thinking in terms of systems that allow us to find the "words" we need after being guided by our mastery of the grammar and ability to reason about what
195.
by BucketSort 8y ago
Med school -> Memorization school. The medical profession needs to figure out how to use technology more effectively in its processes. I'm convinced that having doctors spend years doing route memorization hinders their critical thi
196.
by BucketSort 8y ago
Can you provide data to substantiate your claims? I'd truly like to know if this is true, because my intuition and experience tell me the opposite. People like downloading and trying out new apps. I also disagree with the premise of th
197.
by BucketSort 8y ago
Woof sometimes HN can be pretty unforgiving. Remember the human guys. Good job man. Keep it up. Thanks for contributing to open source.
198.
by BucketSort 8y ago
Wow, you really think highly of yourself. Most of us have thought ourselves to be geniuses ( as you do ) until we actually faced truly difficult challenges which humbled us. I suggest you stop engaging in meme philosophy and actually produc
199.
by BucketSort 8y ago
As others have said, they are most likely being used by the EU in some parts of their infrastructure. Then the question becomes "Why were they using these software in their infrastructure?" The answer to that is probably along the
200.
by BucketSort 8y ago
The incompetence of the Roman government once became so great that they lost the ability to provide basic public utilities like the keeping of time. Is this that for us? How could 911 possibly go down? Crazy.
201.
by BucketSort 8y ago
Also, "Curry–Howard–Lambek correspondence" is the real name for "computational trinitarianism." I like the latter better because I don't like naming mathematical things after people, which have no bearing on the act
202.
by BucketSort 8y ago
It's possible, but I guess I should have specified "logic outside the standard curriculum of computer science studies." For example, I think understanding bits of modal logic through how monads behave is much more fruitful fo
203.
by BucketSort 8y ago
Fyi, there are many correspondences between logic and type theory / functional programming. I have found that as a programmer, many ideas are more accessible to me in type theory as opposed to logic. Languages like Haskell are great fo
204.
by BucketSort 8y ago
I thought this was an obvious prank until I read the comments here... which I also assume to be a part of the prank.
205.
by BucketSort 8y ago
"Waste" implying you have something to waste. Relax. We are all passing through and no one will even know we existed not too long after we pass. You can go screaming to the grave as you are doing, or you can seek peace and at leas
206.
by BucketSort 8y ago
If you don't understand the appeal, do you think you should pass judgement? Hate is quite a strong word. Terminal interfaces are quite "discoverable," more so than GUI's I could argue. You can often display the list of a
207.
by BucketSort 8y ago
Some background for the uninitiated, this is Lambda Man, or Philip Wadler. One of the core contributors to Haskell. He also introduced monads to Haskell, which has had a huge impact on functional programming in general ( https://
208.
by BucketSort 8y ago
We need platforms for constructive arguments, ones where we can clearly state our assumptions and derive our conclusions. When outrage takes place, it would be up to those willing to invest their time on such platforms to establish various
209.
by BucketSort 8y ago
This is the beguiling thing about mathematics: it is right there on the page in front of you, yet often so far from your grasp. How could a statement said so simply as "a^n + b^n = c^n has no solutions for n > 2" be so difficul
210.
by BucketSort 8y ago
This is a charming film! How did you decide to include things like that little bit about him paying for the lectures he had posters of? Or the scene where you were peaking in from outside (which I suppose is a metaphor for the craft of crea

More ›