I ike to talk bout software engineering
Joined December 2019
- Tweets4.1K
- Following1.1K
- Followers392
- Likes14.1K
If you meant what tools am I using, is TLA+ a “proof assistant”. This video is a good introduction youtu.be/l3UdQy98sQ8
you write the Spec and run a cli to check it exhaustively using a massive exploration space.
I’m not sure I got your question right tho?
Week 2 trying to replace Agents "markdown specs":
Model TLA+ -> run proof -> graph in .dot -> generate tests -> implement code.
This design can run and get verified, and it is much more readable than any wall of text.
the problems are:
- i cannot click
- i cannot interact
- i cannot reply to any box or add to chat
- it holds no links
- limit graph support by mermaid render, etc
pretty bad experience in @ChatGPT , graphs should be first class citizen
small examples, not my favorite by any means, but i'll keep taking screenshots to destill something and have more data for this idea.
I' would look impossible, but this forecast takes into account a max time to work per day to catch up, and distributes the load across the month.
It also takes into account all the other projects I have.
The best version of my Cumulative Line Graph so far.
It packs a lot of info!
This gives me a clear view of what I have to do to catch up with my project and reach my goals.
Anyone else with this bug? (the embed is just text)
Also the voice changes from male/female/high/low pitch almost every time
this is on iOS 26.3.1 iPhone 15 (although i’ve seen this error in every iOS version in the last year)
@ChatGPTapp
I finally built my dream graph
The dotted line represents “how can I catch up” when I’m behind in a project.
I was missing the dotted line, which points out how to do what I need to do
Still missing a few things, like how much work I should do today to achieve the dotted line.
ALT Cumulative Graph showing stats of work done in a project and projections like averages, targets and forecasts
