3 ms·
Some simple imperative data structures, including simple operations to add, remove, test membership, etc. with formal guarantees.
by nextos 2y ago
Some simple imperative data structures, including simple operations to add, remove, test membership, etc. with formal guarantees.
- kragen 2y agothat sounds awesome! what does the process of getting to one of those proofs look like? is there a lot of back and forth, or is it mostly autonomous?
- nextos 2y agoMostly autonomous, with a bit of guidance, but this might be because the training set has examples that are similar enough, making interpolation easy.
- kragen 2y agofantastic! i hope you decide to share more details; i'd love to hear them
- nextos 2y agoThanks. It's a toy at the minute, there is nothing super impressive. Taking this forward would require a lot more work and funding to pay for computation to fine-tune models further. It's an interesting topic, perhaps good for a startup or a research lab in case one finds a decent monetization stream.
- kragen 2y agopretty sure you'll be able to monetize writing correct software at scale with an llm