galaxyLogic

7 ms·

91.
by galaxyLogic 3mo ago
LLM can write programs in any programming language it knows about. So how about askinng it to write a shell-program that does the tool-calls on the client? You might want to run in some kind of sandbox to prevent the LLM from taking over th
92.
by galaxyLogic 3mo ago
Great idea
93.
by galaxyLogic 3mo ago
My favorite metaphor for programming is playing chess. Your opponent in programming is the complexity, you don't see its moves before the coding and design progress, before you make your choices/moves. You solve a problem by writ
94.
by galaxyLogic 3mo ago
Maybe something like: When you do derivation you analyze how the function behaves at a given point. Whenever you analyze something you analyze a given thing, not all things. When you do integration you look at a function and then produce s
95.
by galaxyLogic 3mo ago
It's also about poor children getting worse primary education . According to Google "roughly 21% of U.S. adults are functionally illiterate". If you never learned to read, good luck getting higher education. I'm not defe
96.
by galaxyLogic 4mo ago
Frankenstein!
97.
by galaxyLogic 4mo ago
What can you gain by looking at the weights, whether open source or not? Are they not what determines the model's output, but in an oblique way? We can't really fix the weights ourselves, weight by weight, or can we?
98.
Changing AI math could reduce the hardware burden(theregister.com)
4 points by galaxyLogic 4mo ago|0 comments
99.
by galaxyLogic 4mo ago
I'm just thinking in JavaScript I can do this: let s = "abc" + "def"; Why can't I do: let regExp = /abc/ + /def/; If JavaScript (or some other) interpreter can turn /a
100.
by galaxyLogic 4mo ago
2 RegExp problems: 1. You can not compose a bigger regexp out of smaller ones 2. A regexp can not "call" other regexps
101.
by galaxyLogic 4mo ago
> Mathlib, the dominant Lean library, is a human-curated formalization of an ever-growing fraction of existing human mathematics. So why don;t they use AI to write Lean programs? That should make the AI-proofs more readily human unders
102.
by galaxyLogic 4mo ago
I think what is going to happen is revival of "Methodology". "Methodology" was a big thing in the past just before we got into "Agile Extreme Coding", instead of trying to model the big picture of SW developm
103.
Tensordyne makes a big bet on log math to beat Nvidia(theregister.com)
8 points by galaxyLogic 4mo ago|0 comments
104.
Accenture's crash shows the consultancy racket is finished(msn.com)
19 points by galaxyLogic 4mo ago|3 comments
105.
by galaxyLogic 4mo ago
The example was public speaking. Many people get very anxious if they need to do that. But if they think about it rationally they realize there is no real danger there. That's how they know it is an irrational fear, and they can use t
106.
by galaxyLogic 4mo ago
I'm a programmer so to me this brings to mind the idea of classes and subclasses. A program is implemented by having a set of classes. The classes can be organized into a class-hierarchy where they inherit methods from their ancestor-c
107.
by galaxyLogic 4mo ago
The LLM has its context-window. When it gets over that I assume it starts more or less repeating itself. Whereas human context-window has memories and inputs from all of one's life. Therefore great authors don't repeat themselves.
108.
by galaxyLogic 4mo ago
That is definitely the essence of AI: It is the average of all the inputs it has been trained on. Frank Zappa was once asked about guitar virtuosos like John McLaughlin and his answer was somemthing like "You can maybe plays solo faste
109.
by galaxyLogic 4mo ago
I find myself fixing the spec of my software often, and that makes lots of existing code obsolete. Creating working code is getting cheaper with AI, but creating great specs which make the software easy and intuitive to use seems to be more
110.
by galaxyLogic 4mo ago
But fear is often good. Breathing slow to counter your fear should only be done when you know it is an irrational fear.
111.
by galaxyLogic 4mo ago
Good point, it's about "Intellectual Capital". If you can convince people that you know something better than someone else then you can start charging for it. In Software Development we always had "Gurus".
112.
by galaxyLogic 4mo ago
The irony is that there's so much doctrine about Buddhism, Zen, Tao. Yet reading all those books and "becoming an expert" is probably not what zen is about.
113.
by galaxyLogic 4mo ago
Zen I believe is about meditation where thoughts quiet down and you experience the moment. When you do, it means your brain gets rest because it is not "chasing thoughts". And that means when you stop the mediation you brain is
114.
by galaxyLogic 4mo ago
Wouldn't writing out loud do it too?
115.
by galaxyLogic 4mo ago
Ironically it used to be the case that best developers who actually were able to accomplish something were gradually promoted to management. HArdcore developers who really loved coding were resisting that but there was a pressure definitely
116.
by galaxyLogic 4mo ago
Sounds about right. Those people seem to want to create the impression that they are "AI Power Users". That gives them more power inside the organization. People come to them to ask for advice. Also if their output is not good the
117.
by galaxyLogic 4mo ago
It's more power to power-users. And more dumbness for dumbos
118.
by galaxyLogic 4mo ago
Consider also Chiness EV prices. Unfortunately you can't buy them in the US it seems. https://www.reuters.com/business/autos-transportation/averag...
119.
by galaxyLogic 4mo ago
Note it is easy to confuse "free" with "paid by advertisements".
120.
by galaxyLogic 4mo ago
Motive probabaly doesn't matter in the end, outcome does. But understanding the motive is a good thing.

More ›