jules

91 ms·

811.
by jules 11y ago
Even those people don't think you should get a life sentence for every crime. If a prisoner gets out of prison they are going to live somewhere, so somebody is going to be their neighbor. Even if they aren't your neighbor th
812.
by jules 11y ago
I think the question to ask people who favor punishment prisons is this: prisoners get out of prison one day. If a prisoner was moving in the house next to yours as your neighbor, would you rather have a prisoner from a prison focused on hu
813.
by jules 11y ago
Just like drug offenses are insignificant compared to "small" time white collar crime, small time white collar crime is insignificant compared to what's going on in the financial sector. It brought the world as we know it to
814.
by jules 11y ago
No. Only racing bikes have those, occasionally. In Amsterdam 99% of people ride a normal bike, not a racing bike. This is the essential difference between the bike cultures. Car drivers in the netherlands also do not like like bike racers,
815.
by jules 11y ago
Bike density is way higher in Amsterdam, yet it works well. Then again, in Amsterdam all bikes have brakes and people go at a slower speed.
816.
by jules 11y ago
The $5k limit is irrelevant. PACs can funnel an unlimited amount of money into campaigns as long as they are "independent". Besides, average Joe certainly does not even have $5k to spend on a campaign, so yea if it were true that
817.
by jules 11y ago
Yes, thanks :)
818.
by jules 11y ago
The Netherlands wasn't always bike friendly. There was a big push in the 70's to redesign cities and popularize cycling. It wasn't something that just happened or something that was always there. I agree that you need to adap
819.
by jules 11y ago
> Designing cities around people, not a way to transport them, is missing from this approach. Exactly! What a lot of bike activists seem to be missing is that bikes are just one part of this. Bikes are a means to an end. The goal is huma
820.
by jules 11y ago
Indeed, even taking the stairs would be much faster. With a bike you would carry more weight to the top, and go a longer distance. This more than offsets the difference between walking and biking.
821.
by jules 11y ago
I wonder if that expert has been to the Netherlands or Copenhagen. In fact I wonder whether he has really experienced a bike for day to day use, because some of the ideas are very strange. It's telling that most bikes in the pictures a
822.
by jules 11y ago
As I explained, the difference is that in one case you have one vtable per object in the vector, in the other case you have one vtable for the whole vector. With one vtable per object you can have one vector containing objects of two differ
823.
by jules 11y ago
Steve Klabnik was not talking about Box<TraitObject> vs TraitObject, but about f(x:TraitObject) vs f<T:TraitObject>(x:T). In the former the vtable is attached to the value, in the latter the vtable travels separately. These do h
824.
by jules 11y ago
I understand, it's just that your comment made me doubt whether going to Mars is a good idea at all :) Why I thought that going to Mars might not be a great idea (yet): NASA's budget is about 17 billion so lets guesstimate that go
825.
by jules 11y ago
Why should we want to go to Mars at this point in time? Given the choice of putting billions into going to Mars or doing something else, why should we go to Mars? It seems to me that there are far better places to put this money.
826.
by jules 11y ago
I'm curious why YC chose to include a video in the application. Have you done any tests regarding bias towards people that present themselves well or are simply attractive? Or would such a bias be intentional since other people (i.e. i
827.
by jules 11y ago
The semantics of those are different. With trait objects the vtable is attached to the value. You could instead imagine a language with two types of trait bounds: one specialized statically (like Rust trait bounds), and the other handled dy
828.
by jules 11y ago
Your argument justifies that it doesn't make sense for immoral Americans to oppose this treaty. Fortunately not all Americans are immoral.
829.
by jules 11y ago
There was a great TV show from Belgium called Neveneffecten a few years ago. One of the things they did was take the bait of email spam scammers. One of the scam gangs arranged an in-person meet in Belgium and tried to convince them to take
830.
by jules 11y ago
Move out of the US.
831.
by jules 11y ago
JITs could only optimize pattern matching if one particular branch is picked all the time, but not statically knowable. That is a very niche case. Really, in almost all cases where JITs are effective it's because of a language where yo
832.
by jules 11y ago
An AOT compiler can decide to compile a JIT code generator into the binary, so even in theory AOT beats JIT. In practice it almost never makes sense to do this for a language that isn't full of gratuitous dynamism.
833.
by jules 11y ago
To figure out what's the best time to post to reddit you want the number of successful submissions divided by the total number of submissions in that time period, not just the count of successful submissions. Otherwise you may just be
834.
by jules 11y ago
If you asked a group of 33 physicists, mathematicians and philosophers 16 multiple choice questions about number theory you would probably also not get much consensus. All that would prove is that physicists and philosophers and mathematici
835.
by jules 11y ago
The argument is the same as some religious use: science can't explain everything, therefore we need religion. The counterargument is the same too: while science can't explain everything, religion and metaphysics explain nothing. T
836.
by jules 11y ago
This is the paper about type inference: https://users.soe.ucsc.edu/~cormac/papers/esop07.pdf I think I've understood your points and made mine, so lets see how it pans out :) Thanks for the discussion!
837.
by jules 11y ago
Compared to the average high-rise I find these absolutely stunning.
838.
by jules 11y ago
> A much better approach in my opinion is to start with an unrestricted, effectful language and identify fragments with fewer effects via types. This is precisely what an effect system is, and what the languages that I mentioned do. So i
839.
by jules 11y ago
> As I said, I don't know Idris well, but I assume that the proof language does not have state and other effects, so they need to be coded up as pure functions. I expect there to be an "encoding tax" to be paid for this tr
840.
by jules 11y ago
I don't understand what you mean by encoding tax. Can you give an example? Certainly lots and lots of work to make an actual practical and usable system still needs to happen, but I don't see any fundamental limitations with respe

More ›