Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

A vibe-coding tool for serious developers

appjet.ai

Post reply on HN
Print view View original

1–10 of 36 posts

Re: A vibe-coding tool for serious developers

#6

Post by alexflashdrive »

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.

Re: A vibe-coding tool for serious developers

#7

Post by alexflashdrive »

rvz wrote: post #3

I use TLA+ on a project that requires lots of compliance checks and tests. How will this product help me vibe-code the code base?

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 patterns: Modeling mutual exclusion, consensus algorithms, message passing, etc. Practical examples: From simple counters to complex distributed systems

If your code is on GitHub you can use our app with it, it will create a safe independant branch "appjet" to work on it. Give it a try and let me know what you think!

Re: A vibe-coding tool for serious developers

#8

Post by dizlexic »

Well damn, I'm not a serious developer. I guess I'm not included.

edit: 2000 messages per month for $200 doesn't really seem worth it.

edit edit: even less so when JetBrains lets you plug in self-hosted models. This business model is headed for a crash.

Re: A vibe-coding tool for serious developers

#9

Post by khoury »

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.

Isn't it limited to a context max token window? How can it handle the whole code base, not mentioning LOC or anything?

Re: A vibe-coding tool for serious developers

#10

Post by ekidd »

alexflashdrive wrote: post #7
rvz wrote: post #3

I use TLA+ on a project that requires lots of compliance checks and tests. How will this product help me vibe-code the code base?

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 serious headaches.

Post reply on HN