neokantian

The hard part in the proof for Gödel's first incompleteness theorem is what would later become known as Carnap's diagonal lemma:

https://en.wikipedia.org/wiki/Diagonal_lemma#Proof

This proof consists of just 7 lines, but these 7 lines are considered to be fiendishly unreadable. The lemma itself says otherwise something very understandable and perfectly relatable:

logicSentence <-> prop(%logicSentence)

Meaning of the lemma: If prop(%s) is a predicate property of any logic sentence s, then there exists at least one true sentence for which this property is true and/or one false sentence for which it is false. The expression %logicSentence is the (numerical) description (encoded as a number) of the logicSentence. The remainder of Gödel's proof is just endless bureaucracy to establish completely precisely in/from what type of theory it occurs/can be derived.

If you leave out the bureaucracy, Gödel's first incompleteness theorem follows almost trivially from the lemma:

logicSentence <-> isNotProvable(%logicSentence)

Hence, according to the expression above, there exists at least one false sentence that is not isNotProvable (and is therefore provable) [a] or at least one true sentence that isNotProvable [b]. Hence, the theory in which this situation occurs is inconsistent [a] or incomplete [b].

Now, the bureaucracy in Gödel's full proof actually does matter, because his theorem holds for the Peano and Robinson formalizations of arithmetic theory but not for the Skolem and Presburger ones. The reasons for that can only be found in the bureaucracy of Gödel's proof.

Religious people and atheists cannot possibly get along. That is a well-known fact. Never have. Never will.

We look down on godless individuals and we despise them. That is simply a non-negotiable part of our religious beliefs. So, whenever I get to deal with moral advice from the godless vermin, I just repeat the same remark all over again: We do not take lessons in morality from the godless vermin.

Well, that is the way it seems to work out. The divorce rate here is very, very low. However, when people move back, they get caught up in the same (high) divorce rate of the place where they are moving to. In my opinion, family breakdown is very contagious. That is why married people better stay away from divorced ones. Well, that is how it works here. Divorcees are no longer accepted in the community. I think that this approach makes sense, simply, because it works.

> Very lonely, I ended up spending a lot of money going to cafe's to fill a social need.

I usually work at the swimming pool of my condo here in SE Asia. I love taking swimming breaks. The other guys here at the pool do pretty much the same. These are the same people that I see at the gym when I work out. There are also a few retirees here who avoid cold winters in Canada. There's nothing lonely about my lifestyle. It is actually much better than working in an office.

> Yes, it wasn't legal.

Legal or illegal according to the laws in what jurisdiction? As international users, we obviously benefit from decisively reining in any American attempt at extraterritorial expansion. That is why, for example, we support the interdiction of American warships in the Black Sea (Russia) and the South Chinese Sea (China). I am waiting for the good news that either of these countries has finally sunk one of these vessels. That will be party time!

As international users, we have a vested interest in reining in the proclivity of American government departments to engage in extraterritorial expansion. We should wish to see them lose or be made to lose.

According to https://www.kik.com/terms-of-service, they seem to have chosen jurisdiction in Canada: "Kik Interactive Inc. is located in Canada at 420 Weber Street East, Unit I, Waterloo, Ontario, N2L 4E7."

According to the article, "The Securities and Exchange Commission today sued Kik Interactive Inc", without clarifying in what jurisdiction they are suing them. It is about "the sale of one trillion digital tokens". It is therefore about the exchange of KIN tokens against other tokens such as BTC, ETH, USDT, or similar.

The KIN token is traded on 10+ different non-jurisdictional exchange platforms: https://coinmarketcap.com/currencies/kin/#markets

The American SEC cannot reasonably claim jurisdiction over the non-jurisdictional Ethereum platform, nor over any non-jurisdictional exchange platforms, because in that case, every country could do that too. If every country can do that, then no country can do that.

Why?

Well, in that case, KIK could trivially seek protection in North Korea or Russia, and prevent US enforcement by shielding under their nuclear umbrella.

Concerning KIK's marketing communications, it is not clear who exactly can regulate such messages: the country of message origination or the country of message destination.

We cannot allow US government departments to grab control over non-jurisdictional issues. That is absolutely not in the interest of international users. Therefore, it is necessary to encourage geopolitical adversaries of the USA to impede, thwart, and undermine any such attempt.

