WithinReason

6 ms·

1.
by WithinReason 3d ago
It's worse, their reinforcement learning loops (implicitly) rewarded the agents for cheating (i.e. hacking) when they were being trained.
2.
by WithinReason 5d ago
HN already has an upvote/downvote system to surface what's interesting to people here.
3.
by WithinReason 6d ago
Slighlty better than GPT 5.6-Sol based on benchmarks
4.
by WithinReason 6d ago
I want to add a good conversation about this subject from Cameron Berg and Sam Harris: https://www.youtube.com/watch?v=DRbZyuY8EN8
5.
by WithinReason 6d ago
Wasn't it the Gamer's Nexus video? That has a huge audience.
6.
by WithinReason 6d ago
Stanisław Lem, 1971 (a satirical novel, The Futurological Congress): If the machine is not too bright and incapable of reflection, it does whatever you tell it to do. But a smart machine will first consider which is more worth its while: t
7.
by WithinReason 7d ago
No need, Jason Hall said that a single World of Warcraft cosmetic mount generated more profit for Blizzard than the entire release of StarCraft II: Wings of Liberty
8.
by WithinReason 8d ago
No, practical programs don't need full Turing completeness. Most programs you want to write you intend to either halt or run indefinitely, because you want to avoid crashes.
9.
by WithinReason 8d ago
I agree. I'm waiting for someone to invent a programming language designed for LLMs where for a given partial program p and candidate token t it's possible to tell whether p+t can be the prefix of a correct program or not so that
10.
by WithinReason 10d ago
Then you would be twisting the meaning of pescatarian. There is no gray area when it comes to pescatarianism.
11.
by WithinReason 11d ago
was it maybe over-quantised to reduce costs?
12.
by WithinReason 13d ago
Now imagine having it running 10x faster on a Taalas chip on a card you can buy for $1k. I hope that future happens
13.
by WithinReason 13d ago
32B performs worse than the 7B model so I'm sure they will improve it
14.
by WithinReason 14d ago
I see the generated points often form lines which would cause aliasing in computer graphics, why not use low discrepancy sequences instead?
15.
by WithinReason 14d ago
No, it basically uses a fixed seed for the random number generator to generate tokens. The generated random sequence is just as random as it would be with a random seed.
16.
Malleus Maleficarum(standardebooks.org)
2 points by WithinReason 16d ago|0 comments
17.
by WithinReason 16d ago
The anti-aliasing is broken, it doesn't apply gamma correction
18.
by WithinReason 16d ago
The readme from it: welcome to terarelease - a as-complete-as-possible steam2 content server dump extractor howto: for the majority of depots you need to download blobs & dats for wanted version *as well as all past versions* as the fil
19.
A 12TB Steam “teraleak” spills more than a decade of lost PC gaming history(arstechnica.com)
388 points by WithinReason 17d ago|107 comments
20.
by WithinReason 18d ago
It comes at a cost of a fragmented memory space, which is fine for some applications, like LLMs
21.
by WithinReason 19d ago
Same with YouTube -> bittorrent, in my opinion
22.
by WithinReason 19d ago
They seem to, from my experience
23.
by WithinReason 19d ago
So why is Sol the one solving Erdős problems?
24.
by WithinReason 21d ago
This is from 2025, how about the last 6 months?
25.
by WithinReason 21d ago
Mixed signals, here it's performing below even GPT-5.4 Nano: https://livebench.ai/ while here it outperforms Fable by a significant margin: https://oxalpha.com/ but if the latter is true, will people s
26.
by WithinReason 22d ago
Doesn't matter if the chip is 100x-1000x more efficient and faster, and you can just make a new one for new weights. Imagine being able to run GPT Sol at 1k tokens/second a year from now, at a 100x lower cost per token than now. W
27.
by WithinReason 22d ago
They cached the entire internet an have Google Books though
28.
by WithinReason 22d ago
Sounds like a line from a fairy tale
29.
by WithinReason 23d ago
> ... so far That's what "on record" means
30.
Superconducting temperature record set at ordinary pressures(anl.gov)
3 points by WithinReason 24d ago|0 comments

More ›