giomasce

5 ms·

121.
by giomasce 4y ago
It's unfortunate there is no an equality decision procedure. If two numbers are equal you will see that the difference is zero no matter how much precision you request, but of you always see zero difference you will never know if the n
122.
by giomasce 4y ago
First: you don't necessarily need an alternative chroot, Debian allows installing packages of foreign architectures in the same main tree. It has some hiccups, but it should mostly work. Second: of you like playing with foreign archite
123.
by giomasce 4y ago
I don't think it is. I don't know if the peculiarities of x86 were considered when Microsoft's engineers decided to do SEH the way it is, but there is no hard reason why they couldn't decide to make it table based.
124.
by giomasce 4y ago
That's not an x86 weirdness, it's just a choice by Microsoft. It's Windows-on-x86 weirdness.
125.
by giomasce 4y ago
I did it once with GIMP, and apply it every time with xournal. In my experience people do not really require that the PDF looks printed and scanned, so I never cared about that aspect.
126.
by giomasce 4y ago
An option I would like is for when you push to a repository that doesn't exist, in which case GL creates a new private one for you. I'd like to be able to set it public.
127.
by giomasce 4y ago
The combination of this and RFC 8962 is going to create a lot of trouble...
128.
by giomasce 4y ago
Letting a part of the population die, perhaps entire species or groups of species, is one of the way nature "rights itself".
129.
by giomasce 4y ago
Me too, though not entirely by luck: when I was looking for a job I specifically went for smallish, open source friendly, remote friendly companies. Then I started contributing to the projects they worked on in my free time, met the people
130.
by giomasce 5y ago
I managed to do something useful with iodine (IP over DNS), a couple of times. Performance is abysmal, but a simple SSH session might have some hope. Most web applications are impossible, and for email you must be lucky.
131.
by giomasce 5y ago
But what is the point of this flex activation scheme?
132.
by giomasce 5y ago
If there's a programmers' hell, I picture it as a place where you are always working on interesting programs, but instead of writing something like printf("The result is %d\n", result); you have to reach for a m
133.
by giomasce 5y ago
If you've already tried, you probably already came across this explanation, so there are good chances it won't help, but let me just try: I think a monad as a computation, meaning the act of computing something. A box with a butto
134.
by giomasce 5y ago
One thing I like of iostreams is that the standard syntax supports passing the file object in depth. If you have a custom type and want to print it, you just implement operator<<(), get a reference to the std::ostream and do what you
135.
by giomasce 5y ago
Why should arithmetic be more or less context free than anything else? It's defined by axioms and definitions as much as the rest.
136.
by giomasce 5y ago
I'd put that in a different way: the point of maths is not really being context-independent, but to make it very clear what is the context. So, let us consider a statement A which is true provided that a certain set of hypotheses B is
137.
by giomasce 5y ago
That's not a corner case. Either you defined "triangle" and "angles" to mean a plane triangle and angles, or that is not a theorem. Within the theory you're looking at, the definitions are not part of the conte
138.
by giomasce 5y ago
If you can extract methane from the atmosphere at scale you don't need rockets to solve the carbon problem.
139.
by giomasce 5y ago
Right. And you don't have do depend on yet another external service for a simple task.
140.
by giomasce 5y ago
There's not DOM outright: each command is just a macro that is designed to expand to "the right thing". More or less. More in general, I tend to hate all macro languages, like LaTeX, M4 and the C/C++ preprocessor (fortun
141.
by giomasce 5y ago
Shameless plug: my wife produces Latin content for beginners on YouTube ( https://www.youtube.com/c/SaturaLanx ). Fun fact: during 2021 she earned quite more with her Latin teaching business than me as a full time softwa
142.
by giomasce 5y ago
You can't do that yet, but it is a step in that direction. The general idea is that Wine is getting organized on two layers: the PE .dll libraries, which are similar to a Windows userspace, and the Unix libraries, which act as a sort o
143.
by giomasce 5y ago
All computers in the house backup regularly with borgbackup on a small servers (a 2010 Macbook with an attached USB drive). This is done by hand, but there is a script that periodically checks that no backup is falling behind. Then I have a
144.
by giomasce 5y ago
Totally true. More in general, it is a relatively simple mathematical fact that a sphere without a point is homeomorphic (even conformally!) to a plane. Therefore, it is impossible to prove that the Earth is spherical unless you either do m
145.
by giomasce 5y ago
Very nice tool! However, I think it is not always correct. For example, lake Trasimeno, in Italy, is endorheic (or maybe cryptorheic), but seems to discharge into river Arno from this website: https://river-runner-global.samlearn
146.
by giomasce 5y ago
It doesn't look very well hidden if there are blog posts about it...
147.
by giomasce 5y ago
As somebody doing web development for a small business (run by my wife) selling courses online and using Stripe for payment processing, I am a bit concerned by this and other similar posts. So far Stripe has always run smoothly for us (FWIW
148.
by giomasce 5y ago
It means inefficient market on my book. Bad, veeery bad.
149.
by giomasce 5y ago
Not that different...
150.
by giomasce 5y ago
There might be some sampling bias here.

More ›