More hexagon #acl2 #firstOrderLogic in one #ecl #commonLisp source with #McCLIM #graphics . Er.. #hextille .
https://lispy-gopher-show.itch.io/dl-roc-lisp/devlog/1500993/more-hexagon-acl2-first-order-logicembeddable-common-lispmcclim-graphics
I am quite excited to have same source*
*read the article
Generating automatic first order #logic theorems on the left, ANSI common lisp running on the right, and #CLIM graphics popped up in the foreground.

In practice, the article is a show-and-tell of the functions I wrote today. They are quite cautious, recursive and explicit as I get more used to the #fol atm

Pukekura Park in Ngāmotu/New Plymouth putting on a beautiful show for this year's #FoL Festival of Lights

Even some treats for #Mushtadon and #LichenSubscribe fans

Fur of love  - la label lanciata da #GreenPlanner nel 2022 - ha ormai "autocertificato" migliaia di capi d'epoca in pelle e pelliccia che sono stati salvati dalla discarica #gestionerifiuti #riuso #sostenibilità #upcycling #FOL

https://www.greenplanner.it/2025/11/26/fur-of-love-pellicce-pre-loved/

Nonfirstorderisability (also printer-friendly CSS)
https://terrytao.wordpress.com/2007/08/27/printer-friendly-css-and-nonfirstorderizability/

#TIL #FOL

In attesa della nuova Fedora 43, in questi giorni aggiornamenti e upgrade per FOL, FedoraOnLine, il forum italiano per gli utenti Fedora.

- Potenziata la VPS
- Aggiornato il sistema da CentOS 7 ad AlmaLinux 10
- Aggiornato Discourse alla versione 3, con tanto di chat
Riconfigurato Mailjet (il servizio di consegna delle email)

Buona Fedora a tutti!

#fedora #fol #linux
https://forum.fedoraonline.it/