Can LLMs model real-world systems in TLA+? (sigops.org) | HN Screenshots

YHacker Newsscreenshots

Screenshot of sigops.org: Can LLMs model real-world systems in TLA+?

First screen, captured 5 months ago.

Looks similar

Screenshot of codelink.io: From LLM to AI Agent: What's the Real Journey Behind AI System Development?

From LLM to AI Agent: What's the Real Journey Behind AI System Development?(codelink.io)

120 points by codelink 1 year ago | 37 comments

Screenshot of lmsys.org: Deploying DeepSeek on 96 H100 GPUs

Deploying DeepSeek on 96 H100 GPUs (lmsys.org)

269 points by GabrielBianconi 1 year ago | 76 comments

Screenshot of martinfowler.com: DSLs Enable Reliable Use of LLMs

DSLs Enable Reliable Use of LLMs (martinfowler.com)

87 points by SirOibaf 3 months ago | 60 comments

Screenshot of boydkane.com: LLMs could control their host machines by exploiting inference engines

LLMs could control their host machines by exploiting inference engines (boydkane.com)

176 points by zdw 2 months ago | 84 comments

Screenshot of alperenkeles.com: LLMs could be, but shouldn't be compilers

LLMs could be, but shouldn't be compilers (alperenkeles.com)

104 points by alpaylan 8 months ago | 112 comments

Screenshot of allenai.github.io: Lumos: Learning Agents with Unified Data, Modular Design, and Open-Source LLMs

Lumos: Learning Agents with Unified Data, Modular Design, and Open-Source LLMs (allenai.github.io)

82 points by milliondreams 2 years ago | 7 comments