mik1998

10 ms·

61.
by mik1998 3y ago
Guix has this feature - guix pack https://guix.gnu.org/manual/en/html_node/Invoking-guix-pack....
62.
by mik1998 3y ago
In Europe unlike in America the government makes regulations that benefit the general public. That's it.
63.
by mik1998 3y ago
The EU should fine as much as it is necessary to financially impact the corporation for violating the laws.
64.
by mik1998 3y ago
Aren't they literally Ossi?
65.
by mik1998 3y ago
It's nice for general numerical methods but somewhat annoying for implementing integer-arithmetic algorithms.
66.
by mik1998 3y ago
PRL was not "Soviet occupation", unless you're referring to parts of Poland during 1939-45
67.
by mik1998 3y ago
It looks like regression to the mean.
68.
by mik1998 3y ago
Static typing is useful if you are building some program for other people to run that you want to be reasonably robust. However, it does not work well with interactive programming. If I had to declare all the types every time I do something
69.
by mik1998 3y ago
A statistical model cannot understand anything since it does not think in the first place.
70.
by mik1998 3y ago
Are you claiming that Russia or China are paying 4chan moderators? That seems unlikely for an American website owned by a Japanese millionaire.
71.
by mik1998 3y ago
Apparently one of {Croatia, Serbia}. I think we need to consult the axiom of choice on this one.
72.
by mik1998 3y ago
> And it's also a behavior that is never useful. False. There are cases where it is useful to have the loop variable available directly. For example, you can add one to the loop variable to skip an iteration, which would not work wi
73.
by mik1998 3y ago
I don't know much about Go but the design seems very intuitive to me. You're doing something like (let ((i variable)) (loop (setf i ...) ...body)), which if there is a closure in the loop body will capture the variable i and also
74.
by mik1998 3y ago
No, not at all. I don't read a book to regurgitate the text in an imperfect form later. I read it to learn about the ideas and thought. The syntax itself (ie. text) is not that important.
75.
by mik1998 3y ago
Lossy text compression has little utility.
76.
by mik1998 3y ago
That's plain false. The entire point of Marx is that capital is what creates massive productive forces.
77.
by mik1998 3y ago
Europeans are "programmed by the government" (whatever that is supposed to mean) because they don't like getting shot? There's more guns than people in the US and you also have a higher number of homicides than some war-
78.
by mik1998 3y ago
Anti-spam is one of those things that get very overblown when a lot of it can be quite easily solved. Simple bayesian spam filtering annihilates most spam. > Talk to anyone who tried running their own private mailserver I run a mailserve
79.
by mik1998 3y ago
We don't know whether it's true.
80.
by mik1998 4y ago
I don't know anything about japanese chalk but in general you should break chalk in half because that makes the chalk not scratch with a high pitched sound when used.
81.
by mik1998 4y ago
> which is an inexact model of the physical realm Mathematics have nothing to do with the real world. The set of all true statements provable with a set of axioms is determined only by the axioms. All the true statements are already true
82.
by mik1998 4y ago
I think https://en.wikipedia.org/wiki/Michael_Crichton#GellMannAmnes... is applicable here.
83.
by mik1998 4y ago
As expected, LLMs don't actually think. This is not really a surprising result when you understand that it's a few billion Markov chains in a trenchcoat.
84.
by mik1998 4y ago
What about everyone killed or exposed to radiation in the process of manufacturing the necessary so-called "renewables", which require an incomparable amount of resources relative to a nuclear power plant of similar output?
85.
by mik1998 4y ago
Is there a proof here at all? The only thing mentioned in the article is a computation. With due respect, computer-readable proofs are not very interesting to me as a mathematician. I don't see why we should do it. Reproducibility is n
86.
by mik1998 4y ago
A bug in the implementation of some timekeeping function isn't a falsehood about time, it's a bug. A lot of these statements are true.
87.
by mik1998 4y ago
This is great.
88.
by mik1998 4y ago
Emacs for Android! It's a thing.
89.
by mik1998 4y ago
Caching has nothing to do with indexing. If I set up an HTTP cache to serve cached websites on my network, it would be difficult for anyone to request to not cache the HTTP responses considering it is most likely they would not be aware of
90.
by mik1998 4y ago
How do you "cache" without "hosting"? What is the technical difference between those two acts?

More ›