giomasce

7 ms·

301.
by giomasce 7y ago
Using this programming style requires a rather powerful type system, if you want to go past the simple examples the author shows and encode more complex validity conditions. I am still learning these things, but AFAIU the extreme edition of
302.
by giomasce 7y ago
I tend to agree with you. But the problem exposed here is relevant; Morpheus says (speaking about a fortune teller, probably not coincidentally, that there is big difference between knowing our own path and following it: here there is kind
303.
by giomasce 7y ago
I agree: I do not master C++ value categories, but I am pretty sure there are a few errors. And you don't get to understand much anyway. Does anybody know some better writeup on the subject? It is probably the biggest core C++ topic th
304.
Metamath Zero, a bootstrapping theorem prover(arxiv.org)
125 points by giomasce 7y ago|36 comments
305.
by giomasce 7y ago
AFAIU one of the nice thing of the SiFive IP cores is that they were distributed with some kind of free license (although they still required other non-free IPs to be actually used in a chip). Is this still (or was it ever) true?
306.
by giomasce 7y ago
Nadella-era MSFT is different from Gates- or Ballmer-era, and this is very good, but, as a Linux user and free software contributor, I wouldn't say I feel "loved". I'd say I feel MSFT is trying to somehow get advantage o
307.
Tinycc gets RISC-V support(lists.nongnu.org)
2 points by giomasce 7y ago|0 comments
308.
by giomasce 7y ago
Ah, that's unfortunate. It must be very recent, though, because I'm sure I've checked the same page no earlier than a few weeks ago.
309.
by giomasce 7y ago
I own a Fairphone 2 and was very proud to buy it and support the company that is behind it. Honestly I have to say that specs are not (and were not at the time) impressive, and that the phone has had quite a few hardware issues (which I mos
310.
by giomasce 7y ago
Isn't LineageOS what you are looking for? You can take with or without Google bloatware. It is available and regularly updated for FP2, where I use it.
311.
by giomasce 7y ago
When I was in school (computers were running Win 95, I believe), I discovered a lot of nice software like NetSeven and BackOrifice, and I infected the school computers with it. Then I would play tricks to my school mates by displaying a lot
312.
by giomasce 7y ago
In case someone rushed to cppreference.com to compare, I think that https://en.cppreference.com/w/cpp/utility/compare/strong_ord... is slightly wrong, in that it should not list "equivalent"
313.
by giomasce 7y ago
Do not try too hard to compare with maths here. A programming language is different in many things from how maths is usually formalized. In C++20 there is no "strong total ordering", "weak total ordering" nor their parti
314.
by giomasce 7y ago
No, you're wrong. In general there is not even a concept of "side", but even if there is a positively-curved surface or manifold seen from the other side is still positively-curved. And the same with negative. You can probabl
315.
by giomasce 7y ago
Not knowledgable in the topic, but https://en.wikipedia.org/wiki/Shape_of_the_universe mentions a couple of measures, both of which cannot distinguish our universe from a flat one.
316.
by giomasce 7y ago
No. The terminology is different because it refers to a different concept. In C++20 "strong" vs "weak" refers to substitutability. When two elements x and y compare to strong_ordering::equal, then it is assumed that f(x)
317.
by giomasce 7y ago
As usual, all articles of this OpenPGP-is-bad kind keep failing acknowledging OpenPGP's most important feature: it has a way (clumsy as much as you wish, but existing) to attach identities to keys, and to verify them. I have a rather w
318.
by giomasce 7y ago
If you are close to a window and willing to buy a receiver, install dump1090 and feed to FlightAware and FlightRadar24.
319.
by giomasce 7y ago
I don't think that the base issue lies in the implementation: you can make it as scalable, parallel and document as you wish, but if what you are doing is basically receive data from whoever sends you something, store it, pass it to ot
320.
by giomasce 7y ago
Currently epsilon is a Linux kernel with musl and tcc. Since tcc can be used for scripting, I believe that with a non-trivial amount of work (including patching musl), musl could be built by tcc. Therefore epsilon would become just Linux an
321.
by giomasce 7y ago
The Heirloom project is a collection of utilities coming from open-sourced versions of Caldera and Sun code ( https://en.wikipedia.org/wiki/Heirloom_Project ). It's nice because it is very easy to bootstrap, even if
322.
by giomasce 7y ago
My project https://gitlab.com/giomasce/nbs is currently able to more or less bootstrap flex, starting from only tcc and musl (within a running Linux kernel). Terms and conditions may apply: I haven't tested much t
323.
by giomasce 7y ago
That is ok if you're just dealing with the upper layer of code, i.e., the final application. Then statically linking can very well be the best solution. But if you're building an operating system or distribution and do not want to
324.
by giomasce 7y ago
Yes, but it has the big disadvantage of a very irregular pronunciation. Other languages, like many southern European ones, seem to me to have much easier pronunciation. I am biased because I am Italian, but I am pretty sure that it is much
325.
by giomasce 7y ago
To me it looks like iodine ( https://code.kryo.se/iodine/ ): very nice as a hacking tool to prove a point, but unlikely to be actually helpful in all but very peculiar situations. As a hacker, of course, I value a lot th
326.
by giomasce 7y ago
A few years ago I also found a backup tool that converted backups to DV videos, so that you could write them on cheap DV cassettes. It was something like more than 10 GB per cassette. Definitely not bad for a few years ago.
327.
by giomasce 7y ago
https://telegram.me/scihubbot Much more convenient than the web interface, if you ask me. And without the problem of remembering the right URL.
328.
by giomasce 7y ago
Or to use Tor, or to use the Telegram bot...
329.
by giomasce 8y ago
Very true! I am completely ok with saying that GPG is not modern cryptography, but it gives me an important asset that I do not want to lose: I have a nice key with many signatures, that means that it is relatively easy for people to check
330.
by giomasce 8y ago
How does a software running under SGX know that it is in a "real" processor enclave, and not in an enclave emulated around it which allows the emulator to actually peek inside and know what the software is doing? Virtual machines

More ›