Event JSON
{
"id": "060fe21ed066590fa6a14e22faaf90245d10e4f944eaa50b25a41d69de8a34fb",
"pubkey": "88d7015a50f6bc0b5063e08d4423093c80862c83f18073fd287fccbbe87324ac",
"created_at": 1776996506,
"kind": 1,
"tags": [
[
"t",
"mcclim"
],
[
"t",
"acl2"
],
[
"t",
"commonlisp"
],
[
"t",
"programming"
],
[
"t",
"logic"
],
[
"t",
"graphics"
],
[
"t",
"hextille"
],
[
"imeta",
"url https://gamerplus.org/system/media_attachments/files/116/457/231/273/497/517/original/c41d8b5c2c5a3f66.png",
"m image/png",
"dim 393x435",
"blurhash U8R{#?~q00_3?bofofay00WBt7Rj_3WBt7of"
],
[
"imeta",
"url https://gamerplus.org/system/media_attachments/files/116/457/231/477/071/604/original/26c035d495c00c62.png",
"m image/png",
"dim 1366x768",
"blurhash UDRysg9ZkW9FxuX8NGsp00s:t7t7WBofoMWB"
],
[
"imeta",
"url https://gamerplus.org/system/media_attachments/files/116/457/231/476/860/481/original/64b4da596bd9b542.png",
"m image/png",
"dim 1366x768",
"blurhash UDRyvo9ZX89FR*j[WBRj00t7xaofRjayj[WB"
],
[
"imeta",
"url https://gamerplus.org/system/media_attachments/files/116/457/231/770/198/018/original/a9577f6fd8cadc9f.png",
"m image/png",
"dim 1366x768",
"blurhash UERysgDixaD%RPjFWBWV00kCkWbbt6xaoKae"
],
[
"proxy",
"https://gamerplus.org/users/screwlisp/statuses/116457243033616057",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "Well, I have to say I am on painkillers these days, but I wrote this.\n\nhttps://lispy-gopher-show.itch.io/dl-roc-lisp/devlog/1497995/hexagons-common-lisp-interface-manager-graphics-and-acl2-first-order-logic-automatic-proofs-in-one-place\n\n#McCLIM #acl2 #commonLisp #programming #logic #graphics #hextille\n\nsharpsign logically drawing hexagons.\n\nEdit: It's about a single lisp source spanning both common lisp interface manager and acl2 first order logic.\n\nhttps://gamerplus.org/system/media_attachments/files/116/457/231/273/497/517/original/c41d8b5c2c5a3f66.png\nhttps://gamerplus.org/system/media_attachments/files/116/457/231/477/071/604/original/26c035d495c00c62.png\nhttps://gamerplus.org/system/media_attachments/files/116/457/231/476/860/481/original/64b4da596bd9b542.png\nhttps://gamerplus.org/system/media_attachments/files/116/457/231/770/198/018/original/a9577f6fd8cadc9f.png",
"sig": "cdc548cfcd1b05bc0320d58ba720d234c57a0f772158f0303e2c20fcd5f135d59ec1a2c3b4fa5ad428bc20a9837a65f18e8ed086592ec0ad4c8783fac4432ab9"
}
