Marco Dalla Stella @mdallastella@functional.cafe

Some big news to round off the trifecta of our IRC gateways: our matrix bridge is now available! You can connect to foo:http://libera.chat where #foo is the channel.

A big thanks to @matrix for their support - we know a lot of our communities view Matrix access as a big deal!

Libera is a week old, and we've come strong out the blocks. Thank you to our 20,000 users for your support, enthusiasm, and patience.

I've written a little about our first week and some of the projects we host here: https://libera.chat/news/one-week-of-libera-chat

~kline

#irc #liberachat

My personal #mastodon experience still suffers from crossposts from #twitter, with user names that don't make sense in the #fediverse.

I can unfollow crossposter's accounts, but I don't want to unfollow everyone who boosts a twitter crosspost.

Please, #fediverse, let's boost the fediverse, not twitter. If we want to share a good tweet, let's treat it like any other URL from the web.

The ELS2021 programme is out! I am VERY excited about

⭐​ Nada Amin's keynote
"Staged Relational Interpreters: Running Backwards, Faster" ⭐​​

including logic programming, miniKanren, compilers from interpreters, and only good stuff!
🤩​

Excerpt from the abstract:

> Bringing multi-stage programming to relational programming, we derive a relational compiler from the relational interpreter.

🚀​

Full abstract on the symposium's website: https://european-lisp-symposium.org/2021/index.html#highlights

#lisp #miniKanren #logic #compilers

@lisp @scheme
@clojure
@commonlisp

Every now and then I bust out a Lisp interpreter and poke at it for a few hours, and think about how much less software would suck if it had gotten popular instead of C. Lisp may be the most beautiful written language of any kind, and as an industry we’re stuck in a loop constantly trying to reinvent it, badly.

Just finished a full #Emacs #rmail article today (something I wanted to write since I first created the blog)!

I finally feel like I've given rmail enough attention.

http://muto.ca/b/19-Rmail.html

> BookWyrm is a social network for reading, reviewing, and talking about books. BookWyrm is ad-free, anti-corporate, open-source, and federated.

https://www.bookwyrm.social/

h/t @darius @darius

The video is now live at https://www.youtube.com/watch?v=pkqQq2Hwt5o

Thanks for the chat!