giomasce

8 ms·

331.
by giomasce 8y ago
It seems that the author is only aware of the existence of general-purpose distributions. They did not list any distribution with, say, different approach to packaging, or for use in HPC, security, NAS, embedded, you name it. Also, for some
332.
by giomasce 8y ago
To me the takeaway is that backup system should be designed with the storage system, when the storage system is still empty of valuable data. If you change the backup system, you should treat that as a change of the whole storage system, so
333.
by giomasce 8y ago
Another article along the lines of "I personally prefer to use a syntax in a certain case, therefore everybody should use the same syntax in every case, and really I do not understand why the language creators even allowed for the othe
334.
by giomasce 8y ago
Different systems can have very different logical foundations, so converting proofs from a system to another can be very complicated in general. Even when converting is possible, the converted proof might be very anti-idiomatic in the targe
335.
by giomasce 8y ago
That's exactly why I say that different viewpoints give different concept of easiness. To me there are a lot of way to find minima (or, at least, critical points) of a functional: the direct method in CV, mountain pass theorems, etc. M
336.
by giomasce 8y ago
It's funny how different backgrounds bring you to having different ideas of what is easy and hard. As a mathematician, to me the easy problem is finding the minimum of the functional (where "easy" means "we can at least
337.
by giomasce 8y ago
Very nice. It does not work under Firefox in Debian unstable, though (the UI works, but there are no stars). It works with Chromium.
338.
by giomasce 8y ago
In theory yes, but at the moment my C compiler is very tied to the x86 platform (there is no separated code generation module, emit calls are directly in the code). Since the compiler is very simple, though, it should not be difficult facto
339.
by giomasce 8y ago
Yes, but if you want to rebuild the trust chain you cannot restart from an untrusted compiler. The idea is to bootstrap a trusted compiler from nothing (i.e., from little enough so that you can check it directly), and then use the trusted c
340.
by giomasce 8y ago
I would not say that, in its current form, that code is understandable by 70% of programmers, unless you define that word "programmer" in a very restrictive sense.
341.
by giomasce 8y ago
Because when you cross compile you have to trust your compiler. https://en.wikipedia.org/wiki/Backdoor_(computing)#Compiler_...
342.
by giomasce 8y ago
I am also doing something like that here: https://gitlab.com/giomasce/asmc My philosophy is of having a very simple and custom language (which I called G) for which it is easier to write a compiler in (x86) Assembly, t
343.
by giomasce 8y ago
Maybe you want to learn. Maybe you want to retain your current job because you like it even if it pay less then you could achieve, and you still would like to develop your other skills. Or maybe you want to stay close to your family, or in
344.
by giomasce 8y ago
That is not the official catholic position. That is just a random webpage written by a self-proclaming catholic editor to promote their books. Do not try too hard to harvest for official catholic positions on matters that are not the core f
345.
by giomasce 8y ago
That is true for other plant types as well: see for example https://en.wikipedia.org/wiki/Vajont_Dam and https://en.wikipedia.org/wiki/Fukushima_Daiichi_nuclear_disa... .
346.
by giomasce 8y ago
You also notice that when you go hiking on the mountains: it takes a lot of struggle to lose the weight that you gain with very little food. If you bring ham sandwiches, your net gain is probably positive...
347.
by giomasce 8y ago
I do not know much about engineering this sort of things, but it seems to me that working against gravity is easier than working against elastic force (as you propose), because the force of gravity is independent of the amount of energy sto
348.
by giomasce 8y ago
* I do not have precise references, but I have read somewhere that RISC-V actually has a very good code density, often better than x86 itself. * Well, only a few of the 8192 combinations are actually meaningful. It is clear that most implem
349.
by giomasce 8y ago
It is not really something negative (because it will have to be seen in the future), but to me the biggest point about RISC-V is whether it will deliver its promise of eventually giving birth to completely open and high quality CPUs. The ex
350.
Infinite bottles of beer on the wall [pdf](homes.sice.indiana.edu)
1 points by giomasce 8y ago|0 comments
351.
by giomasce 8y ago
Lardo di Colonnata is delicious and I love it (spoiler: I am from Tuscany), but you just take a thin slice of it on your bread. You would never fill your stomach with it, even if you have money to throw away, because it is very salty, spicy
352.
by giomasce 8y ago
Wonderful, thanks to everyone that helped making some pressing on the MEPs, from Wikipedia to the last of the tweeters!
353.
by giomasce 8y ago
You are right. Sometimes the most sticking facts in my head are those that I rediscovered by myself, because that helped me to see their actual importance, which might have not been that apparent while hearing about them in classes. There a
354.
by giomasce 8y ago
I agree with you, but this is not what GGP is saying. GGP is saying another true fact (i.e., that derivative of a linear function is that same function), which a different thing than stating, as the article says, that the differentiation op
355.
by giomasce 8y ago
It is common in this context to say "linear" to also mean "affine", because after all affine functions are not much more complicated than linear functions.
356.
by giomasce 8y ago
You cannot speak of boundedness of operators if you don't specify the domain and codomain spaces. The derivation operator is for example bounded between C^1(R) and C^0(R), or between C^\infty(R) and C^\infty(R). Your example correctly
357.
by giomasce 8y ago
You are right, but what you are saying has nothing to do with the author's point: what he is saying is that the differentiation operator itself is linear, which is a meaningful and true fact even in spaces where you have no idea of wha
358.
by giomasce 8y ago
Most arbitrary data is actually valid x86 code.
359.
by giomasce 8y ago
For the moment all content is blocked at Google's entire discretion, because no European law has been approved yet. So they are probably jut blocking everywhere.
360.
by giomasce 8y ago
I agree that the abuse of this excessively strong language is annoying, and I am not sure it really serves the right cause. If I read that "the Internet as we know it will be destroyed" I am much more inclined to ignore than to un

More ›