Harmony One en Español 💙

This was no easy task 🥵 We had to split GPT2-XL's 48 decoder blocks into 144 sub-blocks, before proving on our massive 1TB memory, 128 core CPU cloud clusters for nearly 90 hours! That means that — using generic prover systems — zkLLM overhead is over 1,000,000x!!!

Very sad to hear. 😥 Niklaus Wirth made many enormous contributions to the field of computing. Pascal was the first language I used seriously (initially on the UCSD p-System and later via Turbo Pascal), and I got my hands on this great book that he wrote when I was in middle school. Later, I loved using Modula-2 for some things (and his indirect influence on Modula-3 was strong). I also love the anecdote when asked about how to pronounce his name: "Whereas Europeans generally pronounce my name the right way ('Ni-klows Wirt'), Americans invariably mangle it into 'Nick-les Worth'. This is to say that Europeans call me by name, but Americans call me by value. Niklaus Wirth"