๐ฆ
๐๐ฝ๐๐ฟ ๐ฌ๐ฑ ๐ฅฆ ๐ชต
๐ ๐ฆข๐ฆข๐ฆญ ๐๐ ๐ ๐ชท๐ฒ ๐
๐ท ๐ฆ ๐ซ ๐ฆ ๐ฅฅ๐ฆข ๐ชฐ ๐ก๐ฅ ๐ฅ
๐น ๐ ๐ชณ ๐พ ๐ฆญ ๐ฃ ๐ณ
๐ฆ ๐ ๐ฅฆ๐ฑ๐ฆ๐ชฑ ๐ธ ๐ชณ ๐๐ซ ๐
๐๐ ๐ ๐๐๐ท๐ฑ ๐ป๐ ๐ฅ
๐ง ๐ ๐ ๐ฃ๐
https://screwlisp.small-web.org/lispgames/NicCLIM-example-html-table/
Not an overly heady #commonLisp #gamedev #devlog #example for my #NicCLIM (Using #McCLIM) .
#programming #html
#embeddableCommonLisp's #ffi (*not* libffi) #commonLisp #Cxx #programming example - taking base64 encoding C++ function/namespace from @jeremy_list 's secure scuttlebutt implementation, and using it for extremely portable common lisp rather than nonportable haikuos C++. A straightforward but technical indicative example.
https://screwlisp.small-web.org/fundamental/cxx-embeddable-common-lisp-habitat/
Though! My one seems to get half the out bytes wrong x_x Edit: I forgot three cdrs, now works 100%.
Anyway, the #ecl #example is working.
Edited 1y ago
tags.pub is a new service under development by the Social Web Foundation. It is a global hashtag server -- it lets you follow a hashtag across the Fediverse. There's lots of information on the tags.pub home page, and I (Evan) did a talk about tags.pub at FOSDEM 2026. This blog post answers some basics about tags.pub.
To follow a hashtag globally, search for a user with that name at tags.pub, like <a rel="mention" class="u-url mention" href="https://tags.pub/user/example">@example</a> for the #example hashtag. Follow that account, and it will share all the [โฆ]
tags.pub is a new service under development by the Social Web Foundation. It is a global hashtag server โ it lets you follow a hashtag across the Fediverse. Thereโs lots of information on the tags.pub home page, and I (Evan) did a talk about tags.pub at FOSDEM 2026. This blog post answers some basics about tags.pub.
- To follow a hashtag globally, search for a user with that name at tags.pub, like @example for the #example hashtag. Follow that account, and it will share all the content it sees with that hashtag to you. If you unfollow the account, it should stop sharing to you. The usernames only have letters and numbers in them, and they only go up to 64 characters.
- To share your content with tags.pub, search for and follow the @_followback account. It will follow you back (thus the name) and your public posts will be shared by the hashtag accounts on tags.pub. If you unfollow the follow back account, it will unfollow you back, and your content will no longer be shared.
- You can connect a whole server to tags.pub by using the relay interface. Add
https://tags.pub/user/_____relay_____/inbox (Mastodon) or https://tags.pub/user/_____relay_____ (Pleroma) to your server relays. This is a one-way pipe โ your server will send public posts to tags.pub, but tags.pub wonโt send all its public data back to you. Instead, your users should follow hashtag accounts to get specific feeds. - We respect your agency. If your server is connected to tags.pub and you donโt want it to boost your content, add #NoTagsPub to your bio. If you already have #NoBots, that should be plenty. Youโll still be able to follow tags.pub hashtag accounts. If you donโt want to see or be seen by tags.pub at all, you can block the domain โtags.pubโ entirely.
- Becoming the โglobalโ hashtag server is a goal. We are still ramping up, and there are a lot of people and servers that are not yet connected.
- tags.pub will not share your content with accounts or servers that you have blocked. It only shares the link to your content, so your block will be respected.
- tags.pub is developed and operated by Social Web Foundation. We are a US non-profit. The servers are located in Beauharnois, Quebec, Canada in a data centre run by OVHCloud, a French corporation. We try to keep the data storage to the absolute minimum necessary to provide the hashtag sharing service. There is no search index, and we donโt archive your content. The code is Free and Open Source software under the AGPL-v3.
- If you have a feature request, or a bug report, please add a GitHub issue. If you have a private comment or question, please use our contact form.
Edited 197d ago
https://lispy-gopher-show.itch.io/lispmoo2/devlog/1481398/homespun-acl2-handler-bind-condition-handling
#acl2 simple introduction to acl2 for the #commonLisp inclined.
loop$, apply$, thms oh my.
In particular, I implement a model of a simple case of the common lisp condition system that is directly compatible with both ansi common lisp and acl2. (a computational logic for applicative common lisp).
#firstOrderLogic #theoremProving #programming #logic #example
Technically this is in support of my lisp / moo compatibility layer but I am not going to beleaguer the tag.
#commonLisp #conditionHandling #programming #example
https://lispy-gopher-show.itch.io/lispmoo2/devlog/1487350/iterating-grandfather-clock-using-ansi-common-lisp-conditions-as-such
The gist is a clock that chimes (cuckoos, here, I guess) harnessing the power of conditions.
I think this sm0l article indicates that ansi common lisp condition handling is a more powerful expression of but similar to unix pipes; look at what modifying the handlers does and is like in the article.
SADLY I am not available for the #lispyGopherClimate sundaymorningineurope.
An appointment was made without asking me.