| 21 Jul 2025 |
 connor (burnt/out) (UTC-8) | If you’re going to NixCamp or NixCon this year, I’d love to find out more about your thoughts on how that could be implemented! | 02:34:48 |
 Robert Hensing (roberth) | I'll be at NixCon. Basic idea is: refactor evaluation so that it's an interaction between these three actors and "communication links": CLI - Evaluator - OS, and nothing else. Then MITM the Evaluator on both sides by recording the interactions of previous calls to the evaluator, and replaying them if possible. | 09:05:43 |
| Robert Hensing (roberth) | It's somewhat of a research project; nothing is guaranteed | 09:07:02 |
 magic_rb | Thats kinda what i was proposing https://matrix.to/#/!VRULIdgoKmKPzJZzjj:nixos.org/$FvXA39aRGz0iER7ZM-bRtUkJCuorYa0Ecy_YupgUPC8?via=nixos.org&via=matrix.org&via=nixos.dev ill be at nixcon too. Definitely will be around for this | 09:08:24 |
|  andiandi 🐈 changed their display name from andiandi@hadr25 🏰🏞️ to andiandi 🐈. | 11:04:23 |
| connor (burnt/out) (UTC-8) | I’d love to talk more about this with you all!
Any chance C++ has something akin to Haskell’s STM? | 14:11:52 |
| connor (burnt/out) (UTC-8) | tomberek you might be interested in this — I know I talked with you about having an import cache which stores the processed AST instead of the file itself. (One idea I had was to key on the hash of the AST so formatting wouldn’t cause cache misses.) | 14:44:35 |
 toonn | .oO(Unison...) | 14:45:29 |
 emily | see https://matrix.to/#/!VRULIdgoKmKPzJZzjj:nixos.org/$ynuYm1cT2gUMemb4CiyueY7KlkO0yqppb8i9xb6ENJ8?via=nixos.org&via=matrix.org&via=nixos.dev for my attempts | 14:48:07 |
| emily | unfortunately to trace builtins.readFile you need scopedImport which slows things down a bunch | 14:48:23 |
| magic_rb | In reply to @emilazy:matrix.org
unfortunately to trace builtins.readFile you need scopedImport which slows things down a bunch Well, it would have to be done at the c++ level and the evaluator would have to become serializable for my idea to work | 14:54:00 |
| emily | yes, that would be better | 14:54:20 |
| emily | serializing eval state will be really hard and complicated. I'd recommend focusing on just smarter cache keys | 14:54:42 |
| emily | roberth | 14:54:53 |
| emily | oops | 14:54:56 |
| emily | roberth's proposal is basically what strace/preload/FUSE/etc. build systems do | 14:55:09 |
| emily | storing a log of "syscalls" and using that to cache builds | 14:55:33 |
