Viewing profile — mbuchel-hn

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 veri…

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 ye…

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 …

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…