madsbuch

33 ms·

451.
by madsbuch 3y ago
I have lived in San Fransisco an commuted through Tenderloin. I am not opposing that they are statistically related. But it is not OK to assume that people are drug addicts when they tell that they are homeless. That is normal human decency
452.
by madsbuch 3y ago
Bregman I am referring is Dutch, I am Danish. Two countries where you'd have to look really hard to find homeless people. I think over- complication is the issue in the states, which in turn makes a lot of these grants go to heads thi
453.
by madsbuch 3y ago
Drug-addicts is something you interpret. It is specified that they are homeless. Doing this conflation is the worst kind of anti-ethical you can be. Just like assuming other things about whole groups of people. For this debate, I can really
454.
by madsbuch 3y ago
this is interesting, can you refer any statistics?
455.
by madsbuch 3y ago
A part og me would find it interesting to see hat would happen, if CRA makes OS developers fully liable. It would probably result in most developers straight up shutting down their projects. Most commercial projects use open source as a cor
456.
by madsbuch 3y ago
interesting that it sounds like a bad thing that the prison is minimum security. As a Dane the American prison system baffles me. it obviously doesn't work and has commercial interests to the entire countrys detriment. yet I still feel
457.
by madsbuch 3y ago
> Did something substantial changed on the market recently? Yes. The FED has increased to interest rates. So the marked can support that now.
458.
by madsbuch 3y ago
there is no market without regulation. in the old days, the government ensured that the physically strong people would not get the best deals because they could force you to give up your product. This appears to be the modern day equivalent
459.
by madsbuch 3y ago
I would lean towards agreeing. And I definitely think AI companies should not try to make their money on inference. If there is a well performing model being deployed it is possible to train a similar model while not having to eat the cost
460.
by madsbuch 3y ago
I actually had a very comfortable time cancelling Amazon prime in Portugal. I guess this is again one of the areas where the evil regulations of the EU overlords make life easier for the average Joe. https://ec.europa.eu/com
461.
by madsbuch 3y ago
It seems like Java and Python are only just starting to get a place in COMPETETIVE programming :) I definitely think we will have to wait before we get stuff like Haskell or Idris in there.
462.
by madsbuch 3y ago
I think most problem sets would be hard to solve without use of dynamic programming, irrespective of recursion or not. But yes, recursion with memorisation/accumulation would be a good place to start.
463.
by madsbuch 3y ago
How did you apply induction proofs in competitive programming? Even using recursion is rarely a good idea as you loose control with your memory layout. And using a language that supports the concept of proof by induction would surely leave
464.
by madsbuch 3y ago
Which mathematical concepts would you say that you got to grasp? Having done competitive programming also, I would not say that it made any difference for my mathematical perception.
465.
by madsbuch 3y ago
Benjamin Pierce was my go to guy: https://softwarefoundations.cis.upenn.edu/index.html And when that is digested: https://www.cis.upenn.edu/~bcpierce/tapl/main.html And I think the learning should
466.
by madsbuch 3y ago
I would say that the pros of mathematical notation is the opposite of rigor. You get to not write everything out, which is both good for the lazy reader and lazy writer. It is just not very good for the newcomer that needs to learn the i
467.
by madsbuch 3y ago
This seems to be interesting stuff! It seems to be heavily focused on Algebra and arithmetic. My own recommendation would be to pick up Coq or Idris and use that to bridge programming, math and logic. In my experience this is the best way t
468.
by madsbuch 3y ago
In Denmark we have no mandated minimum salary and no mandated unions. You are free to work for 1cent an hour, if you want. However, we do have the structures to balance power asymmetries. Most people are a part of a union and we do have a
469.
by madsbuch 3y ago
Why? A big part of governance is to ensure individual freedom: Minimum salary, unions, etc. The comment seems to be perfectly congruent. (Though you have to accept a more ... European world view)
470.
by madsbuch 3y ago
I think a lot of people are only holding their accounts because someone they love use it for access. These people would probably cancel it first thing, if their loved ones can not use it.
471.
by madsbuch 3y ago
Seems like you are at a place where you need to be SOC2 compliant. Good for you that you are able to satisfy those requirements.
472.
by madsbuch 3y ago
Isn't this what patents ought to solve? Or is that only when it is the other way around?
473.
by madsbuch 4y ago
It seems like we are reaching the same conclusions as Dave Farley on our development team. We have pivoted to just let everyone merge in their stuff and do "reviews" retroactively when we stumble upon code not up to the standard w
474.
by madsbuch 4y ago
The amount might very well exceed the value of the gain. My presumption is that the harddisk industry is a margin business. I would be surprised if they have profits of more than 5-10% of the 1.1b.
475.
by madsbuch 4y ago
> You'd be surprised how many people miss that runtime drives this. I've seen many discussions where people claimed "you can implement all this is a library" :) I undrstand, everything concurrency is definitely not ea
476.
by madsbuch 4y ago
> It's a part of the semantics of the runtime: This is implied. It would be absurd to have a different static and runtime semantics. in fact, the core goal for formal methods is a statically be able to reason about runtime dynamics.
477.
by madsbuch 4y ago
There are details on this also: https://github.com/GetFirefly/firefly#runtime Generally it should be assumed that actors and their concurrency model is fully supported as that is a part of the core semantics for BEAM l
478.
by madsbuch 4y ago
https://www.sciencefocus.com/science/do-coal-fired-power-sta... it seems like these number include _everything_ also the "nuclear waste in a barrel" radiation emissions.
479.
by madsbuch 4y ago
No, you are right. that in fact happened, and the insurance company set the new premium based on imperics not emotions. my point is, that the "insurance premiums" we have to pay now are significantly higher because we did not empl
480.
by madsbuch 4y ago
When you employ a worse form a energy generation than nuclear because of your response to said scandals then you are acting emotionally and not by the knowledge available.

More ›