uptodatenews

3 ms·

1.
by uptodatenews 1mo 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.
2.
by uptodatenews 1mo ago
Yeah this just means 1000x more people can become phds if theyre willing
3.
by uptodatenews 1mo 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-
4.
by uptodatenews 2mo ago
I tried to make something in the same spirit https://github.com/RCSnyder/open-pincery
5.
by uptodatenews 3mo 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
6.
Show HN: TLA+ Process Studio(tlaplus-process-studio.com)
14 points by uptodatenews 4mo ago|2 comments
7.
by uptodatenews 5mo ago
Whoa didn't even know cool
8.
by uptodatenews 6mo ago
I said just keep it in the repo like scaffolding. Is software ever done? Why remove the dev notes for the future agents? https://github.com/RCSnyder/lights-out-swe
9.
by uptodatenews 6mo ago
This is exactly why I built these two things https://github.com/RCSnyder/tlaplus-process-studio This is to extract the bare minimum state machine out of users is tla+ https://github.com/RCSnyder/li