You're both actually 100% right, we kind of worked a lot on the product (developing a model + a platform was not an easy task) but not enough on the video. That's not an excuse but we'll make another one asap. That being said it has nothing to do with the value of the product and what we're trying to achieve here.
Thanks, that's helpful. It's not in alpha/beta but definitely a new product with flaws and stuff we could have done better.
We actually tried to do a lot of stuff differently! it's 100% online, connected to Github, handle deployments and hosting and remain open to other platform with Docker.
I meant in comparison to other frontend products that can't do anything about your back-end. $200 for 2000 messages may seems a lot but it includes every tool use (even if the agent uses 100K tokens editing your code it would count as a single message), web deployment with hosting and everything.
Feel free to try it, the free tier is here for that!
The agent itself is always limited by context inside a question but it also draw a map of your codebase and use it as additional data to better serve you.
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!
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.
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!
Qoddi.com launched a couple years ago as a credible alternative to Heroku. Our free plan is here to stay and our $6 starter plan offers twice the capabilities of Heroku's hobby tier.
Qoddi is compatible with Heroku buildpacks and Docker containers, making it super easy to migrate from Heroku and we don't charge for bandwidth.
Qoddi.com launched a couple of years ago as a credible Heroku alternative. Our free tier is here to stay and our apps never sleeps! Contact us if you need help to migrate from Heroku
I know, being over charged is one of the main pain point with cloud services, that's why we made FlashDrive differently and with all services included (load balancer, DDoS protection, SSL certificates, daily backups)! We'll be glad to have you :)
Hi! Thanks for your interest in FlashDrive! The plan only limits RAM and CPU allocations. If your app uses more than 90% of resources you will receive an email and at 100% the app may crash but reboot automatically thanks to our auto-heal function. Next week we will deploy auto scalling that will let you decide if you want your app to upgrade it's size automatically depending on usage. In any case you are never charged for more that you decide.
Hi! All tenants are completely isolated from each others but FlashDrive is a load balanced service so the IP is advertised is the one of the cluster you are in. Note that we recently switched to a segmentation inside a datacenter to mitigate that issue and tenants are placed randomly inside clusters located in a datacenter (with a different IP address by cluster).