inimino

9 ms·

31.
by inimino 9mo ago
The fact that there are a ton of replies trying to argue against this says a lot about HN. Contrarianism can become a vice if taken too far.
32.
by inimino 9mo ago
Is it just me or does anyone else get strong LLM vibes from the way this is written?
33.
by inimino 9mo ago
Knowing which problem to copy and paste into the model is also a skill.
34.
by inimino 9mo ago
I am, and yes, that's what a statistical model is.
35.
by inimino 9mo ago
The metaphor works only if you already understand the maths.
36.
by inimino 10mo ago
Not for long.
37.
by inimino 10mo ago
I both agree and disagree. Yes, AI will democratize access to formal methods and will probably increase the adoption of them in areas where they make sense (e.g. safety-critical systems), but no, it won't increase the areas where forma
38.
by inimino 10mo ago
> I convert that to digital time in my head What? They are the same thing.
39.
by inimino 1y ago
> does this include the training data and fine-tune content? No, I'm excluding that because I'm responding to the post which starts out with the example of: [prompt containing obvious exploit] -> [code containing obvious exp
40.
by inimino 1y ago
The most "shocking" thing to me in the article is that people (apparently) think it's acceptable to run a system where content you've never seen can be fed into the LLM when it's generating code that you're put
41.
by inimino 1y ago
What are you doing with your knives that washing them is a chore? Prep the food, run water on it, and back on the magnet bar it goes.
42.
by inimino 1y ago
Technique. Pros use a slicing motion that moves the knife through the food before it detaches, home cooks use 5% of the blade and all the cucumber rounds are stuck to same place on the side of the middle of the knife.
43.
by inimino 1y ago
People knock "English as a programming language", but in my opinion this is the whole value of AI programming: by the time you've expressed your design and constraints well enough that an LLM can understand it, then anyone ca
44.
by inimino 1y ago
"Action" is a noun. You may be interested in the verb "to act". If you are an AI, you must have been trained on some sad corporate dataset.
45.
by inimino 1y ago
For one thing, because I watch the AI and ML categories on arxiv.org.
46.
by inimino 1y ago
If the solution is ever more manuscripts that solve no interesting problems and that nobody will ever read, let's find another solution.
47.
by inimino 1y ago
Just because you don't know how does not mean that we can't.
48.
by inimino 1y ago
...which you always have.
49.
by inimino 1y ago
No, no, no. Each of them gives you information.
50.
by inimino 2y ago
All I have seen is that four people worked for the party while being paid by the EU. Nothing like routing money to advertising campaigns or anything that would actually swing an election. And the headlines are all about embezzlement, not el
51.
by inimino 2y ago
This is an embezzlement case. No-one tampered with election results, so can you explain how there is any logic to your argument?
52.
by inimino 2y ago
That's a potential outcome of any increase in training efficiency. Which we should expect, even from prior experience with any other AI breakthrough, where first we learn to do it and then we learn to do it efficiently. E.g. Deep Blue
53.
by inimino 2y ago
You can't but the transistor-based approach is the inefficient one, and transistors are pretty good at efficiently doing logic, so either there's no possible efficient solution based on deterministic computation, or there's t
54.
by inimino 2y ago
Inference is already wasteful (compared to humans) but training is absurd. There's strong reason to believe we can do better (even prior to having figured out how).
55.
by inimino 2y ago
Right.
56.
by inimino 2y ago
I'll have to refer you to my forthcoming paper for the full argument, but basically, humans (and all animals) experience surprise and then we attribute that surprise to a cause, and then we update (learn). In ANNs we backprop uniform
57.
by inimino 2y ago
And in case it isn't obvious, with AI "companionship" models and such, this is about to get a lot worse as the cost of the string-along goes to zero.
58.
by inimino 2y ago
I have a paper coming up that I modestly hope will clarify some of this. The short answer should be that it's obvious LLM training and inference are both ridiculously inefficient and biologically implausible, and therefore there has to
59.
by inimino 2y ago
This reminds me of a rule I have for naming things in code (functions, variables, etc). Say you add a function, and then the first time you call that function, you call it by a different name. Don't fix the function call to match the o
60.
by inimino 2y ago
The person who wrote both the original and new versions isn't qualified to say one is better than the other?

More ›