zlacker

[parent] [thread] 3 comments
1. Within+(OP)[view] [source] 2026-01-12 14:22:40
It should be impossible for an LLM to generate invalid code, as long as you force it to only generate tokens that the language allows.
replies(1): >>measur+s4h
◧
2. measur+s4h[view] [source] 2026-01-17 01:49:10
>>Within+(OP)
Tokens do not encode semantics.
replies(1): >>Within+DCh
◧◩
3. Within+DCh[view] [source] [discussion] 2026-01-17 09:32:44
>>measur+s4h
You can choose which token to sample based on language semantics. You simply don't sample invalid ones. So the language should be restrictive on what tokens it allows enough that invalid code is impossible.
replies(1): >>SkiFir+xQh
◧◩◪
4. SkiFir+xQh[view] [source] [discussion] 2026-01-17 12:25:54
>>Within+DCh
> You can choose which token to sample based on language semantics

Can you though?

> the language should be restrictive on what tokens it allows

This is a restriction on the language syntax, not its semantics.

[go to top]