Readings shared March 12, 2025. https://jaalonso.github.io/vestigium/posts/2025/03/12-readings_shared_03-12-25 #AI #ATP #Constraints #Haskell #ITP #IsabelleHOL #Jape #LeanProver #Logic #LogicProgramming #Mace #MachineLearning #Math #NLP #Otter #PVS #Prolog

Curso "Razonamiento automático (2004-05)". https://jaalonso.github.io/cursos/d-ra-04 #ATP #Otter #Mace #Jape #Logic #ITP #PVS

Readings shared March 11, 2025. https://jaalonso.github.io/vestigium/posts/2025/03/11-readings_shared_03-11-25 #AI #ATP #Emacs #FormalVerification #Haskell #ITP #IsabelleHOL #Jape #LLMs #LeanProver #Logic #LogicProgramming #MAS #Mace #Math #Otter #PVS #Prolog #SMLs #SMT #Scala #Z3

Curso "Razonamiento automático (2003-04)". https://jaalonso.github.io/cursos/d-ra-03/index.html #ATP #Otter #Mace #ITP #Jape #PVS

Go outside and look at the fuckin' moon. It's spectacular right now.

#jape #phillynott #Mastodon https://youtu.be/DkH8YSrhQHU?si=M7fMAyyKa6j7ZJ4g

I’m no rocker so I dont know any mastodon songs.

Instead I get this heartbreaker by Jape in my head every time I log in here 🌘🌑🌒

https://youtu.be/JcqglU5kv-U

#Jape #PhilLynott #mastodon