DonbunEf7

I have a hard time believing Zuckerberg would purposely exclude himself from the conversation.

You know what's bizarre to me? Most US states are either one party consent or 2 party consent states. Meaning to record a conversation, at least one party must consent to the conversation being recorded.

So how does this not apply at all to private conversations online?

Windows still has the following annoyances 1. Advertisements for One Drive storage in windows explorer. 2. Advertisements for Candy Crush and other games in start menu. 3. Advertisements and nag prompts to try Edge browser when you attempt to download chrome or switch your default browser. 4. Collects lots of telemetry. Yes, most of the above issues can be solved by digging into the settings and turning them off but they shouldn't exist in the first place.

Talk about discrimination against non-students. Like students are some kind of special snowflakes. I'm going to sue them for this breach of my rights.

May I say that the whole message seems forced?

A sort of "shape up or ship out" from the Linux Foundation management.

Especially with the concurrent switch to the new, more community acceptable code of conduct.

Will Linux have a new maintainer in a few weeks?

...right, because that works

- move technical skills and certifications to the bottom

- limit projects to top 3 relevant to job

- not a fan of about/technical quote part, but that's up to you. only comment about that is that it takes more than half the first page.

- "multiple startups": this tells me absolutely, nothing.

- it took me about 5 minutes to read your resume, and my conclusion is that you have 1 year experience as a software engineer. intern probably since it was 6 months. probably not accurate, but that's how it reads

- how come you have like 10 projects, but not a single one was from your "freelance developer" time?

- cto @softzen: skills->"anything", that's cute, but means nothing

Hi Carl, it's me, mathematics. I'm sure you recall that Turing machines (TMs) can be enumerated. ActorScript programs can also be enumerated, as can Direct Logic statements. I'm sure that you also have no problem with the basic concept of arithmetic encoding, nor with diagonalization widgets.

So, I'd like you to demonstrate that Direct Logic is, in fact, strictly more powerful than TMs, by constructing a DL program which cannot be computed by any TM.

Alternatively, I'd like you to prove the claim, "In Direct Logic, categorical theories of the Natural Numbers, Real Numbers, Ordinal Numbers, Set Theory, the Lambda Calculus, and Actors are inferentially decidable, meaning that every true proposition is provable and every proposition is either provable or disprovable," from your abstract. Specifically, I'd like you to construct the Direct Logic program which proves or disproves any given theorem. If that is too difficult, it will suffice to demonstrate a use of Direct Logic to answer a tough question about numbers; I humbly invite you to consider Goldbach's conjecture.

Thanks and good luck.

This is because the one-liner is actually (sorry SSC) a valid logical template, relying on assumptions about rule of law to draw a deductive inference. We can see the template itself:

    "When X is illegal to possess under some jurisdiction's law, then the residents of that jurisdiction will be criminalized by their possession of X, and thus the only possessors of X in the jurisdiction will be criminals."

SSC probably doesn't like this one because it's definitional. People like to use "criminal" is a qualitative label for people who they feel have broken the law, but it is in fact definable as a quantitative label for people who have committed acts which are unacceptable as a fact of law.

You seem intelligent, so I'm going to drop you into the deep end. In category theory, a topos [0][1] (plural topoi) is a structure-place where logic can be done. Boolean logic corresponds to a particular topos. Actually, there are at least two topoi which do Boolean logic; one of them has the law of excluded middle, and another has the axiom of choice. [2]

And there's an infinite other number of topoi to choose from! Topoi can be custom-made to categorical specifications. We can insist that there are three truth values, and then we can use a topos construction to determine what the resulting logical connectives look like. [3]

Finally, there are logical systems which are too weak to have topoi. These are the fragments, things like regular logic [4] or Presburger arithmetic.

To address your second argument, why do we work in a world with Boolean logic? Well, classical computers are Boolean. Why? Because we invented classical computing in a time where Boolean logic was the dominant logic, and it fits together well with information and signal theory, and most importantly because we discovered a not-quite-magical method for cooking rocks in a specific way which creates a highly-compact semiconductor-powered transistor-laden computer.

