drewhk

9 ms·

1.
by drewhk 1y ago
Not it is not stable, it was 1.38 last year (source, from the central statistics authority: https://www.ksh.hu/stadat_files/nep/hu/nep0006.html ). This year will be even worse, see top left chart: https:&#x2F
2.
by drewhk 1y ago
Grug hurt itself in its confusion!
3.
by drewhk 1y ago
Also, judgement alone might not be enough. Judgement can take you to "something is off", but not necessarily further. I mix music as a hobby and it takes a good amount of practice to step up from recognizing the presence of a prob
4.
by drewhk 1y ago
It is also interesting to consider, that if all transcendental numbers exist physically, then it basically means that there is an experiment that yields the Nth digit of such a number (for any N assuming unlimited physical resources to real
5.
by drewhk 1y ago
> The set of all possible mapping from all possible finite strings to booleans is definitely not countable. Just to add another perspective to this, this is one of the places where classical and constructive mathematics diverge. Do tho
6.
by drewhk 1y ago
This warms my heart in an otherwise bland day :)
7.
by drewhk 2y ago
You clearly did not read the article...
8.
by drewhk 2y ago
One way to think about it is to ask yourself, is your personal project actually _playtime_? Playing is not goal oriented and therefore very relaxing. There is nothing wrong with that! I am happy to "play" programming and I learned
9.
by drewhk 2y ago
> But honestly, why ruin your fun projects by turning them into work. Agreed! For fun, it is completely fine to not finish things if you enjoy the process more than the actual result. You achieved your goal of having fun and likely still
10.
by drewhk 2y ago
The email verification email itself does not show up properly in Fastmail for some reason. I had to switch to the text only view to get the actual link...
11.
by drewhk 2y ago
One more addition, there is a subtle but very important difference between how TypeScript's "erasure" works compared to Java's. In the case of Java, an explicit cast is emitted in the bytecode, which upon execution check
12.
by drewhk 2y ago
The problem with generics type erasure is less of an issue though in practice because the ecosystem is generally compiled from typed code and hence the compile-time guarantees reduce the dangers of erasure. This is unfortunately not true in
13.
by drewhk 2y ago
> the JVM has no type safety whatsoever. This is just partially true (or completely untrue in the mathematical sense since your statement is "_no_ type safety _whatsoever_" :P ). The whole purpose of the bytecode verifier is to
14.
by drewhk 2y ago
It is not so clear-cut though. There is a hierarchy here that the article misses a bit I think. There will be participants of various awareness level: 1. Members of the audience that do not notice anything at all 2. Members of the audience
15.
by drewhk 2y ago
Well, instead of complaining here about 1 and l, I just filed a ticket on their GH repo and it already got resolved... https://github.com/internet-development/www-server-mono/issu...
16.
by drewhk 2y ago
> I'm concerned by the number of misunderstandings expressed in short time here. I have a feeling you misread my comment completely, and the misunderstandings are on your part? > Nobody claims service time is constant. Neither di
17.
by drewhk 2y ago
I am a bit worried of the overuse of Little's formula, especially in these catchy educational presentations. In reality queue sizes will dictate your consumer observable latency profile, which is in turn is dictated by the actual distr
18.
by drewhk 2y ago
> But any child can look at the sun (with eye protection :) and see that it is a disc, not a point of light. The disc is about 0.5 degrees, which is not so small. Page 11-12 explicitly discusses "sun-as-a-disk", the resulting s
19.
by drewhk 4y ago
And don't forget multi-stage programming which generalizes the concept and allows for partial evaluation at compile time and runtime as well.
20.
by drewhk 5y ago
The time our election comes, the Ukraine conflict will likely be mostly over, at least there would be nothing to stop serious Russian movement. We will have an election with russian toys lying around just over the border, while our foreign
21.
by drewhk 5y ago
Many of us are trying, trust me. Things got out of hand here, big time. If the next election is lost, I will go through half of my life (20 years!) under the rulership of one single person.
22.
by drewhk 5y ago
From Hungary with deep shame because of our traitor government. There are many of us that are deeply disturbed with what is happening, and our government is not representative of all of us.
23.
by drewhk 5y ago
I used to work on the Akka Team, mostly on streams, but I was doing different stuff elsewhere in the last years, not touching Akka much. To be honest, I am quite emotionally distanced nowadays from Akka... That said, it still feels good rea
24.
by drewhk 5y ago
No, you are not wrong: https://akka.io/team/ (check the Honorary Members section)
25.
by drewhk 8y ago
It is scary to think about one of these batteries burning inside the tunnel...
26.
by drewhk 10y ago
Hm, can't this be circumvented by pushing towards a correlated equilibrium ( https://en.wikipedia.org/wiki/Correlated_equilibrium ) instead of a Nash equilibrium?
27.
by drewhk 10y ago
Hm, can be related to: https://en.wikipedia.org/wiki/Ghaith_Pharaon (last seen in Hungary, likely being involved with the prime minister; there was some scandal about it)
28.
by drewhk 10y ago
It depends on whether you imagine a fraction line there or not: https://wikimedia.org/api/rest_v1/media/math/render/svg/8c6e... ;)
29.
by drewhk 10y ago
I am not a physicist, in fact, I am a complete dilettante, but can the transition from a power law to an inverse law simply indicate that on large scale the universe has less dimensionality? I mean, if we take a suitable definition of dimen
30.
by drewhk 11y ago
I nowadays do an approach where I don't write tests first, but I write down the test titles (I use a language where the testing framework gives a nice DSL to write nicely readable test names compared to method names) and I just mark th

More ›