Mikhail_K

7 ms·

31.
by Mikhail_K 1y ago
This is a text by venture capitalist trying to ensure continuing investment into money-losing product.
32.
by Mikhail_K 1y ago
That's not a takedown, that's a bunch of lazy slanders
33.
by Mikhail_K 1y ago
That will depend on the length of the rope, once aerodynamic effects are taken into account
34.
by Mikhail_K 1y ago
Ordering pizza is much more important and frequent part of a developer's work than tree traversal. Therefore, programming languages need pizza ordering primitive even more, than tree traversal ones.
35.
by Mikhail_K 2y ago
> I'd be curious about what happens when the ASR fails. When, not if. The "artificial intelligence" as it is presently understood is statistical in nature. To rely on it for air traffic control seems quite irresponsible.
36.
by Mikhail_K 2y ago
The dual blogpost "ChatGPT cost me my life" wasn't written for the obvious reason
37.
by Mikhail_K 2y ago
Please don't try to equate the criminal and its victim.
38.
by Mikhail_K 2y ago
>>> The sad part is the starvation and suffering was brought about by their own government. >> That is not true. The starvation was planned by Hitler and he gave explicit directives >> to that effect. You're essent
39.
by Mikhail_K 2y ago
> The sad part is the starvation and suffering was brought about by their own government. That is not true. The starvation was planned by Hitler and he gave explicit directives to that effect. You're essentially reproducing the nazi
40.
by Mikhail_K 2y ago
I just knew it's going to be Rust as soon as I've read the title.
41.
by Mikhail_K 2y ago
TLDR: avoid using C++ exception if you can?
42.
by Mikhail_K 2y ago
See also https://painterqubits.github.io/Unitful.jl/stable/
43.
by Mikhail_K 2y ago
Thank you for your work. In the substack write-up, you said: "There was more work to be done: we needed a reliable reproduction, and a concrete process." Could you elaborate on the process for unlocking?
44.
by Mikhail_K 2y ago
> You can use the same tools used to reason about performance in time as we do for nearly every program. That's simply not true. Reasoning about performance of imperative languages is fundamentally easier.
45.
by Mikhail_K 2y ago
> I've encountered few C programmers who can predict what instructions will be emitted by their compiler. That's an irrelevancy. Predicting those specific instructions does not preclude one from making reasonably correct judgem
46.
by Mikhail_K 2y ago
And yet, you do. Not in those exact words, but that's what you're saying amounts to.
47.
by Mikhail_K 2y ago
So you're saying that pandoc is correct in academic, but not practical sense?
48.
by Mikhail_K 2y ago
> It might be hard to reason about the memory usage and other operational behaviours of a > Haskell program, but the ability to reason about semantics and correctness is far ahead > of the mainstream. For any practical program, mem
49.
by Mikhail_K 2y ago
Haskell programs are hard to read and hard to reason about. That is the reason the language is not very practical. The promise "if Haskell program compiles, it is probably correct" have not materialized. The most popular Haskell p
50.
by Mikhail_K 2y ago
> sans interactions with Minds for the most part. That's one of the reasons why this book is better than the other "Culture" novels.
51.
by Mikhail_K 2y ago
If it doesn't give that much to reflect upon, then you didn't read it very carefully. How about reflecting upon Horza's reasons to side with the Idirans? The later installments of the "Culture" novels are in compari
52.
by Mikhail_K 2y ago
The author admits to not liking "Consider Phlebas," which is the most original and captivating of the Culture series.
53.
by Mikhail_K 2y ago
The premise of your reply is that the choice is between systemd, SysV-init or Upstart. That premise is false. > * systemd has overall good built-in security! I vividly remember how Pottering closed a root exploit issue as "not a bu
54.
by Mikhail_K 2y ago
> For example, his puppet assigned to rule over Ukraine (the one who was deposed in the > "revolution of dignity" which set in motion the present conflict) started his career as a Deposed by the maidan's "revoluti
55.
by Mikhail_K 2y ago
TLDR: it did
56.
by Mikhail_K 2y ago
Oh it will be big enough when the AI stocks bubble pops.
57.
by Mikhail_K 2y ago
> Looking ahead, there's no reason why AI can't eventually match, or even surpass, human > intelligence across the board. There is a reason, actually: what is presently called an "AI" has no concern for the truth.
58.
by Mikhail_K 2y ago
The article states: "However, in about 10% of the instances in which AlphaFold2 was “very confident” about its prediction (a score of at least 90 out of 100 on the confidence scale), it shouldn’t have been, he reported: The predictions
59.
by Mikhail_K 2y ago
Neural networks are statistical in nature and their results are inherently unreliable.
60.
by Mikhail_K 2y ago
Imagine a Beowulf cluster of those!

More ›