seeknotfind

5 ms·

1.
by seeknotfind 21d ago
I would worry more about 5D chess or 6D and even 7D chess. This article talks about teaching models to be good and methods that could train goodness, but it sounds like there are some unsolved problems to graduate to 8D+ chess.
2.
by seeknotfind 1mo ago
Is this supposed to be scary or amazing?
3.
by seeknotfind 2mo ago
Wow. This is incredible. Turning the entire field of mathematics into a formalized and connected system. An index of mathematical understanding. All fields will undergo this change!!! My man Terrance Tao, I hope to contribute to your sympho
4.
by seeknotfind 2mo ago
100%. Context is big for AI, but it's nothing compared to everything a human can learn. If you efficiently represent everything in context, it may be many papers, but if AI is actively working through proofs, it will quickly fill up. T
5.
by seeknotfind 3mo ago
We are?
6.
by seeknotfind 4mo ago
If you're calling this across translation units, the calling convention will come with a performance penalty, but boy have we come full circle since pre-ANSI C required you to pass args as a struct. Much love - wish the language requir
7.
by seeknotfind 4mo ago
You can click on that to see more detail :)
8.
by seeknotfind 6mo ago
"I'm sorry". What do HN readers think about how this inclusion changes the meaning of the rest of the email?
9.
by seeknotfind 7mo ago
Did you ever try multiple copies?
10.
by seeknotfind 7mo ago
They're are plenty of mods that inject AI into games, like Skyrim. Though in order for a game to have LLMs and scale to a shipping audience without a subscription, you would want to run them locally. The real technical blocker is perfo
11.
by seeknotfind 8mo ago
Very cool. Can't wait to see what's next with this project! Congrats on the huge scale of tests/examples as well.
12.
by seeknotfind 8mo ago
Thanks, yeah, I did see some of the pure C++ types getting converted. Though it makes a lot of sense why you had to go with shared_ptr for generic inductive types. Have you considered combinatorial testing? Test code generation for each sam
13.
by seeknotfind 8mo ago
From tests/basics/levenshtein/levenshtein.cpp: struct Ascii { std::shared_ptr<Bool0::bool0> _a0; std::shared_ptr<Bool0::bool0> _a1; std::shared_ptr<Bool0::bool0> _a2; std::share
14.
by seeknotfind 9mo ago
> Composition is like applying a permutation array to another Composing injective functions is like applying a permutation array to another.
15.
by seeknotfind 9mo ago
I bought several of these and give them as gifts. Unix Pipe, Expansion Pack, and PUNK0 are my favorites.
16.
by seeknotfind 9mo ago
Yeah, from the title, it sounds like perhaps the entire operation is differentiable and therefore trainable as a whole model and that such training is done. However, upon close inspection, I can't find any evidence that more is done th
17.
by seeknotfind 10mo ago
Yeah, it sounds platonic the way it's written, but it seems more like a hyped model compression technique.
18.
by seeknotfind 10mo ago
I suspect that once quantum computers actually scale up so that you can play with them, we'll find all sorts of interesting things to do with them. However, even now, you can imagine that if quantum computers were small enough, it woul
19.
by seeknotfind 10mo ago
The last digit of pi doesn't exist since it's irrational. Chaitan's constant, later busy beaver numbers, or any number of functions may be uncomputable, but since they are uncomputable, I'd be assuming that their realiza
20.
by seeknotfind 10mo ago
Do you mean like ghosts or like quantum randomness and Heisenberg's uncertainty principle? We cannot compute exactly what happens because we don't know what it is, and there's randomness. Superdeterminism is a common cop out
21.
by seeknotfind 10mo ago
As the simplest theory, my default position is the universe is computable and that everything in the universe is computable. Note that they are not the same thing. Some intuition: 1. If the universe contains an uncomputable thing, then you
22.
by seeknotfind 10mo ago
I'm looking forward to seeing everyone coming up together, creating better fonts for free, and wiping out any of those profits. Is Monotype trying to destroy their own industry, or do they really think this will work?
23.
by seeknotfind 10mo ago
How many times does the rate need to be increased 10x before it's a problem?
24.
by seeknotfind 10mo ago
Yeah, people tend to add rather than improve. It's possible to add into lower levels without breaking things, but it's hard. Growing up as a programmer, I was taught UNUX philosophy as a golden rule, but there are sharp corners on
25.
by seeknotfind 10mo ago
"It’s not likely to be something you’ll ever have at home" Pessimistic much?
26.
by seeknotfind 11mo ago
Thousand of hours on this. Love it.
27.
by seeknotfind 11mo ago
It's nice that there is only a few weird behaviors produced. Often use-after-free leads to so many different random bugs, you might gorble a hubalu.
28.
by seeknotfind 1y ago
"Xia" would map to a single character (code point) in Chinese. For instance, in simplified Chinese, it could be 下 (xia, meaning down), 侠 (martial arts - like the xia in wuxia), or any number of other homophones. Since the characte
29.
by seeknotfind 1y ago
If you've seen Steve Martin's The Jerk, you'd know he becomes a real jerk in the modern sense during the movie.
30.
by seeknotfind 1y ago
I didn't see the con explicitly in the comments. When someone adds a file, they'll have trouble figuring it out why it's not visible in git, or they may not realize an important file is missing if they are adding multiple.

More ›