zajio1am

10 ms·

181.
by zajio1am 2y ago
With greylisting, the flow B could take like 10 minutes.
182.
by zajio1am 2y ago
in Europe, it is like few clicks in RIPE web portal. (I mean to generate and publish own RPKI records.)
183.
by zajio1am 2y ago
> The copyright goalposts have moved so far past where they were originally, the people who work very hard can be dead for decades and their works still in copyright, and by the time they are dead for 70 years Note that copyright lasting
184.
by zajio1am 2y ago
> it just so happens the cheapest entertainment these days is in fact in your own house. These days? That is pretty much true since advent of home computers in 80s/90s.
185.
by zajio1am 2y ago
I think it is kind of misconception by connecting introvertness vs. extrovertness to preference for remote communication vs IRL communication. I am quite introvert, IRL talk is exhausting for me, but online chat or writing e-mails is even m
186.
by zajio1am 2y ago
> UB is meant to add value. It’s possible to write a language without it, so why do we have any UB at all? We do because of portability and because it gives flexibility to compilers writers. Implementation-defined behavior is here for po
187.
by zajio1am 2y ago
> If undefined behavior is invalid, then reject the program instead of "optimizing" it. Undefined behavior is usually a result of runtime situation, it is usually not obvious from just the code whether it could or could not hap
188.
by zajio1am 2y ago
BE MIPS is still alive, many recent Mikrotik hardware is BE MIPS.
189.
by zajio1am 2y ago
Most Asimov's short stories about robots?
190.
by zajio1am 2y ago
Note that i meant https://en.wikipedia.org/wiki/Robinson_arithmetic , while you wrote about results from different Robinson: https://en.wikipedia.org/wiki/Nonstandard_analysis .
191.
by zajio1am 2y ago
You can have an infinite chain of predecessors of non-standard numbers, each claiming being FINITE(). That satisfies your definition. This could be easily demonstrated in Robinson arithmetic, which has simple, understandable non-standard mo
192.
by zajio1am 2y ago
These deep philosophical discussions are about absolute "truth" in general, but in logic, the truthness of formula in specific mathematical structure is well-defined through structural induction over the formula, although with non
193.
by zajio1am 2y ago
Property rights are human rights.
194.
by zajio1am 2y ago
The whole point of provability is that it is purely syntactic process that could be verified in finite time. Ideally it would be the same as truth, but there are some caveats.
195.
by zajio1am 2y ago
> must necessarily contain true (resp. false) facts for which no (resp. counter) proof can be given This formulation misses the important aspect that whether the statement is 'true' is not absolute property (outside logical tru
196.
by zajio1am 2y ago
Even if you just use 2 apps that depends on 1 library, there may be tens or hundreds of such apps in the distribution repository (which is, btw, the case for libgmp). A bug in such library would force distribution maintainers to release new
197.
by zajio1am 2y ago
I mostly agree with the list, but i think there are also some arguments what are suboptimal about Autoconf: 1) We do not need to support old buggy platforms, we can generally assume that platforms are open source and their bugs can be fixed
198.
by zajio1am 2y ago
They are. Static linking may be okay for small and simple libraries, but as a user, i do not want multiple versions of a complex library linked inside applications, each with slightly different behavior. And i do not want to upgrade all app
199.
by zajio1am 2y ago
That is pretty much what many-worlds interpretation of quantum mechanics says.
200.
by zajio1am 2y ago
> I would not assume that a woman would trust a dude telling her that "he's on the pill". I can't see a woman giving up control of pregnancies to a man she only just meet. Well, neither i would trust the woman i just
201.
by zajio1am 2y ago
> The direct translation of the C expression to Lisp would actually be (-> a (-> b (-> c d))) Not really. -> looks like binary infix operator, but it is really an unary postfix operator (parametrized by field). Because field
202.
by zajio1am 2y ago
> The only thing that makes Lisp unique in this context is that it also makes arithmetic operations prefix I think that most problematic for prefix notation are not arithmetic operations, but field accessors. In C you have a->b->c-
203.
by zajio1am 2y ago
'Exploration' / 'exploitation' are established terms for this kind of trade-off, see https://en.wikipedia.org/wiki/Exploration-exploitation_dilem...
204.
by zajio1am 2y ago
There is a big difference between 'caches in ISP networks' and 'caches in public datacenters adjacent to local exchange points'. The first implies preferential treatment from ISPs, the second is commodity available to ev
205.
by zajio1am 3y ago
There is such toggle that makes it disabled by default. It is called NoScript.
206.
by zajio1am 3y ago
> Some people abuse this and do drugs or hide in toilets, but does that genuinely mean we should have glass doors for all our toilets in society? For many europeans, US-style toilet cubicles (with large space between floor and wall) feel
207.
by zajio1am 3y ago
e.g. Czechia. Racially homogenous and have one of least affordable properties in Europe. https://www.expats.cz/czech-news/article/prague-is-the-third...
208.
by zajio1am 3y ago
> Stop arguing for this about cost, or "family friendliness", or preschool availability, or anything else, because you are immediately missing the actual reasons. NIMBYs are racist. It's that simple. Zoning and land use is
209.
by zajio1am 3y ago
So why not offer payment methods without chargebacks? Here in Europe, i pay 95% online payments with direct bank transfers, which do not offer chargebacks.
210.
by zajio1am 3y ago
> replaced with the cheapest option available located in a place with even less rights Cheapest is not equal to less rights. Compared to US most developed countries are cheaper, but with more labor rights. So it would make sense to outso

More ›