js8

27 ms·

511.
by js8 1y ago
I wish but the opposite seems to be coming - Haskell will have less support from coding AIs than mainstream languages. I think people, who care about FP, should think about what is appealing about coding in natural language and is missing f
512.
by js8 1y ago
Not only programming languages, SQL as well. Sum types are also kinda awkward to represent in relational algebra (it can be done similar to inheritance, your type constructor will be the ancestor relation and for each data constructor you h
513.
by js8 1y ago
I don't understand what position you're arguing for. In case of prostitution, there has to be lot more consent given, unlike in media (where it might not be required at all, in case of drawn or generated content). More consent =&g
514.
by js8 1y ago
No, it's not the same thing. Legalizing prostitution still involves real people which can be harmed during the act; replaying depictions in media does not.
515.
by js8 1y ago
What are the harms of pornographic media? To me it seems pretty clear that they help reduce sexual violence (why risk jail if I can safely indulge in a fantasy), and I wouldn't be surprised that countries with pornographic bans are mor
516.
by js8 1y ago
Regarding planned obsolescence, what do you think of Veritasium's video on the topic? Anyway, I think nobody in the industry needs to be aware of that term, and it can still be in play. Nobody in media really talks about Chomsky media
517.
by js8 1y ago
But prediction as the basis for reasoning (in epistemological sense) requires the goal to be given from the outside, in the form of the system that is to be predicted. And I would even say that this problem (giving predictions) has been sol
518.
by js8 1y ago
I would say that real breakthrough was training NNs as a way to create practical approximators for very complex functions over some kind of many-valued logics. Why they work so well in practice we still don't fully theoretically unders
519.
by js8 1y ago
Both can be true (and that's why I downvoted you in the other comment, for presenting this as a dichotomy), LLMs can reason and yet "stochastically parrot" the training data. For example, LLM might learn a rule that sentences
520.
by js8 1y ago
I am talking about reasoning in philosophical not logical sense. In your definition, you're assuming a logic in which reasoning happens, but when I am asking the question, I am not presuming any specific logic. So how do you pick the l
521.
by js8 1y ago
I am not sure why tie this to any concrete AI technology such as LLMs. IMHO the biggest issue we have with AI right now is that we don't know how to philosophicaly formalize what we want. What is reasoning? I am trying to answer that f
522.
by js8 1y ago
While seeing opportunity in a crisis is a good coping mechanism, that doesn't mean it's a good idea to destroy first and rebuild from scratch. (It is however one of the core unjustified beliefs of free market fundamentalists.) It
523.
by js8 1y ago
Right. I think a "conspiracy theory" is more than just a theory about some conspiracy. I think an important attribute of conspiracy theories is that they are unfalsifiable. Any piece of evidence or witness against them is either l
524.
by js8 1y ago
No you don't see where I am coming from. And my father was a university professor. I am certainly not opposed to authors being fairly remunerated for their work, that's why I brought up that example. My point is, the controversy i
525.
by js8 1y ago
> The problem with this thinking is that hundreds of thousands of teachers who spent years writing great, useful books and sharing knowledge and wisdom probably won't sue a billion dollar company for stealing their work. What they&#
526.
by js8 1y ago
Actually, not quite true, according to this: https://www.cleanenergywire.org/news/large-solar-arrays-batt... Nuclear also has non-negligible ecological impact outside the power plant due to mining and processing of nuc
527.
by js8 1y ago
Also people used to smoke and drink a lot of alcohol. So it's possible that stress has objectively decreased, yet subjectively increased, as we are more aware of it. But yeah it's an interesting question, and with the Internet as
528.
by js8 1y ago
I don't want to trivialize, as I am currently procrastinating due to axiety on something, I know it's not easy. But yeah, let's be stupidly early. I think part of accepting that you have a mental condition means that your lif
529.
by js8 1y ago
If an idea can win despite it being opposed by majority, then the system is not very democratic. (But US is a plutocracy, so it's not surprising to me.) But if the system is not democratic, how is what a large portion of people think e
530.
by js8 1y ago
No, voting is not dumb. Direct voting (referendum), representation and sortition (random selection) are 3 basic democratic mechanisms (they distribute power equally among people). But each mechanism has different tradeoffs. How much you ge
531.
by js8 1y ago
> With that said, it's moot since a large portion of the population wants an authoritarian dictator/king. I'm not sure if the founders addressed the issue of the people possibly wanting a king again. You're wrong, twi
532.
by js8 1y ago
I think you're making a good point. I have an honest question for you. Aren't you scared how American system pits retirees and their kids against each other? What you just said means, essentially, if workers want to improve their
533.
by js8 1y ago
Wasn't the previous advice meant for black and muslim people, rather than WASPs?
534.
by js8 1y ago
> Are those people "capital" or not? Probably not. In the sense it's being used in this discussion, capital are people whose majority of income comes from dividends and rents. So your typical 401k (likely - I am not Americ
535.
by js8 1y ago
There is a famous essay on the topic (although it talks about employment rather than workweek, but that's just an extra lottery on top of workweek length): https://jacobin.com/2018/05/political-aspects-of-full
536.
by js8 1y ago
No it's not the same thing. The difference is productivity growth. If you ask 25% more ceteris paribus, someone has to give something up. In this case, nobody has to give something up.
537.
by js8 1y ago
It's not strange at all. I am playing with lambda calculus and combinatory logic now, as a base for mathematics (my interest is to understand rigorous thinking). You can express any computation using just S and K combinators, however,
538.
by js8 1y ago
I agree on the essential complexity, but I think there is a missing piece that we don't really have good mental tools how to operate (compose) the SW systems with uncertainty. Something like fuzzy logic? I think there is a promise of t
539.
by js8 1y ago
However, each consumer is paying for his own gaming console power. With AI (but also other "free" Internet services), there is a tragedy of commons (a coordination) problem, where you don't know the direct cost to you and so
540.
by js8 1y ago
Or just join the unions. They will help with negotiations, give you salary ranges, etc. IT people need to look at SAG AFTRA.

More ›