ร้านขายยา ย่งเชียงตึ๊งFeb 11

ยินดีกับ #ราชบุรีเอฟซี 🎉🐉⚽️

ขอแสดงความยินดีต่อชัยชนะสุดยอดในศึก #ACL2 รอบ 16 ทีม เลกแรก ที่เปิดบ้านถล่ม #เปอร์ซิบบันดุง จากอินโด ไปแบบสวยงาม 3-0
* เปโดร ตาน่า ที่โชว์ฟอร์มเด่น ซัด 2 ประตู
* เจสซี่ เคอร์แรน ที่มีส่วนร่วมกับเกมรุกตลอด
* ทีมเวิร์กด้านขวาที่เล่นกันอย่างไหลลื่นจนได้หลายประตู
หวังว่าฟอร์มยอดเยี่ยมแบบนี้จะต่อเนื่องในเกมเลกสอง และพา #ราชบุรี เข้ารอบต่อไปได้สำเร็จค่ะ วู้วววว ✨🧡⚽🔥

#ราชบุรีเอฟซีพบเปอร์ซิบบันดุง

Show threadscrewlispNov 26
@dougmerritt
@ramin_hal9001
by the way, anonradio archive bot picked up our hour (I will upload the extended cut tomorrow sorry) https://archives.anonradio.net/202511260000_screwtape.mp3 #acl2 #lisp #lispyGopherClimate #haskell #programming #logic
José A. AlonsoOct 21
Readings shared October 20, 2025. https://jaalonso.github.io/vestigium/posts/2025/10/21-readings_shared_10-20-25 #ACL2 #Autoformalization #FunctionalProgramming #Haskell #ITP #LLMs #LeanProver #Logic #Math #Mizar #RustLang
Readings shared October 20, 2025

The readings shared in Bluesky on 20 October 2025 are: Formalizing Wigner’s semicircle law in Lean. ~ Haoyan Jiang et als. #ITP #LeanProver #Math Towards verifying the "Three amigos". ~ Carl Kwan. #I

Vestigium
José A. AlonsoOct 20
Towards verifying the "Three amigos". ~ Carl Kwan. https://repositories.lib.utexas.edu/server/api/core/bitstreams/aaa69649-caa2-4c06-bd35-3b585e008c56/content #ITP #ACL2 #Math
José A. AlonsoOct 5
Readings shared October 4, 2025. https://jaalonso.github.io/vestigium/posts/2025/10/05-readings_shared_10-04-25 #ACL2 #AI #Algorithms #FunctionalProgramming #ITP #IsabelleHOL #LLMs #Math
Readings shared October 4, 2025

The readings shared in Bluesky on 4 October 2025 are: Where is mathematics going? ~ Kevin Buzzard. #Math #ITP #LLM Functional data structures and algorithms: A proof assistant approach. ~ Tobias Nipk

Vestigium
José A. AlonsoOct 4
A formal Y86 simulator with CHERI features. ~ Carl Kwan , Yutong Xin, William D. Young. https://repositum.tuwien.at/bitstream/20.500.12708/219552/1/Kwan-2025-A%20Formal%20Y86%20Simulator%20with%20CHERI%20Features-vor.pdf #ITP #ACL2
screwlispSep 9, 2025

#bookstodon #bookReview #knowledgeRepresentation actually a chapter review.

My notes after Chapter 1: Classical Logic of The Handbook of Knowledge Representation.

https://screwlisp.small-web.org/books/handbook-of-kr-ch1-logic/

#lisp #acl2 #prolog #logic

Book review Chapter 1: Classical Logic in the Handbook of Knowledge Representation

José A. AlonsoAug 13, 2025
Verificación formal en ACL2 de polinomios de múltiples variables y su aplicación al problema de la decisión en la lógica proposicional clásica. ~ Francisco Palomo Lozano. https://www.educacion.gob.es/teseo/imprimirFicheroTesis.do?idFichero=LiV3M7i%2FrIg%3D #ITP #ACL2 #Logic #Math
José A. AlonsoJul 26, 2025
Readings shared July 25, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/26-readings_shared_07-25-25 #ACL2 #AI4Math #FunctionalProgramming #Haskell #ITP #LeanProver #Math
Readings shared July 25, 2025

The readings shared in Bluesky on 25 July 2025 are A formalization of elementary linear algebra: Part I. ~ David Russinoff. #ITP #ACL2 #Math A formalization of elementary linear algebra: Part II. ~ D

Vestigium
José A. AlonsoJul 25, 2025
Extended abstract: Partial-encapsulate and its support for floating-point operations in ACL2. ~ Matt Kaufmann, J Strother Moore. https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACL2in2025.6 #ITP #ACL2
EPTCS: Extended Abstract: Partial-encapsulate and Its Support for Floating-point Operations in ACL2