Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
jmorse3
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
4 ms
·
1.
▲
by
jmorse3
5mo ago
https://www.sigops.org/2026/can-llms-model-real-world-system... "Running leading LLMs across the eleven systems shows that LLMs are great at producing correct TLA+ syntax but struggle to ensure conformance and app
2.
▲
by
jmorse3
2y ago
Ensure you're building with DWARF5, and enable accelerator tables like .debug_names, which will allow debuggers to receive a pre-prepared index of the symbol names in the program (and thus it doesn't have to parse all the DWARF on