How does this make you feel?
Feels good doing 90% of your work in the first and second tier.
>>54750550
That's not good either, master race is 3-4, 1-2 are just pleb shit.
>>54750568
>, 1-2 are just pleb shit.
>tfw borderline abyss level already
What the fuck is lambda tesseract?
>inb4 lol pleb
>>54750613
its a marvel cinematic universe thing
>>54750638
Ok I will bite.
And the thing in the image?
>not using Whitespace
>>54750522
that's_bait.exr
>>54750522
>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.
>>54750613
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.
>>54750835
I didn't know anything about that.
What could be the posibilities on that kind of research?
>>54750522
More like this please
>>54750829
>Also, ZFC might be inconsistent.
[citation needed]
>>54750522
>tfw I know all of these
>no Object Pascal
100% MAD
>>54750890
>>54750909
https://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.
>>54750953
>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
>>54750970
>I don't know the difference between an opinion and a mathematical proof
>>54750522
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.
>>54751000
Well then state your post more clearly next time, faggot.
When I read >>54750909 I thought you actually had something concrete, like a new possible inconsistency discovered in ZFC.
But all I got was memes and incompleteness 101.
>>54750939
95% of that image is bullshit.
>>54750939
Every fucking time
>>54750939
>>54751084
>/j/
Always will be a good joke.
>>54751084
>>54751158
>>54751170
>>54751186
>>54750522
>javascript god tier
good so far
>also personal home pages and python
you blew it!
>>54750829
I don't see why a programming language needs to necessarily be consistent, it's for programming, not logic (referring to Haskell not ZFC).
>>54751013
Pi-calculus is a kernel of concurrency, nothing to do with SQL.
>>54751205
>>54750876
We retroactively create God.
>>54751084
I desperately want to get into hideout if only to have a local mirror strictly for archival.
>>54751264
>>54750522
Makes me feel sad for you entry level plebians who have never tasted the possibilities of modern hardware description languages
>>54751321
>>54750835
4D
>>54750522
It makes me feel I need to explore those last two levels
>>54750522
ZFC is entry tier.
>>54750522
>No HoTT
>No ITT
>No Agda
:(
>>54751362
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
>>54751358
I want a native from the amazons in Brazil.
>>54751297
What's Hideout?
Malbolge program that displays "Hello World!", with both words capitalized and exclamation mark at the end.
(=<`#9]~6ZY32Vx/4Rs+0No-&Jk)"Fh}|Bcy?`=*z]Kw%oG4UUS0/@-ejc(:'8dc
son i....
>>54751454
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
>>54751358
>tfw I've taken a boat around inaccessible island
>>54751170
>one time pad decryption
That's how you know this was made by a 12 year old or someone with the equivalent intellectual level
>>54751496
>tfw born in atlantis
>>54751504
I was taking a vacation in Tristan da Cunha lel, how's Atlantic?
>>54751556
Atlantis*
>>54751240
It doesn't need to be consistent. I didn't intend for the post to be taken seriously.
>>54750939
>>54751084
>>54751186
>>54751264
>>54751358
After all these years, most of people still believe in any bullshit write in Internet. Why humanity, why?
>>54751616
Nigga you stupid.
>>54751661
Probably but those take this shit seriously is more.
where is brainfuck?
>>54751708
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.
>>54751084
>yyyyyyy.info
Most helpful site I've ever been to desu
>>54751496
what makes it inaccessible?
>>54751084
I actually went on yyyyyy.info
Where has this beautiful site been all my life?
>>54750522
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)
>>54750522
>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?
>>54752390
what am I supposed to see there except baidu links?
>inb4 nothing
>>54752552
The designer of the image is clinically retarded.
>>54750522
C'moon Prolog is super easy it should be in the top or second.
>>54750522
Is this the rank from useful to useless languages?
>>54752775
>>54752788
it's most normie/"pleb" to most neckbeard/obscure
>>54752390
>>54752501
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
>>54750522
what is "the lambda tesseract"?
Hey guys where would CPL fit on OP's image?
>>54752994
the type of site you could find in 1994
>>54752994
>>54752437
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++ ?
>>54754359
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.
>>54750522
>Not having written "programs" in ZFC Set Theory in undergrand
what shit school did you go to
>>54750522
1-2 for retards
3-4 master race
5-8 literal memes
>>54750522
Do you like coq
>>54750919
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?
>>54754895
Are you seriously arguing that Fortran is less obscure than C?
>>54750939
>>54751062
https://www.youtube.com/watch?v=BBQ7ukwK56Q
>>54751502
/thread
>>54750522
No VisualBasic, VBA, Scratch, Redstone
wheres the baby tier
>>54755410
>redstone
>minecraft tier lenguage
>>54755331
Why are you /thread-ing when the post you are replying to is totally orthogonal and off-topic to the actual thread?
>>54750835
Where can I find out more about this. Google has nothing.
>>54754872
bump
>>54757885
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.
>>54750939
>vampire freaks
does that shit still exist?
who the fuck is going there in this day and age?
>>54751321
>no coney island amateur psychoanalytic society
shit version of that image
bergman should be lower too
>>54750522
coq is not a programming language, it's not Turing complete.
>>54758999
>>54751359
So gene ray was right all along?
>>54750568
>1-2 pleb shit
all of every major everything runs on them
>>54751205
I'll stick with lvl 1 - 4 thanks
>>54750522
like a rim whore
>>54758999
I might just do that. Thanks anon.
Also nice trips.
>>54759439
programming languages don't have to be Turing-complete.
Well, I'm tier 1, and 5...
Thanks A levels
>>54751170
>boolean algebra
>serious math
Oh wow.
>Haskell
>below x86 ASM
. . .
That's just fucking stupid. I know a couple girls that learnt Haskell at uni because it was part of their engineering coursework. Not like computer engineering either, they were studying to become architects.
What is law of 13s?
>>54750829
isn't undefined like [] in the sense it belongs to all concrete types?
wouldn't that code work?
I'm not near a comp right now
load the that script into ghci and post what happens
>>54750829
who said it didn't?
somebody make a better image with a lot more languages
someone who knows a lot of languages
kind of like that programming expert who posts anime over at /dpt/
>>54751321
>Putting Brakhage at such a high level
>>54750829
>ZFC might be inconsistent
what? ZFC was designed (put together, idk) to deal with the inconsistencies found such as that presented by the Russell paradox
you forgot Common Lisp fucker.
though judging from that graph I guess it'd go near forth
which reminds me I want to check out forth
>>54751158
I don't understand this chart. Is it based on inaccessibility? I'd say death metal is more inaccessible than new wave.
>>54751205
>gaza live explosions
kek
>>54751170
>an ultraNEET solved the Poincare conjecture beyond the genius level after this image was made
what a time to be alive
>>54761458
I can't even pass Topology and QM with a good grade.
Where's FORTH?
Why is C that low?
It's widely used in mech/electrical engineering still, maybe not popular with devs in other areas but it's a common base.
>>54750522
>No R/GNU S
This place surely is full of plebs...
>>54761499
It's there.
>>54761501
Agree, feel like C is more common if you run in embedded circles than C++, not sure why it's that low.
>>54752530
He's not wrong, you know.
>>54751170
> Boolean algebra harder than Taylor series
whu?
>>54752243
>>54751708
Brainfuck is just a very literal interpretation of Turing machines. That makes it kind of interesting in a way, but anyone who thinks it's "amazing" that BF is Turing complete has not finished learning CS concepts.
>>54754359
C is far easier to learn than C++.
>>54750522
>tfw between c# and C
feels not-too-normie I guess...
>>54763893
>>54754359
You retards need to get a grip. No language is "harder" than another; a language's difficulty is dependent on two things, it's level(high, low, etc), and the user its-self. Some people have an easier time comprehending the concepts of languages others may see as more challenging.
>>54751205
tfw i actually enjoy throat singing.
>>54750939
>>54751084
>>54751186
>>54751264
I like how all those ''deep web charts'' don't even include the same stuff, just whatever random bullshit the creator of the image felt like throwing in there.
>>54750939
> Polymeric Falcighol Derivation
what a meme
>>54763998
Languages can most definitely be harder than one another. You seriously think Coq is as easy as Python? Malbolge is as easy as JS?
>>54750522
So the contemporary hacking languages Python (90% of pentesting) and Ruby (Metasploit framework) are "beginner tier"?
Seems legit.
>>54750522
where is verilog and assembly?
also what is idris?
>>54750522
Why do these threads always get 100+ replies?
You can literally arrange it in any way
>>54751321
>[Ctrl] + f
>no Béla Tarr
wtf is this pleb-tier shit graph?
Why would you put Coq below Idris? Coq is entry-level Indian CS grad student stuff nowadays.
>>54752501
>>54752390
fuuuck I wanna check out yyyyyyy.info now but i'm terrified it's gonna be awful
>>54751414
anyone?
>>54764676
I'm not a pentester, but I'm interested;
how is Python used in pentesting and hacking?
>>54751062
It's obviously a joke
>>54765366
>doxxing yourself
>reporting yourself
>calling the police
lel
>>54765366
>imaginary shitposting
>>54751158
where's vaporwave?
>>54765382
>Unreleased Shovelware
This should be in category 1
>>54754872
bump
>>54750939
the fuck is the law of the 13s?
>>54765366
>checking dubs on /po/
I laugh everytime
>>54750522
ZFC is not that weird though
>>54750522
ZFC Set Theory? What about it? It only applies if you need to prove that a problem is solvable with a program.
>>54769092
>It only applies if you need to prove that a problem is solvable with a program.
wat
>>54765366
>real nigga hours
should be level 3
>>54754872
bump
>>54770018
This has been answered in the thread already
>>54770039
where?
>>54770074
>>54750835
>>54758999
That's all the info there is about it
>>54750522
Nice to see my template is being used.
>>54770089
how come they know about it when there's nothing on google? and i asked where it can be learned not that stupid shit
>>54762701
COBOL should be higher only people who deal with it maintain antiquated business codebases with a feature poor language sempai.
>>54770191
Maybe wait for the mailing list guy to come back.
>>54770103
Rubbed one off to the meaning of life earlier.
>>54751272
>open sourcing God
>>54750522
Sorry for using edge, I wanted to give it a try.
>>54765382
is serotoninphobia safe to visit, or is it like lostboy?
>>54770872
From my visit, safe. Wasn't especially weird, but high quality. Did have some weir chinese shit on one a few of the pages, but it didn't link or redirect to anything weird.
>>54770884
Also, I'm curious about lostboy footage but I'm not using a VM. Is the video uploaded by Saint (channel's name) the right?
>>54770974
No idea.
>>54771035
Google lostboy and 1st video, 18 minutes long
>>54771049
Could you link? All i get is music by Ruth B and shitty covers of it.
>>54752390
Look at this shit
http://www.yyyyyyy.info/l/x/
>>54771084
> youtube com/watch ?v=nrtehmzSTbE
>>54750522
How does this make you feel?
>>54751170
Random Sequence Extrapolation is how Terry talks to God
>>54750939
>location of atlantis
>>54770103
>Ohio
;)
>>54750522
Where is Ada on this
>>54770103
>deerification
kekked out loud
>>54770103
Serial killer Wikipedia articles should be in normie tier
Or at least I try to tell myself that…
>>54773167
>muh edge
>>54751170
>random sequence extrapolation
everytiem
Where does CPL fit on this?
>>54751205
> throat singing
https://www.youtube.com/watch?v=qx8hrhBZJ98
tfw infinite level illuminati
>>54764676
>he thinks anyone cares about hacking
Go away Pajeet.
>>54759963
The code works, which is why Haskell is incomplete. A consistent logic would not allow you to prove anything using `undefined`. For example, here is a nonsensical proof:prop :: (raining, snowing) -> dry
prop = undefined
Haskell has no problem with the statement 'if it is raining and snowing, it is dry'.
>>54770191
It is an idea mentioned in passing in numerous PLT circles. There is no published literature on it as of yet, they are still figuring it out. Basically, the lambda cube have us 8 vertices, 8 different type systems. The lambda tesseract guys have figured out how to split each of these type systems into two distinct classes, then build in orthogonal directions. Each is more powerful (and incompatible with each other) in separate ways.
Please do not quote me on this, but I believe one of the directions goes in the way of building true dependently-typed equality, while the other totally sacrifices this for completely different gains.
>>54774367
The huge gain will come when the 'edges' of the cube are built, combining parallel systems into a unified theory.
There is also a glimmer of hope that this process can be generalized, and we can create lambda 'shapes' of arbitrary dimensions, at which point the power of type systems will grow exponentially. If true (extremely unlikely) it will be one of the greatest discoveries of the 21st century (I doubt it).
That is truly all the information I have.
>>54758999
I bet someone mutated "cubical type theory", which is a real thing (and a rather cutting edge and powerful thing), and somehow mutated it into "lambda tesseract". While it's true that in CTT one generally programs with n-dimensional cubes, it has little to do with the lambda cube.
>>54750522
I think it's time to promote C# into the 3rd tier.
The language has come a long way.
>>54775148
Microfag detected
>>54775148
>>54751358
Who thought this color combination would be a good choice?!
>>54751084
>VRMLchan
I want to believe. I'm probably the only one on /g/ who ever did VRML work.
>>54769092
>2006 + n
>using ZFC
>not using Homotopy Type Theory
shiggedy
>>54759963
>isn't undefined like [] in the sense it belongs to all concrete types?
Undefined is polymorphic (forall a. a) in the sense that [] is polymorphic (forall a. [a]).
>wouldn't that code work?
Yes, it would compile. That was the whole point.
>>54750939
It triggers me so hard when normies talk about the deep web and how nearly all the internet is on there.
>tfw PHP, Ruby, and Python are the only languages I know
>>54776506
Learn C
>>54751084
>coolmath
>>54776048
>It triggers me so hard when normies talk
ftfy
>>54751158
>no vaporwave
Im listening to it right now
>>54750522
Used Scheme for 4 years at school and studied Lambda Calculus.
Primary work language is JavaScript and C#.
>>54751170
>non euclidean geometry
>euclidean space
>chaos theory
>game theory
>cryptography
>S E R I O US
>M A T H
>>54751264
>soul connectors
>>54751264
how am i supposed to read this
>>54770103
Literally have rubbed one off to at least one of every level.
I have a problem.
>>54774294
>>54775842
so is this just an edge case so one can say something bad about the language?
what are the implications when doing actual programming
>>54777834
It's unrelated to programming. In fact, for a language to be turing complete (and therefore capable of expressing all possible classical programs), it *needs* to be inconsistent.
>>54777346
you don't. it's supposed to be a mysterious shit.
>>54751358
There's not much shit in unpopulated Brazil, I've been there.
>>54752390
>yyyyyyy.info
It's always best to visit while hearing 5d by death grips
>>54750568
Tell that to my paycheck, neet.
>>54765382
who's the daemon? If Saint is the avy below him.
