kerwioru9238492

4 ms·

1. 1.▲
   by kerwioru9238492 5d ago

   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 thi
2. 2.▲
   by kerwioru9238492 4mo ago

   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)
3. 3.▲
   by kerwioru9238492 8mo ago

   At Brown university there are 3 intro courses you can choose from. Two use functional programming languages.
4. 4.▲
   by kerwioru9238492 1y ago

   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 peop
5. 5.▲
   The problem with LLMs isn't hallucination, it's context specific confidence(signalfire.com)

   4 points by kerwioru9238492 1y ago|4 comments
6. 6.▲
   by kerwioru9238492 1y ago

   “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