#FediFC #Soccer #Football #ECL @[email protected] Both of the remaining matches in Rome are in a rain delay - Staodubtseva and Waltert have left the court so that could be it for the day - so I thought I'd catch up with this incident in your match ...

RE: https://bsky.app/profile/did:plc:4vziktoq7p6jd3i5l3wtmfab/post/3ml7hzb23ak2b

@kentpitman @prahou @davidrevoy @bagder @chiply @yantar92 @jackdaniel

I ran out of letters.
@mdhughes #coffee https://gamerplus.org/@mdhughes@appdot.net/116520397627957512

Some notes on my #lisp #hextille viz my https://lispy-gopher-show.itch.io/dl-roc-lisp apropos jd's #ecl and #McCLIM (clim 2 spec)
Same code:
- #fol #acl2
- #commonLisp (portable)
- #McCLIM -rich interface common lisp
- Inside C programs
- Inside C++ programs
- Inside WASM
- Curl inside it

Requests for questions/comments to pass on to the tagged project authors too please.

Digital Mark λ ☕️ 🌮 🚀 🌗 (@[email protected])

OK, I think we're good now. https://cyberhole.online/coffee.html

AppDot.Net
Embeddable Common-Lisp

Shit, I want to end my blogpost about my usage of Dired in Emacs, write another blogpost about cheatsheets for not-every-day-used Emacs keybindings, write simple AF program for plain-text accounting for myself (with a very limited subset of ledger syntax) in a Common Lisp with the help of #ecl and Natural Intelligence (since almost all software for plaintext accounting are proudly slopware nowadays and I can't rely on it and can't trust my accounting to such slopware), countinue drilling case for my NAS, write another blogpost about low-cost selfhosting on Intel Atoms, reverse-engineer PDBs for some default programs on my #Palm PDA (can't find time and muse for it in 4 years  ), setup Emacs on Android to use it for everything and avoid use of K9-Mail, ConnectBot and other slopware, and write another blogpost about using Palm in 2022^W2023^W2024^W2025^W2026 — but I didn't sleep well and need to have a good sleep now, FUCK!  

      

Don't think there's anything there that should unduly worry us when we reach the final. #Arsenal #ecl #championsleague #PSGBAY #FediFC

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

Executable literate #commonlisp programs directly on my blog using #ecl #wasm ? yes!

So #ecl project also reached a conclusion what to do with LLM contributions:

https://gitlab.com/embeddable-common-lisp/ecl/-/work_items/826

Long story short: no LLM code in the codebase whatsoever until a legislative consensus is reached (and then we may reevaluate it).

#lisp

LLM contributions policy (#826) · Issues · Embeddable Common-Lisp / ECL · GitLab

I guess that we'll have to tackle this problem sooner or later, so better do it now. We didn't have so far LLM contributions (except from one minor...

GitLab

Parfois, il y a des inventions qui interpellent et c’est le cas avec celle que je vais vous présenter… Je vous préviens, celle-ci n’a jamais été commercialisée et pourtant je pense qu’elle avait un énorme potentiel ! En effet, je suis tombée sur cette histoire un peu par hasard, et franchement, elle m’a fait sourire. À 15 ans, Ann Makosinski avait imaginé une lampe torche capable de fonctionner uniquement grâce à la chaleur de la main. #écl

https://www.neozone.org/?p=302802