How does this make you feel?

How does this make you feel?

Other urls found in this thread:

en.wikipedia.org/wiki/Zermelo–Fraenkel_set_theory#Metamathematics
youtube.com/watch?v=BBQ7ukwK56Q
twitter.com/NSFWRedditVideo

Feels good doing 90% of your work in the first and second tier.

That's not good either, master race is 3-4, 1-2 are just pleb shit.

>, 1-2 are just pleb shit.

>tfw borderline abyss level already

What the fuck is lambda tesseract?

>inb4 lol pleb

its a marvel cinematic universe thing

Ok I will bite.

And the thing in the image?

>not using Whitespace

that's_bait.exr

>implying any self-respecting programmer would use Haskell or ZFC (as examples)
Haskell *does* produce an incosistent logic, and this can easily be proved:
f :: Void
f = undefined

Also, ZFC might be inconsistent.

Take the lambda cube and extend it into another dimension. Cutting edge research, I would not be surprised if the creator of the image is working with it.

I didn't know anything about that.

What could be the posibilities on that kind of research?

More like this please

>Also, ZFC might be inconsistent.
[citation needed]

>tfw I know all of these

>no Object Pascal

100% MAD

...

en.wikipedia.org/wiki/Zermelo–Fraenkel_set_theory#Metamathematics
>Hence the consistency of ZFC cannot be proved within ZFC itself (unless it is actually inconsistent). Thus, to the extent that ZFC is identified with ordinary mathematics, the consistency of ZFC cannot be demonstrated in ordinary mathematics. The consistency of ZFC does follow from the existence of a weakly inaccessible cardinal, which is unprovable in ZFC if ZFC is consistent. Nevertheless, it is deemed unlikely that ZFC harbors an unsuspected contradiction; it is widely believed that if ZFC were inconsistent, that fact would have been uncovered by now. This much is certain — ZFC is immune to the classic paradoxes of naive set theory: Russell's paradox, the Burali-Forti paradox, and Cantor's paradox.

That good enough for you? I never said it was likely.

>Nevertheless, it is deemed unlikely that ZFC harbors an unsuspected contradiction; it is widely believed that if ZFC were inconsistent, that fact would have been uncovered by now.
read the quote you pasted

>I don't know the difference between an opinion and a mathematical proof

Pi calculus means SQL, retard.
And java and C# are obviously more normalfag than go, even scala is. Prolog and cobol belong lower than haskell or scheme. Racket and scheme on the same stage.

Well then state your post more clearly next time, faggot.

When I read I thought you actually had something concrete, like a new possible inconsistency discovered in ZFC.

But all I got was memes and incompleteness 101.

95% of that image is bullshit.

Every fucking time

...

>/j/
Always will be a good joke.

...

...

...

...

>javascript god tier
good so far
>also personal home pages and python
you blew it!

I don't see why a programming language needs to necessarily be consistent, it's for programming, not logic (referring to Haskell not ZFC).

Pi-calculus is a kernel of concurrency, nothing to do with SQL.

...

We retroactively create God.

I desperately want to get into hideout if only to have a local mirror strictly for archival.

...

Makes me feel sad for you entry level plebians who have never tasted the possibilities of modern hardware description languages

...

4D

It makes me feel I need to explore those last two levels

ZFC is entry tier.

>No HoTT
>No ITT
>No Agda
:(

Only thing down there that's not a meme is coq

Coq is pretty great, plus you can tell your friends you write coq and that you use coqdoc

I want a native from the amazons in Brazil.

What's Hideout?

Malbolge program that displays "Hello World!", with both words capitalized and exclamation mark at the end.

(=

malbolge is not really interesting. It's just a turing quagmire, it doesn't have any interesting abstractions or properties other than being hard to work with. Languages like coq, idris and APL actually puts something interesting on the table, not just an annoying problem

>tfw I've taken a boat around inaccessible island

>one time pad decryption

That's how you know this was made by a 12 year old or someone with the equivalent intellectual level

>tfw born in atlantis

I was taking a vacation in Tristan da Cunha lel, how's Atlantic?

Atlantis*

It doesn't need to be consistent. I didn't intend for the post to be taken seriously.

After all these years, most of people still believe in any bullshit write in Internet. Why humanity, why?

Nigga you stupid.

Probably but those take this shit seriously is more.

where is brainfuck?

In the trash pile of stupid languages that no one should ever care about. It is too boring to be fun and too stupid to be useful.

>yyyyyyy.info
Most helpful site I've ever been to desu

what makes it inaccessible?

I actually went on yyyyyy.info
Where has this beautiful site been all my life?

reminds me of a guy on lainchan unironically saying the only good languages are APL, Lisp, FORTH and assembly

the image is pretty accurate (I'm about level 5 with Haskell and Scheme)

>not knowing about python's implementation of ZFS on ext4 using Calculus

I swear I'm surrounded by plebs

What's the reasoning for the horizontal positioning?

what am I supposed to see there except baidu links?
>inb4 nothing

The designer of the image is clinically retarded.

C'moon Prolog is super easy it should be in the top or second.

Is this the rank from useful to useless languages?

it's most normie/"pleb" to most neckbeard/obscure

What is that site? Since it's one the same category with TOR I don't think it's a good idea to visit it.

>no brainfuck

what is "the lambda tesseract"?

Hey guys where would CPL fit on OP's image?

the type of site you could find in 1994

...

Nothing, a bunch of British people exploring the islands died several times in a row, so they called it that

I have never written any code in C++. Is really C harder than C++ ?

C is harder to do right than C++. C++ has a lot of ease of use features that C purists claim wreck their precious nanoseconds of runtime.

>Not having written "programs" in ZFC Set Theory in undergrand

what shit school did you go to

1-2 for retards
3-4 master race
5-8 literal memes

Do you like coq

Sure thing kiddo

what is the lambda tesseract and where can i learn it?

>tfw everyone forgets about Erlang

>Fortran below C
>Closes tab

I don't see machine code here

Guys what about CPL where would that be?

Are you seriously arguing that Fortran is less obscure than C?

youtube.com/watch?v=BBQ7ukwK56Q

/thread

No VisualBasic, VBA, Scratch, Redstone

wheres the baby tier

>redstone
>minecraft tier lenguage

Why are you /thread-ing when the post you are replying to is totally orthogonal and off-topic to the actual thread?

Where can I find out more about this. Google has nothing.

bump

It is extremely new research, I have seen it mentioned in passing on a few mailing lists I occasionally use. There is really very little information on it out there, and I'm surprised it even found its way onto this infographic.

Honestly I think you would need to email around PLT departments and see if you get an answer if you really want to know.

>vampire freaks

does that shit still exist?

who the fuck is going there in this day and age?

>no coney island amateur psychoanalytic society

shit version of that image

bergman should be lower too

coq is not a programming language, it's not Turing complete.