Abstraction, i.e. modelling, means leaving out details. Understanding then becomes knowing what details you can leave out for the given purpose. In this context, it is essential to remark that scientific abstractions, i.e. physical-world, empirical theories, need to be tested experimentally. Otherwise, they will simply lack legitimacy.

A corporation is the prostitute of its controlling government. Similarly, corporate staff are the prostitutes of their corporation. Therefore, why not encourage these corporations to destroy each other?

The edcurve.js project( https://www.npmjs.com/package/ed2curve ) was apparently doing something similar already, but the author disclaimed: "Note that there's currently no proof that this is safe to do." while referring to a 2013 stackexchange discussion on the subject: https://crypto.stackexchange.com/questions/3260/using-same-k....

It may be necessary to formally prove that combined use does not introduce new vulnerabilities.

The phrase "What remains open for future work is checking for cross-protocol attacks", is quite ominous in this respect. For example, combined use could gradually leak private bits to the attacker. Therefore, the status of this combined use strategy is still the same as ever before: doubtful.

Apparently, they use psexec to remotely execute programs: https://docs.microsoft.com/en-us/sysinternals/downloads/psex...

"Utilities like Telnet and remote control programs like Symantec's PC Anywhere let you execute programs on remote systems, but they can be a pain to set up and require that you install client software [%] on the remote systems that you wish to access. PsExec is a light-weight telnet-replacement that lets you execute processes on other systems, complete with full interactivity for console applications, without having to manually install client software [%]."

[%] They probably mean server software.

So, where is the server software itself documented? Is it started by default on each system? It seems to be some kind of poor man's version of SSH ...

It is certainly not the only contradiction in the system. The only question left is: How do you hedge against or even personally profit from the inevitable collapse?

Well, if it is the result of birth rates below the replacement level, the question is: Is it uberhaupt possible to later on bring these birth rates up again? There will still be a need to replace the entire population every 75 years. If the only way is down, for the birth rate, and it looks like it is, it means that entire populations are going to die out. Now, this could indeed be "a good thing long term", but some people may feel that it is not. Debatable ...

> Avoid stuff that could cause irreversible reputational harm, or slow down a security clearance ... avoid saying stuff online that you could regret later.

Avoid jobs where it matters. A corporate drone cannot say what he wants, neither online, nor elsewhere, because the HR department could be watching. Ever since cashing out from my startup, I care even less about what any culturally-marxist corporate HR department may think about me.

> Reflect seriously on what problem to prioritise solving. I’ve spent a lot of time thinking about global health and animal welfare.

No, don't waste your time on problems that you cannot possibly solve by yourself. Work on stuff in which you can make a difference.

They do not mention the real reason why governments are scared to death by systematic DNA testing: it trivially reveals paternity fraud. In the current climate of rampant promiscuity and related deception, it could very well affect the amount of money men provide, while inflating the already ballooning welfare budget. It is clearly a gender issue.

I recently run into this jewel: https://www.gate.io/page/contacts

Mail: PO Box 2804, Grand Cayman KY1-1112 , Cayman Island.

I don't think anybody involved with the site has ever been to Grand Cayman. Apparently, they process 10 BTC/USDT transactions per minute; and that is just one of the hundred trading pairs.

Who can claim jurisdiction over that site? Maybe Grand Cayman, but when push comes to shove, I suspect that they won't be interested either.

> service providers on the web only have to obey the laws of the country in which they are situated ...

What does it mean for an internet site to be situated somewhere? What country is that?

For example, http://dreadditevelidot.onion. Where is it situated? It does have an interesting discussion forum. It certainly has rules. Is it now supposed to appoint a liaison officer in Austria (and 200+ other jurisdictions)?

Bash is the love of my life. However, it has serious weaknesses. Its array/table concept is flawed. You cannot do tables containing tables. Secondly, out of the box it cannot load or invoke functions in libraries. Fortunately, ctypes.sh solves this problem, and to some extent, indirectly, also the table of tables problem.

JQuery is an alternative to React or Vue. JQuery is philosophically another approach to solving the same problem. JQuery offers you functions to call without telling you how to write your program. JQuery is a philosophy about respect, and about not knowing better, because you actually know that you don't.

I really like JQuery! It is just a library in which you call functions. It does not tell you how to write your code. It is not one of those frankenmonster frameworks that sucks you dry and tells you what to do.

I am not going to name what obnoxious framework it is about, but I am waiting for another year or two before they unceremoniously abandon that stuff and start hyping the next Messiah framework.

I suppose that mentioning Lady Gaga and Ariana Grande is just a ploy to enlist trad-con support for the bill. The real reason is that government power very much depends on controlling the official narrative while making sure that alternative ones do not gain much traction. This was so much easier to do when information was primarily distributed through centralized media, such as newspapers, radio, and television. Governments simply had much more power back then. The internet has eroded it. So, either they give up some of that excess power, or else they somehow manage to centralize the internet. The societal control that we inherited from the past is no longer compatible with decentralized distribution of information on the internet. The very fact that we are interactively discussing this topic today, instead of merely swallowing what is supposedly best for us, demonstrates the point actually quite nicely.

I wonder what exactly they will be blocking?

$ nslookup http://sci-hub.tw/

Server: 127.0.0.53

Address: 127.0.0.53#53

Non-authoritative answer:

Name: http://sci-hub.tw/

Address: 36.37.242.94

It is trivial for the user to appoint another DNS server, or even to add the site to his /etc/hosts file manually, if they try to block at that level. It is also trivial to tunnel over another ip address to reach the one wanted. How is "blocking" supposed to work?

In the court document, they asked for an injunction against a list of domain names. Therefore, I assume the "block" will be limited to blocking them at the DNS level.

"Toutes mesures propres à empêcher l'accès" ("All appropriate measures to prevent access"), means everything and nothing, especially, when it is most likely impossible to do. What they really want is to block particular content. In my opinion, it is not possible for an ISP to support that.

https://msgpack.org is absolutely fine. I wasn't criticizing msgpack. You can also serialize the bytes of an array of C structs, if you see what I mean.

> ... if you can store your data structures directly in the database.

ABSTRACT. Future users of large data banks must be protected from having to know how the data is organized in the machine (the internal representation). It provides a means of describing data with its natural structure only—that is, without superimposing any additional structure for machine representation purposes. Accordingly, it provides a basis for a high level data language which will yield maximal independence between programs on the one hand and machine representation and organization of data on the other.

E.F. Codd. 1970. A relational model of data for large shared data banks. Commun. ACM 13, 6 (June 1970), 377-387.

You propose to reintroduce a problem that they absolutely wanted to get rid off 40 years ago. Just imagine that you first have to figure out how to painstakingly parse serialized Python dictionaries before you can access the data in another program written in e.g. Rust.

It clearly amounts to UNSOLVING a problem that is now SOLVED ALREADY.

The wikipedia page on "message passing" is in total disconnect with existing practice (https://en.wikipedia.org/wiki/Message_passing):

"Synchronous message passing occurs between objects that are running at the same time. With asynchronous message passing it is possible for the receiving object to be busy or not running when the requesting object sends the message."

"Objects running at the same time"? Multithreaded? Multiprocessing? Distributed?

An instance does not "run". It is allocated in memory, and then you can invoke methods on it.

This entire "message passing" doctrine is nebulous nonsense.

When I first read Bill Gates' quote (1995), "We always overestimate the change that will occur in the next two years and underestimate the change that will occur in the next ten", I somehow knew that he was onto something, but I couldn't picture back then what the world would look like today; not for lack of trying, though.

"Other people must to do this. Other people must do that." Forcing other people is a form of spam, which naturally leads to anti-spam measures. Your form of spam will work until it doesn't anymore. Seriously, I do not care about your voting circus. There will always come a point at which you will have to prove that you are willing to risk your life and die for what you believe in.

Well, no, the sky is not falling.

Some people need a world in which they have exactly one employer, as well as a fixed bi-weekly salary, dropped into their bank account, because that is how they want to live. Good for them!

I like to scavenge my surroundings for opportunities, and make money from stuff that occasionally happens to drop from a tree. Once in a while, I meet people who like to do a deal with me. I sell. I buy. I trade. I just love it. I am simply NOT interested in a boring world of bi-weekly wages paid into a bank account.

I do not consider tycoons to be a threat. It is the little, petty SJW bureaucrats that take too much of an interest in other people's business who are the problem.

I am free to make the deals that I want, regardless of what they include or don't include. Why would I need you to protect me from myself? Why do you want to micromanage other people's lives? Is your own life not interesting enough already?

If you do not like the sharing economy, then do not participate in it. "Other people should not be doing this, and should not be doing that, ..." is one bridge too far. For heaven's sake, who the hell are you, to tell other people what to do?