Viewing profile — dehsge

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 e…

“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…

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 …

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. T…

unify general relativity with quantum mechanics. The continuum hypothesis. The traveling salesman problem in polynomial time.

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 h…

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 eps…

Yeah that’s true, I didn’t go into detail here. I appreciate the clarification.

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…

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 …

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 …

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.

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.

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.

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 …

Most math books do not provide solutions. Outside of calculus, advanced mathematics solutions are left as an exercise for the reader.

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 statemen…

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)…

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 …

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.