Computers could be non-Boolean. If you think that the brain is a creative computer, then the brain's model of computation is undeniably physical and non-classical. It's possible, just different.

Oh, and even if Boolean logic is the way of the world, does that really mean that all propositions are true or false? Gödel, Turing, Quine, etc. would have a word with you!

[0] https://en.wikipedia.org/wiki/Topos#Elementary_topoi_(topoi_...

[1] https://ncatlab.org/nlab/show/topos

[2] https://ncatlab.org/nlab/show/two-valued+logic

[3] https://toposblog.org/2018/01/15/some-simple-examples/

[4] https://arxiv.org/abs/1706.00526

Serious audiophiles are all pirates at this point if they aren't into diving for vinyl. A losslessly-encoded stream is near-worthless compared to a lossless rip, which is actually useful as archival material.

My friends, especially my musician friends, are all pirates. It's by far the most practical way to do music.

I might change my tune if Tidal's streams are easy to save, but I haven't seen any technology for doing that.

The one described in Scott's next post [0] is the current champion, I think, coming in at 1919 states and halting iff ZFC is inconsistent.

[0] https://www.scottaaronson.com/blog/?p=2741

Nuitka has not been able to compile any Python code I've written myself. It's not used because it's incredibly limited.

Please do not violate the Prime Directive. Thanks.

This nigh-useless blurb links to a Youtube video: https://youtu.be/QkcBASKLyeU

Disregard feelings, acquire evidence. There is only one concrete numeric analysis among all quoted objections, and it concedes that raising taxes would be sufficient to balance the books, at least in the USA.

Your page doesn't render without JS enabled, including JS from hard-to-trust cloudfront.net domains, and also doesn't render in Firefox's reader mode.

We should just use category-theoretic diagrams for everything.

Back-of-napkin math suggests that it'd take about 2-3mo, assuming that they'll need to triple capacity to make their target and that they can triple capacity twice again before exponential growth must slow to logistic growth.

Well, why would they? Clones would be using relatively old technology. The current bleeding-edge research here is on more-structured, more-formal knowledge representation, stuff like FQL/AQL [0] which is open-source from the first day. Maybe Datomic's not sufficiently better than Pg or SQLite to motivate anybody.

[0] http://categoricaldata.net/fql.html

Nice. Too bad it's not Free Software.

Link to the video: https://www.youtube.com/watch?v=GBc46JT_lWU

I knew Earley parsing before I read this paper. Now I know things about logic and theorem proving. Cool paper, would read again.

This is also the reason why online discourse sucks; online forums are shaped like troll incubators or echo chambers, not like fora.

Ugh, this comment has reminded me of the disgusting dystopian fascist police state we find ourselves in; I immediately thought, "I'm sorry, but Mr. Deitrich's dead. I thought they'd arrest him, but when they found a Koran in his house, they had him executed."

In short, yes.

An analogy with cars, where the same law already is being applied, will work. (Do we still do car analogies in 2018? And on sites which aren't Slashdot?) Suppose you get your brakes changed at some place which is well-known for brake repair. Then, later, your engine dies but the manufacturer's warranty should still be valid. Then, if the manufacturer wants to claim that the third-party brake repair is the cause of the engine failure (and thus that the warranty is invalidated), the burden of evidence is on them.

Excellent! It hadn't occurred to me before that PyPy's parser error messages could be different from CPython's; I must have forgotten that they rewrote the parser [0].

[0] https://morepypy.blogspot.com/2009/08/pypy-gets-new-compiler...

Smart contracts rely on a trusted ledger. The original smart-contract discussions in the 90s were in the context of a contract between various users in virtual open-world games, enforced by the trusted game server. This setting also meant that many of the lame parts of EVM, like the inability to represent capabilities or to protect cryptographic secrets, were supplanted by the game server's encapsulated backend logic and database.

Blockchains and smart contracts don't have to be related at all.

Can you flash firmware to a wyze camera to get them to work on home assistant as they are pretty much the same thing?

Don't be so dramatic. Baylife has always been terrible, but it was affordable in the past, so people put up with it.

If you care too much about what other people think of you, then you possibly aren't spending enough time thinking about things that aren't people.