mbuchel-hn

3 ms·

1. 1.▲
   by mbuchel-hn 2mo ago

   attempted this approach before, fails in low level programming situations. the hardest part of programming is the logic errors, as a result i tried a few times to use a formal verifier to write the pseudo code and have the llm translate it
2. 2.▲
   by mbuchel-hn 2mo ago

   does this work similar to airllm? i am wondering how it would handle something like quantizing kimi k3 on a budget of 8 gbs, or is that something you are not attempting to solve yet?
3. 3.▲
   by mbuchel-hn 2mo ago

   this reminds me of the whole situation with how llms cannot really solve logic problems, they only really memorized the answer, for example the riddle: a mother and her son got in a car accident, the mother died, and the son was driven to t
4. 4.▲
   by mbuchel-hn 2mo ago

   for all 22 micro archs it takes about 9.4 hours for all opcode-dumps this includes hidden instructions that take a PC but do not produce text in the nvdisasm output, about an extra hour for a modifiers scan where we get all the possible mod