Mar 13, 2024 Optimizing Large Language Models A Look at Key Techniques Nov 11, 2010 Niklaus Wirth on Programming Languages and Verification