null_point
Joined 2 years ago
Karma
44
Submissions
24
Member since
Dec 31
Joined 2 years ago
Jumping into the deep end and going straight to daily-driving NixOS, is certainly also a good option.
I mean, Nix is pretty complex software, and is an added layer of abstraction in many contexts. Framing Nix as a solution to complexity seems to be a tenuous claim.
What Nix can help with, imo, is reducing toil. And a good abstraction maintained by a team can reduce toil for a lot of others.
While not using Copilot, I have GTP-4o assistant with a system prompt setup from trial and error to convert a given test from Enzyme to RTL. There are certain scenarios where a given test cannot actually exist in RTL due to a difference in testing philosophy between the two frameworks and I am required to make some decisions, but overall this is probably 10x faster than refactoring these tests by hand.
One of the important aspects of this, though, is when a I encounter a repeated failure of the LLM, I update the system prompt going forward. Even though this is a simple 1-shot approach, it still works well for a task like this.