banner
lmstr.bsky.social
@lmstr.bsky.social
lemmster.de

@lemmster, @lmstr, or @lemmy elsewhere
Für diese Folge hätte mein Ambiente nicht besser sein können.

cid:704998CA-8594-4068-8AD2-738B9AE62CC9
June 26, 2025 at 5:29 PM
Technically, it was NVIDIA who sponsored my work on TLC+LLMs.
June 5, 2025 at 5:10 PM
More on why syntax has at least become a red herring: bsky.app/profile/hill...
Wow LLMs are pretty good at reading and explaining TLA+ error traces (and syntax errors). This could be real big for learners

Claude also did a great job of converting a spec from using 1 server to using N servers, an annoying bit of finicky boilerplate it handled well
June 3, 2025 at 9:24 PM
Cheng is a long-time TLA+ expert. There is still lots to do to really democratize TLA+ with AI.
May 30, 2025 at 12:58 PM
I scratched my own itch and got the MCP server launching directly from within my VSCode extension. Implementation at: github.com/tlaplus/vsco...
Expose TLA+ language model tools via Model Context Protocol (MCP) server by lemmy · Pull Request #379 · tlaplus/vscode-tlaplus
Add support for the Model Context Protocol (MCP) which enables TLA+ language model tools to be used by editors that implement MCP but don't support VS Code's native LanguageModelTool API (c...
github.com
May 22, 2025 at 4:37 PM
"Je n’ai fait cette lettre-ci plus longue que parce que je n’ai pas eu le loisir de la faire plus courte." Pascal
May 13, 2025 at 10:07 PM
We were busy recording all the talks so you can watch them within 36 hours after the event at conf.tlapl.us/2025-etaps/ 😊
2025 - TLA+ Community Event :: TLA+ Community Event & Conference
conf.tlapl.us
May 6, 2025 at 10:16 PM
Hard to answer without knowing what the book is about?
January 4, 2025 at 12:55 AM
As Jack's blog post points out, Fizzbee is programming. Therefore, it shares more similarities with comparable approaches, such as P.
December 5, 2024 at 7:00 PM
My comparison stops at: Both allow you to define a state machine, check invariants and temporal properties, and come with a model checker.
December 5, 2024 at 6:50 PM