js8

6 ms·

91.
by js8 2mo ago
> The addition of the free market of labour cannot, on its own, result in loss of self-control by either party. I disagree with this, and it's less true in theory than in practice. The free market is deliberately engineered to push
92.
by js8 2mo ago
> Not sure why this comment is downvoted I didn't downvote it (obviously), but, for starters, it confuses socialism with communism (and also makes a typical categorical error in assuming that FEATTATEATTN is an implementation rather
93.
by js8 2mo ago
The parent post is not even the worst offender. In his (otherwise good) https://en.wikipedia.org/wiki/23_Things_They_Don%27t_Tell_Yo... , Ha-Joon Chang completely flips the meaning between free markets and capitalism. I
94.
by js8 2mo ago
IMHO, we need programming (formal) metalanguage, not just another language. Something in which can express e.g. an architectural discussion with LLM. Natural languages are not logically sound, because meaning of words can shift. We need to
95.
by js8 2mo ago
Emacs is far from done. Scheduling things from it are already a feature, in the org-mode.
96.
by js8 3mo ago
IMHO and IME, we need new programming language(s). I started on Pascal and C/C++. Then I moved to Python. It freed my mind from types, and I was able to think more high-level about the data structures. After another decade and half, I
97.
by js8 3mo ago
Regarding encryption. Interestingly, US government also insisted on DES and AES being open standards, because using bad encryption did more harm than good.
98.
by js8 3mo ago
Close can count in math - fuzzy logic and probability are a thing. But I think you have it backwards. Close doesn't count in IT security. "Almost secure" means unsecure. Security is the compelling argument for formal verifica
99.
by js8 3mo ago
> AI is a "public good" which will ultimately be provided by the state as a kind of "digital public infrastructure." This future strikes me as a dystopian hellscape I don't know what this guy thinks AI is, but th
100.
by js8 3mo ago
I found it funny that Fable reinterpreted the Starry Night as "an oil-well in a desert", while Grok went for a "Stalin statue in a prison camp" angle.
101.
by js8 3mo ago
People tried to distill a lot of things.. even oil.
102.
by js8 3mo ago
Yes, I think this idea, that it should be "magical", is what makes it feel scummy. (Apparently I am not alone https://news.ycombinator.com/item?id=48988475 ). It makes AI providers sound like snake oil salesmen, an
103.
by js8 3mo ago
Even if they published the conversation, Anthropic (and likely other closed model publisher) no longer provide logs of the actual thinking process. I more and more see LLMs as a kind of scam; not useless, but really just a big database of f
104.
by js8 3mo ago
I really like the cabin from Sol. It could be an art piece.
105.
by js8 3mo ago
I think you're correct, I'll just point out that compilers are also chaotic today and it is often accepted. A small change to source program can lead to big change in performance. It's especially apparent in high-level and de
106.
by js8 3mo ago
I still think it is (in the source-code generating mode) a compiler, just like LiquidHaskell is. (I haven't used LH but it essentially can automatically supply functions based on the type conditions you specify.) In my view, reasoning
107.
by js8 3mo ago
I would go further, it's tied to protestant work ethic. And there always was an alternative - gradual reduction of work hours rather than unemployment.
108.
by js8 3mo ago
No, you missed what makes AI bad in our culture. It doesn't just take your work, by your choice. It also takes your self-worth (because our culture is based on working being worthy) and for many people also a job (which is a material r
109.
by js8 3mo ago
The problem is the idea of the job. The idea that you're worthy of existence only if some other person certifies you're worthy of existence, based on how much they have been certified themselves. Of course this converges to a syst
110.
by js8 3mo ago
Ah you're right, thanks.
111.
by js8 3mo ago
Should have used quotes.. I didn't mean it in any formal sense. What I am saying the nature of unit in complex plane makes it difficult to intuitively imagine invertibility and determinants.
112.
by js8 3mo ago
I find it interesting that the counterexample uses C as a field. C is twisted and weird. Maybe the Jacobian Conjecture still holds for reals?
113.
by js8 3mo ago
I have enjoyed Craft (1979). Artistically might be dubious, it's a sort of genre/style parody but I think writing is better than the actual Minecraft movie.
114.
by js8 3mo ago
Turns out aliens love talking funny and safe balloons too.
115.
by js8 3mo ago
Yes, although I wish he would call it properly triage calculus (see https://treecalcul.us/specification/ ), because although the languages are almost identical in power, the original tree calculus and triage calculus ru
116.
by js8 3mo ago
Personally, I grew beyond this. I tried Common Lisp, Forth and Haskell. I enjoyed books On Lisp and Let Over Lambda. Now I think the best programming language is Barry Jay's Triage Calculus, which is close to combinatory logic or untyp
117.
by js8 3mo ago
Hate to break it to you, but every time you create a function, you're creating your own language, specific to the domain. I suspect what you're actually objecting to is a lack of referential transparency, which is a problem in man
118.
by js8 3mo ago
I think there should be "An Infinite Literature Contest", where the contestants would submit a formal grammar and the texts in the language would be judged for literary and other qualities.
119.
by js8 3mo ago
So you think U.S. would be better at airplane manufacturing had Boeing gone bankrupt at some point in the past? It's a pretty strong claim and I would like to see some theoretical justification, other than belief in the magical free ma
120.
by js8 3mo ago
They also say "Wider adoption of AI has made it more difficult to measure task-level productivity" I think there is a simple reason for that. If you automate something, you make the measureable/predictable thing faster. So th

More ›