@lmstr.bsky.social
lemmster.de
@lemmster, @lmstr, or @lemmy elsewhere
@lemmster, @lmstr, or @lemmy elsewhere
Für diese Folge hätte mein Ambiente nicht besser sein können.
cid:704998CA-8594-4068-8AD2-738B9AE62CC9
cid:704998CA-8594-4068-8AD2-738B9AE62CC9
June 26, 2025 at 5:29 PM
Für diese Folge hätte mein Ambiente nicht besser sein können.
cid:704998CA-8594-4068-8AD2-738B9AE62CC9
cid:704998CA-8594-4068-8AD2-738B9AE62CC9
Technically, it was NVIDIA who sponsored my work on TLC+LLMs.
June 5, 2025 at 5:10 PM
Technically, it was NVIDIA who sponsored my work on TLC+LLMs.
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
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
More on why syntax has at least become a red herring: bsky.app/profile/hill...
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
Cheng is a long-time TLA+ expert. There is still lots to do to really democratize TLA+ with AI.
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
I scratched my own itch and got the MCP server launching directly from within my VSCode extension. Implementation at: github.com/tlaplus/vsco...
Related: www.reddit.com/r/mcp/commen...
How we built open extensibility into VS Code’s agent mode with MCP
www.reddit.com
May 15, 2025 at 1:51 AM
Related: www.reddit.com/r/mcp/commen...
"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
"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
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
We were busy recording all the talks so you can watch them within 36 hours after the event at conf.tlapl.us/2025-etaps/ 😊
Hard to answer without knowing what the book is about?
January 4, 2025 at 12:55 AM
Hard to answer without knowing what the book is about?
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
As Jack's blog post points out, Fizzbee is programming. Therefore, it shares more similarities with comparable approaches, such as P.
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
My comparison stops at: Both allow you to define a state machine, check invariants and temporal properties, and come with a model checker.