Micro-blog and calendar| www.humprog.org
The cartoonist Dick Guindon famously wrote as follows. Writing is nature's way of letting you know how sloppy your thinking is. The number 1 prefixing that is my addition. Programmers and sometime-mathematicians also know that there are further stages of the same idea. Programming is nature's way of letting you know how sloppy your writing is. Mathematical proof is nature's way of letting you know how sloppy your programming is. Machine-checked proof is nature's way of letting you know how sl...| Rambles around computer science
I spent the last month working with Mozilla to launch an open source project called llamafile which is the new best way to run an LLM on your own computer. So far things have been going pretty smoothly. The project earned 5.6k stars on GitHub, 1073 upvotes on Hacker News, and received press coverage from Hackaday. Yesterday I cut a 0.3 release so let's see what it can do.| justine.lol