neokantian

9 ms·

31.
by neokantian 8y ago
CCR5 is the protein that He Jiankui Mengele, a scientist in China, claimed to have modified with gene editing in at least two children
32.
by neokantian 8y ago
While acknowledging the problem mentioned, I still believe in microservices, but in my opinion, it needs to be done with simpler tools. For example, next time, I will use firejail instead of docker.
33.
by neokantian 8y ago
If you look at the Isabelle ( https://isabelle.in.tum.de/overview.html ) and Coq ( https://coq.inria.fr ) proof assistants, you can see that enumerating all possible expressions F and automatically verify if there i
34.
by neokantian 8y ago
Well, C already "adds a lot of value". For example, the mere act of defaulting to a calling convention, is already a commitment. The default generated, will not always be locally optimal. No matter how much the compiler rethinks i
35.
by neokantian 8y ago
Yes, exactly. You can even do that from any arbitrary scripting engine that supports executing arbitrary C functions. For example, here, complete access to the linux/bsd/osx system call interface, including sbrk, from lua: https:
36.
by neokantian 8y ago
Yeah, agreed, the real problem does not occur in mere math calculations. The problem occurs when you liberally allocate a dynamically-sized list of dynamically-sized lists (possibly of a union of different data types). That situation will a
37.
by neokantian 8y ago
As soon as you default to a particular policy of how to allocate, and most importantly free, memory on the heap, you have committed yourself. Low level means: no commitment in that realm, aka, do what you please. The fact that you can possi
38.
by neokantian 8y ago
> There is a difference between non-repeatable in same state and non-scientific. No, there isn't. > Applying absolute standards of rigor is ironically also unscientific. The rules governing science are not determined by science i
39.
by neokantian 8y ago
> Most of the evidence points to the economists abusing assumptions, which is hardly a mathematics problem. Agreed. Economics is about the real world. Therefore, it has to be empirical. That means that axiomatically deriving conclusions
40.
by neokantian 8y ago
If you use something like sshuttle, you can use any arbitrary VPS. If you insist on openVPN, however, you can always: $ sudo apt install openVPN and run your own VPN instance. But then again, openVPN requires an excessive amount of configur
41.
by neokantian 8y ago
Nowadays, a good startup is one that is going to run into massive legal issues: Uber, Airbnb, any cryptocurrency-related company, or any similar platform that is going to ransack vested interests. Otherwise, it will not make a difference. I
42.
by neokantian 8y ago
As mentioned above, either the code works or it doesn’t … but it needs to work in combination with all the code being added to the codebase by your teammates. That is Linus' job (or one of his trusted lieutenants). Kernel contributor
43.
by neokantian 8y ago
That is also what horse-and-cart sellers said when they saw the first car. The lack of digital proof of payment is obviously not felt when you don't have it in the first place. The same for multi-signature contracts. The same for atomi
44.
by neokantian 8y ago
Escrow situations work like that. You cannot use a bank in an escrow situation, because they are not capable of providing digital proof of payment. Whenever you need to digitally prove payment to a third party, you need to use a payment met
45.
by neokantian 8y ago
Imagine 3 parties: buyer, seller and third-party shipper. When the buyer has paid to a specific address, he will also email an irrefutable, digital proof of payment to the shipper, who will then ship the goods. It is trivial to look up the
46.
The problem of showing digital proof of payment
1 points by neokantian 8y ago|1 comments
47.
by neokantian 8y ago
It is not about systems that can "do" basic arithmetic but that can "talk about" basic arithmetic. The mere execution of basic arithmetic does not require the capability of manipulating propositions of basic arithmetic.
48.
by neokantian 8y ago
In my own impression, math is best done with total disregard for applicability, which is to remain entirely accidental. Concerning "The problem is epistemic: why is mathematics, which is developed primarily with aesthetic consideratio
49.
by neokantian 8y ago
Yes, you are right. This seems to work better: $ printf "%1.0f\n" 009 9 $ printf "%1.0f\n" 00125990 125990
50.
by neokantian 8y ago
Yeah, no need for Python. Even the following seems to work fine: $ printf "%d\n" 003 3
51.
by neokantian 8y ago
> In the same way you can say ZFC is the foundation of everything in mathematics. Yes, technically, that is indeed true of every Turing-complete axiomatic theory. You could conceivably even use the SKI combinator calculus as the foundati
52.
by neokantian 8y ago
> Learning SQL once will allow you to re-use it heavily across your career span without having to re-learn. Like all good abstractions, SQL is the practical expression of a mathematical theory. In the case of SQL, you use Zermelo-Fräncke
53.
by neokantian 8y ago
The current price is back at the price in August 2017. Anybody who got in before the subsequent speculative wave is doing absolutely fine. The $20,000 price of December 2017 was a speculative fluke of some kind of wannabe gold rush. For som
54.
by neokantian 8y ago
Five hours of working on something you like, often feels like ten minutes working on something you don't. The real benefit of freelancing is that you will tend to pick work that you actually want to do; which also means that you may in
55.
by neokantian 8y ago
> "Company-specific tax breaks allows companies to pit cities against each other ... Would we not be better off as a society if ..?" The real pressure does not come from cities and regions within the same country, but from abro
56.
by neokantian 8y ago
The biggest qualm that I have with the example for the incompleteness theorem, is the use of two-valued, Boolean/Aristotelian logic, in which "not true" automatically becomes "false". If you allow the use of a three
57.
by neokantian 8y ago
Nowadays Facebook has so many enemies, State and non-State actors, that it is even impossible to determine who is behind this, unless the ones behind it, are willing to tell us. There is even an interesting opportunity to falsely accuse. Wh
58.
What makes Lisp macros so special?
7 points by neokantian 8y ago|5 comments
59.
by neokantian 8y ago
I think that programmers would generally be willing to overcome the inconvenience of the unusual notation, if the advantage of using defmacro was obvious from good examples to which they could, at least, relate. This question was also asked
60.
by neokantian 8y ago
Yeah, Rich is obviously right. Concerning Clojure, or any Lisp variant for that matter, I came to realize that the cost of the unusual prefix notation -- which does cause inconvenience to people trained on using infix -- needs to be offset

More ›