uptodatenews
Joined 7 months ago
Karma
14
Submissions
21
Member since
Apr 16
Recent submissions
Comment · 22 days ago
Comment · 1 month ago
Here's also a book list
https://rcsnyder.github.io/open-frontier-curriculum/07-resou...
Comment · 1 month ago
Plugging this again if you want a quick visualizer client side program to go back and forth with an ai. Granted opus 5.5 can probably 1 shot this now
https://tlaplus-process-studio.com/
https://github.com/RCSnyder/tlaplus-process-studio
Also the hard part is connecting the tla+ spec to the implementation code with traces
Comment · 2 months ago
You want a computer program to be able to take a single phrase and execute decade long journies?
Who will be responsible for the outputs and side effects of such a closed loop system?
Half of those the agent fleet systems can do right now.
These are things it cant do and will not be able to do without human labor and long running human vision:
https://rcsnyder.github.io/open-frontier-curriculum/05-front...
https://rcsnyder.github.io/open-frontier-curriculum/05-front...
Comment · 2 months ago
Yeah this just means 1000x more people can become phds if theyre willing
Comment · 2 months ago
Im going with this... scifi stuff still requires engineers. Its laughable and insulting to think these billionaire owners are going to make robots and llm loops to get real shit done
https://rcsnyder.github.io/open-frontier-curriculum/
Ya "claude can you build me the next cern Thanks"
Comment · 3 months ago
I tried to make something in the same spirit
Comment · 4 months ago
You run into Rices theorem if you try to apply it too heavily.
I made https://github.com/RCSnyder/tlaplus-process-studio
https://tlaplus-process-studio.com/
For local only high level modelling. Its not a full tie into the actual model checker, but its meant to serve as a first step into system modelling for state machine modelling for beginners
https://github.com/RCSnyder/open-frontier-curriculum