​We'll be having two lightning talks today:

​Delphi: Lean for Bio – Joel Dietz

​Abstract:

​We won a hackathon at MIT last weekend by combining two of Alan Turing’s most compelling ideas. The math of morphogenesis and the statistics of probability theory. This approach combines lean proofs of core math found in biology and a Bayesian knowledge graph to show where in nature this maths occurs. If this wasn’t enough, it also can be used as the basis of a biological compiler.

​Speaker: Joel Dietz (https://mitpress.mit.edu/author/joel-dietz-39191/)

​Building virtual hardware for real performance – Harsh Gupta

​Abstract:

​GPU performance optimization is a hardware in the loop process. Harsh at Theoric labs is building a simulation of the GPU, in Lean, to predict the runtime characterists of a GPU program without the GPU itself. Dramatically reducing the time and money required to run GPU performance experiments.

​Speaker: Harsh Gupta (/hargup13) (/hargup)

​Harsh Gupta is founder of Theoric Labs, where they aim to make software bug free and run as fast as possible. He wrote the equation solving module of SymPy, and, studied Mathematics and Computing at IIT Kharagpur.

​Thank you Mox SF for hosting us! Mox is a coworking & community space for do-gooders in AI Safety. Check out our memberships here.

​The SF Lean meetup: Weekly presentations and discussions about formal methods, software verification, AI, and math. Beginners welcome!

​Website: https://sflean.group/
Join our Discord server: Join Discord Server