dchyrdvh

12 ms·

61.
by dchyrdvh 7y ago
Harmful for some, good for others. Not everyone loves crowds and noise.
62.
by dchyrdvh 7y ago
There is common trick in designing reliable systems out of unreliable components: replicating the unreliable component 3 times. When one of the three behaves differently from the other two, it's declared faulty and replaced. This would
63.
by dchyrdvh 7y ago
Like a button that supports thousand styles and carries megabytes of styles?
64.
Personalized voting-based comments ordering
1 points by dchyrdvh 7y ago|1 comments
65.
by dchyrdvh 7y ago
I like these attempts to build a useful model of software companies, but this particular attempt is quite mediocre. The best attempt I've seen was the Gervaus Principle book. The colorful chairs and ping pong tables are there to distra
66.
by dchyrdvh 7y ago
Well, try to define a function without the recursion to sets.
67.
by dchyrdvh 7y ago
What's the definition of "set"? Or what's the definition of the implication symbol, i.e. when someone says that something obviously follows from the previous theorems? We don't bother to define a lot of foundational
68.
by dchyrdvh 7y ago
The same word can have infinitely many meanings. So even if we restrict the length of proofs to 140 chars and restrict the alphabet to Latin, there will be infinitely many proofs there: well just start inventing new meanings for the same wo
69.
by dchyrdvh 7y ago
We can call it a materialized idea, like an implemented software algorithm. I'm indeed talking about the world of ideas that's not real, i.e. non material. The proof of the Fermat's theorem has always existed, but only recent
70.
by dchyrdvh 7y ago
Im merely trying to drag the concept of separating ideas and reality as two different but very real worlds under the spotlight of everyone's attention. This concept is fundamental and very old. I won't be able to defend this idea
71.
by dchyrdvh 7y ago
You're asking a mechanic what technique we should use in this brain surgery. As a mechanic, I'd say that a good wrench is a safe proven choice.
72.
by dchyrdvh 7y ago
Iirc, it's about ACE2 inhibitors used in many BP drugs: they mess up with ACE receptors and the virus has an easy way in.
73.
by dchyrdvh 7y ago
So long as every real number exists, has properties and so on. Every such number is a separate idea. They exist, no matter whether we know about them or not.
74.
by dchyrdvh 7y ago
We don't "come up" with ideas from other ideas using some closed form rules of logic, like in Coq or some Turing machine. Instead, we discover new ideas. There is a world of ideas and the real world. People live in both world
75.
by dchyrdvh 7y ago
The premise of this idea - that anything describable can be written in a binary firm and is thus countable - seems wrong. It's wrong because we easily invent new concepts and put them into a symbolic form. We could invent a new concept
76.
by dchyrdvh 7y ago
We're witnessing the fall of the Roman Empire. CDC just implements the will of healthcare bosses who want to take the most of it before this card house falls apart. In the corporate world this is called the phase of creative destructio
77.
by dchyrdvh 7y ago
A/C knows no barriers.
78.
by dchyrdvh 7y ago
To avoid an emotional confrontation with the candidate. 95% don't meet the bar, but they would be offended if they were told how they really perform. Some may even sue back if they happen to be in some minority group. Companies like FB
79.
by dchyrdvh 7y ago
I'm not going to argue. We only need to wait for 2 months to see who's right.
80.
by dchyrdvh 7y ago
Isn't the reason obvious? Healthcare in the US is an insanely profitable and powerful business. If everybody gets infected, tens of millions will need expensive treatment the rest of their lives. Healthcare will make tens of trillions
81.
by dchyrdvh 7y ago
This advice is good on paper, but useless in practice.
82.
by dchyrdvh 7y ago
Public transport is a hub for diseases no matter how well it's designed. You really need a personal transportation vehicle that isolates you from others.
83.
by dchyrdvh 7y ago
Remember how somebody wanted to reduce air pollution, close factories and end air travel? This is what it looks like.
84.
by dchyrdvh 7y ago
Complex solution for a simple problem. I'll sound naive, but I think that quantum entaglement is a very simple thing: it's a link, like an edge in a mathematical graph, between two particles. The length of the link is 1. Not nanom
85.
by dchyrdvh 7y ago
As long as other countries use dollars, it's the US that's got 15T worth of goods more. These 15T buy entire tankers of oil, metals, minerals and goods from other countries and this is what matters.
86.
by dchyrdvh 7y ago
It's another time someone mentions the Plato's Cave. The reason this allegory often makes deep impression is that Plato was initiated, not just a philosopher, and thus actually knew what he was talking about and that allegory is a
87.
by dchyrdvh 7y ago
49 out of 50 states are "at will" states, meaning that "the employment can be terminated at any time for any reason or no reason at all".
88.
by dchyrdvh 7y ago
And once these expensive SW engineers get the pay cut, they'll start defaulting on their expensive mortgages. A year from now? The software industry consists has the organizational layer - all these managers and vps - that relies on fa
89.
by dchyrdvh 7y ago
I like how an innocent person needs to have a criminal mindset to avoid going to jail for a made up charge. I mean this attitude "never talk to the police" seems backwards until you realise why. Someone made a good analogy that po
90.
by dchyrdvh 7y ago
The sophisticated types who can carry out such plans tend to do their machinations in the corporate or business world, where it's much more profitable and even legal on paper.

More ›