José A. AlonsoReadings shared October 25, 2025. https://jaalonso.github.io/vestigium/posts/2025/10/26-readings_shared_10-25-25 #AI #Autoformalization #History #ITP #KRR #LLM #LeanProver #Logic #Math
Course "Artificial Intelligence": 9. Other knowledge representation formalisms: frames, conceptual dependency, semantic networks. ~ Deepak Kumar. https://cs.brynmawr.edu/Courses/cs373/Fall2025/Slides/09-KowledgeRepresentations.pdf #AI #KRR
Course "Artificial Intelligence": 8. Logic in Prolog. ~ Deepak Kumar. https://cs.brynmawr.edu/Courses/cs373/Fall2025/Slides/08-LogicInPROLOG.pdf #AI #Logic #KRR
Course "Artificial Intelligence": 7. Representing knowledge using logic. ~ Deepak Kumar. https://cs.brynmawr.edu/Courses/cs373/Fall2025/Slides/07-Logic.pdf #AI #Logic #KRR
Allen Tien, MD, MHS mdlogix.com 94,698 田一彦
DispoSchlumpf 📯In Overtime haben stark angetretene Rostock Griffins knapp gewonnen.
#krefeld #krefeldravens #football #Grotenburg #americanfootball #RostockGriffins #KRR
#krefeld #krefeldravens #football #Grotenburg #americanfootball #RostockGriffins #KRR
ASX Mkt. SensitiveKing River Resources ( #KRR ) has released " Quarterly Activities/Appendix 5B Cash Flow Report " on Thu 10 Apr at 11:19 AEST #tax #government #Mining #Gold #Australia
https://grafa.com/asset/king-river-resources-ltd-8028-krr.asx?utm_source=asxmktsensitive&utm_medium=mastodon&utm_campaign=krr.asx
https://grafa.com/asset/king-river-resources-ltd-8028-krr.asx?utm_source=asxmktsensitive&utm_medium=mastodon&utm_campaign=krr.asx
Sepix
TSM at WorkWhen you find yourself writing #awk to preload formulas into a file to be imported into a #cloud #spreadsheet, you start to wonder if you have mad a wrong turn, if you have made a correct turn, or how you can even tell them apart.
In other news, #krr is pretty #nifty and will give us the hard data we need to demonstrate to the developers that (#surprise) they have over
-provisioned their #pods and we can estimate the wastage in both instances and dollars.
Lecturas compartidas el 25 de marzo de 2024. https://jalonso.substack.com/lecturas-compartidas-el-25-de-marzo #AI #CategoryTheory #FormalVerification #ITP #IsabelleHOL #KRR #LLMs #Math #Mathematica #Python #SetTheory
