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…
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…
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…
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.
So you thing 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…
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.…
The problem is you can't really hoard products. Most products depreciate - it's a force of nature called entropy. I think the argument from symmetry still holds, but it leads into a different conclusion. Since products…
I think GP found it useful for this particular use case, as did I and my coworker who is even more enthusiastic about it (he calls it compressed human culture). And no, Google search (or Wikipedia) won't come close to…
"Fair" doesn't always mean according to everyone's preferences. I might want to have a full cake but getting a slice is fair.
Well there can be no consequences at T=0, but thanks to transparency, consequences can happen, by a collective decision, at T=1. Therefore having transparency is important on its own, it facilitates change towards…
You're wrong, it still matters. It's the first step, and it's an important step in maintaining fairness.
I don't know what your argument is. Maybe some US companies won't be financially viable - so what? I mean if it affects you, you have stake in those companies, fair enough. But it's not a geopolitical problem - most US…
Not only that, but it also relies on assumption that everything that LLM does cannot be factored into small reasoning core (something like Lean or Prolog, but in more modal/fuzzy logic) plus knowledge base (like…
That's not true, and anyway it's quite simplistic view of history.
Why do you care about geopolitical implications? (I don't see how it supports your argument, sorry.)
Yes, I did interpret "it" as referring to China, not US, in that sense I misread it. I agree that Great Famine was horrible. My main point was, I would take economic control over tanks and bombs (and actually dead…
You don't know what you're talking about. Russians occupied my country, killed almost no one, and yet it was far worse than all the economic damage caused by Western neoliberalism. US imperialism has been a blight to…
So was the computational capabilities of Playstation 2. It could be used to simulate nuclear weapons, I heard.
I found it kinda funny he's not on the list; he should be the first there, without him Emacs would probably be a footnote in SW history.
Do you want to kill them? :-) Seriously, this movement already had its Marx - Richard Stallman. I think the "leaders" will appear over time, as with any socialist movement, they are naturally bottom up and leaders only…
Sorry, it's not engineering, it's cargo-culting as engineering. Engineering is based on improved formal understanding of the process, not magical incantantions. And yes I do use these things. It's like saying…
> The EU makes a lot more sense when you understand it's a neoliberal institution I think that's a perfect summary. As an aside, regarding what I would like EU to do in opensource - when American government writes some…
Yes you can learn the harness, that's a tool. But it's not the important part. I am not anthroporphizing them. I am just saying people are a better analogy. > seems like developers experienced with using coding agents…
No, the more appropriate analogy would be that LLMs (reasoning agents would be better term, as they are no longer just an LLMs) are new beings rather than new tools. A new tool can be ultimately understood, and has a…
I am old enough to remember what happened to GCC. It was also developed by a closed group of maintainers, because "it couldn't work" as a bazaar-style development. Then EGCS fork happened and became more successful. I…
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…
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…
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…
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.
So you thing 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…
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.…
The problem is you can't really hoard products. Most products depreciate - it's a force of nature called entropy. I think the argument from symmetry still holds, but it leads into a different conclusion. Since products…
I think GP found it useful for this particular use case, as did I and my coworker who is even more enthusiastic about it (he calls it compressed human culture). And no, Google search (or Wikipedia) won't come close to…
"Fair" doesn't always mean according to everyone's preferences. I might want to have a full cake but getting a slice is fair.
Well there can be no consequences at T=0, but thanks to transparency, consequences can happen, by a collective decision, at T=1. Therefore having transparency is important on its own, it facilitates change towards…
You're wrong, it still matters. It's the first step, and it's an important step in maintaining fairness.
I don't know what your argument is. Maybe some US companies won't be financially viable - so what? I mean if it affects you, you have stake in those companies, fair enough. But it's not a geopolitical problem - most US…
Not only that, but it also relies on assumption that everything that LLM does cannot be factored into small reasoning core (something like Lean or Prolog, but in more modal/fuzzy logic) plus knowledge base (like…
That's not true, and anyway it's quite simplistic view of history.
Why do you care about geopolitical implications? (I don't see how it supports your argument, sorry.)
Yes, I did interpret "it" as referring to China, not US, in that sense I misread it. I agree that Great Famine was horrible. My main point was, I would take economic control over tanks and bombs (and actually dead…
You don't know what you're talking about. Russians occupied my country, killed almost no one, and yet it was far worse than all the economic damage caused by Western neoliberalism. US imperialism has been a blight to…
So was the computational capabilities of Playstation 2. It could be used to simulate nuclear weapons, I heard.
I found it kinda funny he's not on the list; he should be the first there, without him Emacs would probably be a footnote in SW history.
Do you want to kill them? :-) Seriously, this movement already had its Marx - Richard Stallman. I think the "leaders" will appear over time, as with any socialist movement, they are naturally bottom up and leaders only…
Sorry, it's not engineering, it's cargo-culting as engineering. Engineering is based on improved formal understanding of the process, not magical incantantions. And yes I do use these things. It's like saying…
> The EU makes a lot more sense when you understand it's a neoliberal institution I think that's a perfect summary. As an aside, regarding what I would like EU to do in opensource - when American government writes some…
Yes you can learn the harness, that's a tool. But it's not the important part. I am not anthroporphizing them. I am just saying people are a better analogy. > seems like developers experienced with using coding agents…
No, the more appropriate analogy would be that LLMs (reasoning agents would be better term, as they are no longer just an LLMs) are new beings rather than new tools. A new tool can be ultimately understood, and has a…
I am old enough to remember what happened to GCC. It was also developed by a closed group of maintainers, because "it couldn't work" as a bazaar-style development. Then EGCS fork happened and became more successful. I…