xkapastel

Could you expand on this? I can't really parse it; the first thing that came to mind was a DAO where token holders could vote on...something related to parameters and fine tuning, but idk what.

This is totally false, I dare you to write anything close to e.g. BERT with Prolog.

That's not really a C implementation of GPT-2 since it cannot be used to do the thing everyone cares about: self-supervised learning from text. In fact, it doesn't even use the weights in the same way GPT-2 does, so it's not clear how close it is to GPT-2's inference mode. The source isn't even on the page.

I think it's the possibility of nontermination that leads to unsoundness. You can construct a well-typed program that never produces a result, which means the fact that a program has a particular type does not mean you've proved a particular proposition.

> Yeah, keep hearing about how AI will make programmers obsolete. Good luck teaching an AI how to interpret the product managers' super vague requests and understand the context in one sentence.

This is the point the article was trying to make! Coding is not the same thing as understanding requests and translating them in to software. Someone who is doing that (e.g. a software engineer) will be able to make use of a bot that can "code".

The input is always needed, the neural net is an iterative algorithm that views the "local information" gathered from the array on every time step. It's asking continuously whether e.g. `A[i] > A[i+1]`.

No, the neural net needs to receive a feature vector before each instruction in order to sort the array. So whenever you want to sort things, you need to create that vector over and over.

Breathing affecting health in that way was absolutely news to me. I'm very skeptical that you really could have predicted the results of that study before reading it.

In fact, your post on that story was:

> Did you all know that humans need oxygen to survive? And that the ways we consume oxygen can affect our health?

It doesn't seem like you really understood what they were saying. It's much more complicated than this and doesn't warrant that sort of shallow dismissal.

You could make a substantive point regarding the hypocrisy of allowing protests while ostensibly under "lockdown", but a post like this is just cheap.

And why on earth would you say that?

I'm a little confused, because I'm typing this underneath a GE incandescent bulb, which is also the only type of bulb I use. Has this "elimination" not happened yet?

I live in New York and I'm under the impression the hospitals were never overwhelmed. That was the fear, but it didn't actually happen.

They also thought they would run out of ventilators, but never came close to using all of them, started giving them away to other states, and then discovered that ventilators were not actually a good treatment anyway.

In theory. In practice, Manifest v3 (the changes to adblockers) will be implemented at the C++ level, meaning you'd need to fork Chromium in order to avoid it. I would be surprised if Brave even had the engineering power to do that. Microsoft perhaps, but I doubt they actually will.

This is bad news, as it seems my nose is constantly blocked. No idea why.

> Once it was determined that gopher could neither be monetized nor weaponized, it was doomed to obscurity.

This is a cynical rewriting of history. More likely, Gopher lost to HTTP due to a combination of random chance, network effects, and simply not being as user friendly to e.g. set up a server. HTTP was also an "open academic tool" for "open academic purposes". Only later, due to HTTP's success, was it monetized and "weaponized".

Windows itself collects telemetry so I can see your point, but your example is bad. Single sex bathrooms are not symbolic at all and are a serious issue.

This is puzzling to me because I had the opposite reaction: among other things, Deno solves an incredibly important problem with Node, which is the complicated configuration used with most projects. Deno can perform, out of the box, many of the things you'd need to configure Webpack + Typescript to do:

    SUBCOMMANDS:                                                      
        bundle         Bundle module and dependencies into single file                         
        cache          Cache the dependencies                                                  
        completions    Generate shell completions     
        doc            Show documentation for a module                                         
        eval           Eval script                       
        fmt            Format source files                                       
        help           Prints this message or the help of the given subcommand(s)
        info           Show info about cache or info related to source file
        install        Install script as an executable
        repl           Read Eval Print Loop
        run            Run a program given a filename or url to the module
        test           Run tests
        types          Print runtime TypeScript declarations
        upgrade        Upgrade deno executable to given version

What would it take to get Node to do all of that? Which documentation tool would you choose, and how would you configure it? Testing? Bundling? Formatting?

Posts like this really need to specify what type of person they are talking about. 15 minutes is very clearly not enough for someone with dark skin.

I think the coronavirus has proven this to be false. Many of the so called "essential jobs" are low paid, but the "essential" label is an acknowledgement of their high value to society.

I have a hard time liking Tetris due to the fact that it's basically illegal to make a clone. The Tetris Company is very aggressive about shutting down any popular clones. It seems pointless to invest energy in Tetris when they simply do not want any nonlicensed implementations to exist. The author of an older clone expresses this sentiment:

> More importantly, the lead developer of LOCKJAW is a fan of free software, or software that the public can improve and share, as a means to protect the rights of users of computing devices. He does not share the belief expressed by Alexey Pajitnov, co-founder of The Tetris Company, that free software "should never have existed" because it "destroys the market." (Mr. Pajitnov explained further in a 2015 interview with Matt Barton.) But what really destroys the market is monopoly.

> In fact, though Mr. Pajitnov and his partner Henk Rogers want Tetris to become an internationally competitive sport, as Mr. Pajitnov mentioned in earlier in the same interview, a policy against free software makes it that much harder. Imagine if there were a Basketball Company LLC that could sue a city or school district for copyright infringement for putting a basketball court with correct dimensions into a city park or school gymnasium. There are multiple competing suppliers of basketball and chess equipment, unlike software for playing Tetris. This is why Chess is a sport and Tetris is not: Chess has no owner.

http://pineight.com/lj/

> In testimony before a Congressional Committee, it has been asserted that a prolonged collapse of this nation’s electrical grid—through starvation, disease, and societal collapse—could result in the death of up to 90% of the American population.

This could happen at any time due to a solar flare. The coronavirus has made it pretty clear that America is completely unprepared for any sort of major deviation from "normal".

