dehsge

7 ms·

1.
by dehsge 2mo ago
It’s not going to go back to pre LLM times, it’s also not going to go to a generative ai utopia where we can turn off our brains and a model will understand every nuance of human existence without some from of defined guidance. Just like bl
2.
by dehsge 2mo ago
“It is the first step in sociological wisdom, to recognize that the major advances in civilization are processes which all but wreck the societies in which they occur:—like unto an arrow in the hand of a child. The art of free society consi
3.
by dehsge 4mo ago
So that is kind of the point of studying maths right? Why something in unsolvable or undecidable can be as important as the output of a theorem. Questions like these, fields medal level problems or Karp’s 21 NP-complete problem are problems
4.
by dehsge 4mo ago
For myself it was learning what a limit is in calculus, then learning about vector spaces, then learning about metric spaces and then learning about different topological spaces. Then I had to relearn how a limit worked. From a proof with e
5.
by dehsge 4mo ago
unify general relativity with quantum mechanics. The continuum hypothesis. The traveling salesman problem in polynomial time.
6.
by dehsge 4mo ago
At the same time if you imagine a machine that can associate different maths. Would said machine encounter undecidable statements more frequently? Would the rules of said machine have statements they themselves cannot prove by parameters se
7.
by dehsge 4mo ago
It’s not that. Consider the definition of the limit. The idea existed for a long time. Newton/Leibniz had the idea. That idea wasn’t formally defined until 134 years later with epsilon-delta by Cauchy. That it was accepted. (I know tha
8.
by dehsge 4mo ago
Yeah that’s true, I didn’t go into detail here. I appreciate the clarification.
9.
by dehsge 4mo ago
If you are in the US. Proportionate representation stopped completely with the Reapportionment Act of 1929. Subsequently the tail end of the gilded age and enacted in June 18, only 5months before the crash of oct 1929. Constitutionally the
10.
by dehsge 5mo ago
There’s a bit of a double edged sword here. Removal of taxes leads to more coupled private/government relationships. Where external interests fund politicians to protect their own monopolistic interests. That money needs to come from s
11.
by dehsge 6mo ago
Yeah that’s the trade off of this implementation. Lobste.rs already uses this implementation https://lobste.rs/about#invitations The comments are considerably better. I’m not even a member but get more out of reading those
12.
by dehsge 6mo ago
Because you have an initial user who invited the bots. The whole invite tree of this user can cull all invites given by the user who added bots.
13.
by dehsge 6mo ago
Members only comment blogs. Where you need an invite to comment also solves the problem. You need to know a real human to get access.
14.
by dehsge 7mo ago
Compilers can never be error free for non trivial statements. This is outlined in Rices theorem. It’s one of the reasons we have observability/telemetry as well as tests.
15.
by dehsge 8mo ago
There are some numbers that are uncomputable in lean. You can do things to approximate them in lean however, those approximates may still be wrong. Leans uncomputable namespace is very interesting.
16.
by dehsge 8mo ago
Most math books do not provide solutions. Outside of calculus, advanced mathematics solutions are left as an exercise for the reader.
17.
by dehsge 8mo ago
There are other bounds here at play that are often not talked about. Ai runs on computers. Consider the undecidability of Rices theorem. Where compiled code of non trivial statements may or may not be error free. Even an ai can’t guarantee
18.
by dehsge 10mo ago
LLMs are bounded by the same bounds computers are. They run on computers so a prime example of a limitation is Rices theorem. Any ‘ai’ that writes code is unable (just like humans) to determine if the output is or is not error free. This me
19.
by dehsge 11mo ago
There still maybe some variance at temperature 0. The outputted code could still have errors. LLMs are still bounded by the undecidable problems in computational theory like Rices theorem.
20.
by dehsge 1y ago
LLMs and its output are bounded by Rices theorem. This is not going to ensure correctness it’s just going to validate that the model can produce an undecidable result.