The readings shared in Mastodon on 22 October 2024 are

• Readings shared October 21, 2024. #ITP #LeanProver #Lean4 #Coq #Math #AI #AI4Mat #Emacs #Lisp
• Kripke-style semantics for strong functors. ~ Nachiappan Valliappan. #ITP #Agda
• Analysis on normed semirings and semimodules. ~ Matt Verhoeven. #ITP #Coq #Math
• An unexpected discovery: Automated reasoning often makes systems more efficient and easier to maintain. ~ Byron Cook. #ITP
• Neural approaches to theorem search & proof repair. ~ Thomas Reichel. #ITP #Coq #LLMs
• Towards Guaranteed Safe AI: A framework for ensuring robust and reliable AI systems. ~ David Dalrymple et als. #AI