A vibe-coding tool for serious developers

Post by skottenborg » Wed, Aug 27, 2025, 2:02 PM UTC

ekidd wrote: post #10

alexflashdrive wrote: post #7

Earlier quoted context omitted.

AppJet.ai can help you in several ways with TLA+: Language fundamentals: Basic syntax, operators, temporal logic, actions, and specifications Modeling techniques: How to represent system state, define actions, specify invariants and temporal properties PlusCal: The higher-level algorithmic language that transpiles to TLA+ TLC model checker: Running specifications, interpreting results, debugging models Common pattern…

> Common patterns: Modeling mutual exclusion, consensus algorithms, message passing, etc. Practical examples: From simple counters to complex distributed systems I don't know how you composed this response. But it reads more like a laundry list of TLA+-related buzzwords than a response based on any kind of actual experience with TLA+. TLA+ is a weird and obscure niche, easily obscure enough to give most models very s…

Post by RUnconcerned » Wed, Aug 27, 2025, 2:03 PM UTC

alexflashdrive wrote: post #6

attogram wrote: post #5

Nice that it has a free tier. But how does this compare to Jules/Claude/etc? What makes it different?

AppJet is directly integrated with GitHub and has a better understanding of your codebase, with more full-stack functionalities. It also includes all the deployment of your code and a direct integration with Supabase that Claude or Jules doesn't have.

Post by pjob » Wed, Aug 27, 2025, 2:04 PM UTC

alexflashdrive wrote: post #2

Hi, We made AppJet.ai for real developers, not just vibe-coders. AppJet helps you navigate your GitHub repository, including inside branches, fixes bugs and create new features. Let me know what you think! Alex.

Post by suobset » Wed, Aug 27, 2025, 2:06 PM UTC

alexflashdrive wrote: post #2

Hi, We made AppJet.ai for real developers, not just vibe-coders. AppJet helps you navigate your GitHub repository, including inside branches, fixes bugs and create new features. Let me know what you think! Alex.

Post by Workaccount2 » Wed, Aug 27, 2025, 2:08 PM UTC

RUnconcerned wrote: post #14

alexflashdrive wrote: post #6

Earlier quoted context omitted.

AppJet is directly integrated with GitHub and has a better understanding of your codebase, with more full-stack functionalities. It also includes all the deployment of your code and a direct integration with Supabase that Claude or Jules doesn't have.

> has a better understanding of your codebase, with more full-stack functionalities Can you elaborate on what this means?