AI coding is strong where there exists a detailed, executable oracle.
You can scale verification to give your agents an oracle - you can add tests, automate your QA, make it impossible for the agent to introduce a regression.. but even better is to play in a domain with verification built in!
How a macOS app should look and act is well defined. Same for porting games. Since "working" is well defined just get agents charging at it at full speed. All sorts of non-moving target projects are viable. Just need that oracle.
Pumped to soon rip out macOS and run mac apps on linux on asahi on my macbook pro. Good bye macOS goodbye 278gb of "system files" that can't be deleted.
Thanks Darling devs, amazing to see you roar to life.
The AI policy is pretty reasonable in my opinion, wonder how they review the PRs though given their ambitions, 2 months is pretty tight. I do hope this project nurtures well.
> Darling is a translation layer that lets you run macOS software on Linux
> Darling runs macOS software directly without using a hardware emulator.
pretty interesting!
AI coding is strong where there exists a detailed, executable oracle.
You can scale verification to give your agents an oracle - you can add tests, automate your QA, make it impossible for the agent to introduce a regression.. but even better is to play in a domain with verification built in!
How a macOS app should look and act is well defined. Same for porting games. Since "working" is well defined just get agents charging at it at full speed. All sorts of non-moving target projects are viable. Just need that oracle.
Pumped to soon rip out macOS and run mac apps on linux on asahi on my macbook pro. Good bye macOS goodbye 278gb of "system files" that can't be deleted.
Thanks Darling devs, amazing to see you roar to life.