What on earth is this kiosk thing? There's no explanation whatsoever. `help` does not do much.

Wow...we have very different views of this conversation :)

I'm not questioning your competence, most people have not implemented a PL before. It's not a question of competence, it's a question of specialized knowledge.

> It's esoteric sure, but it seems like his usage here refers to Esoteric Languages

Yes, that's the sense that I meant it in. Nock is an esoteric language just like those others on that website.

> he is maximizing practicality over mathematical elegance.

Nock is not practical. He is certainly not maximizing practicality by making a combinatory logic that can only increment integers and then recognizing and "accelerating" a particular implementation of decrement! Let's look at Nock:

    ?[a b]           => 0
    ?a               => 1

    ^[a b]           => ^[a b]
    ^a               => (a + 1)

    =[a a]           => 0
    =[a b]           => 1
    =a               => =a

    /[1 a]           => a
    /[2 a b]         => a
    /[3 a b]         => b
    /[(a + a) b]     => /[2 /[a b]]
    /[(a + a + 1) b] => /[3 /[a b]]
    /a               => /a

    *[a 0 b]         => /[b a]
    *[a 1 b]         => b
    *[a 2 b c d]     => *[a 3 [0 1] 3 [1 c d] 
                            [1 0] 3 [1 2 3] [1 0] 5 5 b]
    *[a 3 b]         => **[a b]
    *[a 4 b]         => ?*[a b]
    *[a 5 b]         => ^*[a b]
    *[a 6 b]         => =*[a b]
    *[a [b c] d]     => [*[a b c] *[a d]]
    *a               => *a

This is what I mean by being too charitable. There is absolutely nothing whatsoever that is practical about Nock.

> because its a formal system in mathematical logic rather than a computational system

I really don't think this means anything. The lambda calculus is one of the paradigmatic computational systems, and SK combinators are closely related. And it turns out formal systems in mathematical logic are also related through the Curry-Howard-Lambek correspondence. So there's no meaningful distinction between these things.

> I think you've got me wrong on this—the idea that I'm "relying" on "quick skims" and the POV of an "impartial reader," would imply that I'm somehow using these things against you. I literally am an impartial reader trying to understand this, who spent a little time reading a resource you pointed me at.

No, what I'm saying is that, as an impartial reader, you are giving them too much of the benefit of the doubt, and also not spending a lot of time with it. There's nothing wrong with that, but it means you can get taken for a ride by people who are making a smokescreen.

Have you ever implemented a programming language before? You are relying a lot on "quick skims" and the POV of an "impartial reader", i.e. someone who does not know the domain. It's much easier to see through the bullshit if you're familiar with PL.

> Unlike the lambda calculus, Nock represents code as data, not data as code. This is because it is system software, not metamathematics. Its loyalties in this matter are not even slightly divided.

This does not mean anything.

> But nor is it an esoteric language or automaton, like SK combinators. Rather, Nock is a tool for defining higher-level languages - comparable to the lambda calculus, but meant as foundational system software rather than foundational metamathematics.

This is hilarious considering Nock is, in fact, esoteric. SK combinators are also very comparable to lambda calculus, and it's not clear what "foundational system software" even means in the context of a combinatory logic just like SK combinators. And why would Nock be any good at "defining higher level languages"? Keep in mind that their idea of "higher level languages" includes Hoon, another esoteric language.

You skimmed it quickly and didn't see anything that jumped out to you as wrong. That's a good explanation for how a cup and ball game like Urbit got as many users as it did: you need a bit of specialized knowledge to see that it's full of hot air.

You are being too charitable. Nock does not have any interesting properties and does not meet any serious constraints besides being obscure.

Here is Nock's origin document, for reference: http://moronlab.blogspot.com/2010/01/urbit-functional-progra...

Some of the ideas are interesting but they are independent of Nock. Any combinatory logic would do the trick.

> Just out of curiosity, have you verified in some way that your alternative is legitimate? (Like maybe there are some contexts you haven't considered where other aspects of Nock are necessary.)

If you want a Turing complete combinator VM with transparent serialization of all values, there it is. Nock is not a serious language, I would love to hear what aspects you think it has that could be relevant in whatever context.

I'm pretty sure Yarvin's motivation for making the project obscure was just trolling.

> Researchers in China and the US find that the virus that causes Covid-19 can destroy the T cells that are supposed to protect the body from harmful invaders

> One doctor said concern is growing in medical circles that effect could be similar to HIV

https://www.scmp.com/news/china/society/article/3079443/coro...

Also, some of the evidence from https://project-evidence.github.io/ supports this idea, including this incredible quote from a paper associated with Wuhan virus researchers:

> Severe acute respiratory syndrome (SARS) is caused by the SARS-associated coronavirus (SARS-CoV), which uses angiotensin-converting enzyme 2 (ACE2) as its receptor for cell entry. A group of SARS-like CoVs (SL-CoVs) has been identified in horseshoe bats...In this study, we investigated the receptor usage of the SL-CoV S by combining a human immunodeficiency virus-based pseudovirus system with cell lines expressing the ACE2 molecules of human, civet, or horseshoe bat.

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC2258702/

Nock and Hoon are intentionally obscure. There is no good reason for either of them to be the way they are. Until they come to grips with this, Urbit is somewhere in between an art project and a pyramid scheme.

Here is a legible alternative to Nock's vision of a "minimalist combinator VM": http://tunes.org/~iepos/joy.html

        [A] a = A
        [A] b = [[A]]
    [A] [B] c = [A B]
        [A] d = [A] [A]
        [A] e =
    [A] [B] f = [B] [A]

There you go, "Maxwell's equations of software", without the obscurantist nonsense.

AFAICT the context is that he's been downplaying the severity of the pandemic for a while now. This is just the latest example.