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.
OK, I think we're good now. https://cyberhole.online/coffee.html
https://toobnix.org/w/mu2Wm3Y7F6dBbqBivkXL1x
#climateCrisis #poem @kentpitman
- Comments on responsible dialog, many notes
@prahou and @davidrevoy 's #exquisiteCorpse #art #unix_surrealism https://gamerplus.org/@screwlisp/116518727790621795
/Next Sunday/Tuesday/Sunday/ upcoming guests: @bagder #curl @chiply #emacs @yantar92 #orgMode
#lisp / #commonLisp / #acl2 since I did not finish, my #commonLisp *my* #hextille wishlist https://lispy-gopher-show.itch.io/dl-roc-lisp/devlog/1502166/six-dimensional-hextille-boondoggle-acl2-mcclim-common-lisp before @jackdaniel 's coming #ELS #ecl #McCLIM thing.
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! 

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
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).
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