Hacker News Reader

kerwioru9238492on Kev: Tiny Jev-like family of decision models built on top of Qwen3.5

https://typesafe.ai/legal/privacy-policy

In their privacy policy they say

We (1) will not train or fine tune any artificial intelligence or machine learning models on Input, and (2) will not disclose any Input to a third party other than our service providers.

kerwioru9238492on What Do Gödel's Incompleteness Theorems Mean?

My understanding is that for any system of axioms strong enough to encode arithmetic, you can have at most two of these three properties:

1. Complete (for any well formed statement, the axioms can be used to prove either it or its negation)

2. Consistent (can't arrive at contradictory statements ~ arriving at a both a statement and its negation )

3. The set of axioms is enumerable ~ you can write a program that lists them in a defined order (since the workaround for completeness can be just adding an axiom for the cases that are unproven in your original set)

If my understanding is correct, I believe your explanation is missing the third required property.

It's also important to point out that if we cant prove a statement or its negation (one of which must be true) then we know there are true statements that are unprovable. This is a much stronger of a finding than "Godel's first incompleteness theorem says that in any axiomatic system (sufficiently complex) there are theorems that are neither always true nor always false. "

kerwioru9238492on Simply Scheme: Introducing Computer Science (1999)

At Brown university there are 3 intro courses you can choose from. Two use functional programming languages.

kerwioru9238492on The problem with LLMs isn't hallucination, it's context specific confidence

One issue right now is that in a lot of ML benchmarks models get rewarded for guessing multiple choice questions due to the probability of being right. In addition to that, people have tuned models via RLHF to be very confident because people think confident responses sound good. These two paired together resembles bluffing because models will guess at answers very confidently rather than saying "I don't know".

kerwioru9238492on AGI's Moving Finish Line

“When bubbles happen, smart people get overexcited about a kernel of truth,” Altman said. “If you look at most of the bubbles in history, like the tech bubble, there was a real thing. Tech was really important. The internet was a really big deal. People got overexcited.”