pcstl

17 ms·

121.
by pcstl 6y ago
That's not what the article is about, though
122.
by pcstl 6y ago
If you want data, you need to specify what standard of evidence would be enough for you to consider that there actually are people who hold this position. For instance, you won't find anyone simply stating without context to hold these
123.
by pcstl 6y ago
This seems like a rather... circuitous justification for gatekeeping knowledge.
124.
by pcstl 6y ago
SML and OCaml also have global inference, and in fact Haskell initially got it from there. A lot of the "weirder" parts of Haskell are there because early on Haskell was pretty much "LazyML" and then it started growing i
125.
by pcstl 6y ago
>The most common use of heterodox seem to span from status-quo to far-right libertarianism. That's not very imaginative. You might want to look into Marxian economics, Modern Monetary Theory and ecological economics. There's so
126.
by pcstl 6y ago
>That still doesn't mean that it's indecipherable by brilliant people in other field of studies nor that the core parts are particularly hard. Indecipherable? No. But I wouldn't listen to Einstein on economics for the same
127.
by pcstl 6y ago
>You guys need to stop pretending that economics is 1. something really really hard that only the most brilliant economists can understand Economics is about as hard as any other modern applied science. I.e. pretty damn hard, and practit
128.
by pcstl 6y ago
Bertrand Russell was an amazing logician and mathematician. Albert Einstein was an incredible physicist. I would trust none of them to handle economics. When it comes to the socialist movement, whatever upsides it might have, its history re
129.
by pcstl 6y ago
The difference is that we have evidence, theories and data about the free market. It isn't magical, it isn't always the best alternative, but it tends to be a very good baseline that can be "tweaked" as needed. Most peop
130.
by pcstl 6y ago
"An Urbit" is a tiny VM with its own network protocol. It allows you to run apps written for it which can communicate over the Urbit network (By far the most used one is an instant messaging app). Every Urbit has a permanent addre
131.
by pcstl 6y ago
I looked the name you mentioned up and found nothing. If you remember what the post is called, I'd be interested. I tend to enjoy Yarvin's writing.
132.
by pcstl 6y ago
This pretty much summarizes the academic mentality: Everything must be neat, tidy, and follow a well-defined formal process, preferably one defined by a committee that uses a lot of big words and stands above mere mortals. The reason the we
133.
by pcstl 6y ago
Actually, computation, in the classic sense used by Turing, Church, and other pioneers, refers to evaluating the value of (mathematical) functions. The word computation first appears in the earliest papers of the field which would later bec
134.
by pcstl 6y ago
HoTT is very interesting to people working on programming language theory. I, for one, expect we will see a handful of very interesting research programming languages coming out in the near-future with HoTT-based features, which will allow
135.
by pcstl 6y ago
I really dislike how posts of this kind simply assume that everyone lives in Silicon Valley (and hence there are abundant jobs with ridiculously inflated pay) and has no ambition beyond working on hard technical problems and making loads of
136.
by pcstl 6y ago
Do you have a public website or anywhere I can read more about your project? And if I'm interested, how can I contact you?
137.
by pcstl 6y ago
You probably mean an F1 visa. H1Bs are for non-immigrant workers, F1s for non-immigrant students.
138.
by pcstl 6y ago
It's been shown time and time again they aren't: https://christine.website/blog/v-vaporware-2019-06-23 The author has been doing periodic reviews of the development of the language: https://christi
139.
by pcstl 6y ago
Every time I see a ".google" domain it just feels wrong.
140.
by pcstl 6y ago
"A monad is just a monoid in the category of endofunctors, what's the problem?" is a joke about how the Haskell community often forgets not everyone has a PhD in category theory. It's not a real thing Haskell programmers
141.
by pcstl 6y ago
Not trying to dissuade you from your opinion, as I agree one can dislike Taleb's book for that reason, but part of the point Taleb tries to make in his books is that often data is used as a crutch to prop up arguments which don't
142.
by pcstl 6y ago
That's not really what I'm talking about. For instance, a few years ago when I was really into Elm, I wanted to implement a WebAudio library. Back when Elm was an FRP language, I thought it would be a great fit with the language&#
143.
by pcstl 6y ago
On my end, it's mostly lack of time.
144.
by pcstl 6y ago
There's the core team, which is extremely unfriendly to any kind of user-driven development of the language. The whole reason Elm has been stuck in a niche when it had _huge_ hype around 2015 and everyone was sure it would be the &quot
145.
by pcstl 6y ago
Do you know of any good courses on developing compilers for static languages?
146.
by pcstl 6y ago
tl;dr: Every Turing Complete system is undecidable - i.e. for every Turing Complete system which answers "yes" or "no", you can't determine in finite time whether, for any given input, the program will accept it or
147.
by pcstl 6y ago
I went looking for the talk and all I could find was this paper: https://www.researchgate.net/publication/337590358_Inflation... I'd like to watch the actual talk. Hope you could try remembering the name.
148.
by pcstl 6y ago
Their profile pic on Twitter also looks very much like the stuff This Person Does Not Exist generates. I have a feeling this might be a social experiment on how easy it is to generate a persona using AI.
149.
by pcstl 6y ago
I think this might have been written by GPT-3.
150.
by pcstl 6y ago
If they really aren't a real person, they might be trying to make their point through that. :P

More ›