js8

37 ms·

211.
by js8 6mo ago
I recently came across this presentation https://youtu.be/QxkRf-xSfgI , and it changed my view of AI quite significantly. (There is also a paper https://arxiv.org/html/2510.12066v2 .) The fundamental id
212.
by js8 6mo ago
Thanks, actually https://en.wikipedia.org/wiki/Elementary_function confirms your claim. Nevertheless, it is a horrible definition. Mathematicians have often taken care to define things as close to everyday intuition as
213.
by js8 6mo ago
I got curious and tried: https://claude.ai/share/3af7bd6a-15f8-4533-9dc3-a44adef255b3
214.
by js8 6mo ago
Should it be relevant though? It seems to me like criminalization of thoughts. Even if they externalized into a diary.
215.
by js8 6mo ago
When Agile came about to company (large American corp) I work for, around 2015 (arguably quite late), I was quite skeptical. In my opinion, a decent waterfall (basically a sort of compromise) worked pretty well, and I didn't like fake
216.
by js8 6mo ago
I would agree, it makes them anything but elementary. I am honestly not even sure if there is a finite constructible basis of the functions that can express any solution of single-variable integer polynomials. And for multivariate polynomia
217.
by js8 6mo ago
The proof that free markets are efficient (even in the narrow sense economists use this word) relies on an assumption of perfect information. This has been known at least since Akerlof. The Misesian folks are a lost cause, IMHO. They'r
218.
by js8 6mo ago
That's quite interesting. Few ideas that come to my mind when reading this: 1. One should also add absolute value (as sqrt(x*x)?) as a desired function and from that min, max, signum in the available functions. Since the domain is comp
219.
by js8 6mo ago
Yes, I agree, except it's not irrelevant whether they built functional nuke or not, because this is used as a justification for war. (Not to mention, as a justification for war, "they could have built a nuke" is even more bar
220.
by js8 6mo ago
Read the last two lines of that interview. Khamenei interpreted Islam as forbidding even building the bomb, and he is the moral authority on this, like it or not. Japan could also have built a nuclear bomb, but chose not to. They decided th
221.
by js8 6mo ago
> It exists to exchange a future nuclear war with Iran with a conventional war today. That's just ridiculous. Nobody can predict the future, so trading uncertain war in the future for a certain war today is completely irrational. (A
222.
by js8 6mo ago
Personally, I think we're using LLMs wrong for programming. Computer programs are solutions to a given constraint logic problem (the specs). We should be using LLMs to translate from (fuzzy) human specifications to formal specification
223.
by js8 6mo ago
There is an interesting on-going research https://dnhkng.github.io/posts/sapir-whorf/ that shows LLMs think in a language-agnostic way. (It will probably get posted to HN after it is finished.)
224.
by js8 6mo ago
Ah, there's your fallacy - you seem to think that when someone has a legal right to exercise some right, that also means they have a freedom (in the practical sense) to exercise that right.
225.
by js8 6mo ago
Actually they kinda do, for example worker cooperatives. Not common, have some issues (different than those claimed by propaganda), but they do exist. (If we understand "marxist" as somewhat in favor of worker emancipation instead
226.
by js8 6mo ago
No, that's another sort of misconception, also expressed in another comment by WalterBright, which conveniently ignores the reality of most jobs. It glosses over the fact that employers exercise control over the social relations requir
227.
by js8 7mo ago
Yes, that's what people tell themselves to deal with it psychologically. That it's just a job, not a community, and you better not make friends in the workplace (despite spending majority of your life there). And that when you&#x2
228.
by js8 7mo ago
Actually, it is. You have been blinded by capitalism to consider it ethical. The tribes usually treat the members as a family. While kicking someone from a tribe can happen, it's considered to be a harsh punishment. In a tribe, when ha
229.
by js8 7mo ago
No it wasn't. Look at Joseph Stiglitz (Globalization and Its Discontents) and Ha-Joon Chang (Bad Samaritans, Kicking Away the Ladder) for counter-examples.
230.
by js8 7mo ago
The AI would build a proof of correctness, which would be then verified in a proof checker (not AI).
231.
by js8 7mo ago
> Databases and web browsers are too complicated to build a full-fidelity mathematical model for. I disagree - thanks to Curry-Howard isomorphism, the full-fidelity mathematical model of a database or web browser are their binaries thems
232.
by js8 7mo ago
> There's no doubt, I think, testing will remain important and possibly become more important with more AI use, and so better testing is helpful, PBT included. Given Curry-Howard isomorphism, couldn't we ask AI to directly prov
233.
by js8 7mo ago
The big flagship AI models aren't just LLMs anymore, though. They are also trained with RL to respond better to user requests. Reading a lot of text is just one technique they employ to build the model of the world. I think there are t
234.
by js8 7mo ago
I only have experience with Claude Code. If it goes on a spree, the task you are giving it is too big IMHO. It's not a SAT solver (yet) and will have trouble to precisely handle arbitrarily large problems. So you have to lead it a bit,
235.
by js8 7mo ago
Feel free to ask Claude about any other contradictory request. I use Claude Code and it often asks clarifying questions when it is unsure how to implement something, or or autocorrects my request if something I am asking for is wrong (like
236.
by js8 7mo ago
> AI tends to accept conventional wisdom. Because of this, it struggles with genuine critical thinking and cannot independently advance the state of the art. Of course! But that's what makes them so powerful. In 99% of cases that&#x
237.
by js8 7mo ago
I am not asking anybody to be an expert in both (although I am sure such people exist, however rare); I am saying people should ideally have some skill in both. Also, people can collaborate, and learn new skills. If you're bottle-necke
238.
by js8 7mo ago
Technical Supervision of the Investor is a thing, for a reason. The fact that IT industry doesn't have it is ridiculous.
239.
by js8 7mo ago
Don't wait for feedback from "real users", become a user! This tayloristic idea (which has now reincarnated in "design thinking") that you can observe someone doing a job and then decide better than them what they n
240.
by js8 7mo ago
> LLMs have lowered the bar for the unskilled person to create shit software. So? Demand the source code. Run your own AI to review the quality of the code base. The contracting company doesn't want to do it? Fine, find one that wil

More ›