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

108 points by mad 5 months ago | 27 comments

Show HN: VS Code Agent Kanban: Task Management for the AI-Assisted Developer(appsoftware.com)

83 points by gbro3n 7 months ago | 41 comments

RubyLLM: A Ruby framework for all major AI providers(rubyllm.com)

439 points by doener 4 months ago | 75 comments

Documentation homepage for RubyLLM, an open-source Ruby framework offering a unified API across major AI providers for chatbots, agents, and RAG apps.

Building your own CLI coding agent with Pydantic-AI(martinfowler.com)

179 points by vinhnx 1 year ago | 32 comments

A Tale of Two AI Failures: Debugging a Simple Bug with LLMs(bitmovin.com)

4 points by slederer 11 months ago | 1 comments

ELD: A new open-source embedded linker tool for embedded systems(qualcomm.com)

45 points by quic_bcain 1 year ago | 0 comments