Marco Dalla Stella @mdallastella@functional.cafe

I know that Uncle Bob is not everybody's darling anymore these days and rightfully so, but he's written a nice blog post on using Clojure spec to meet his needs for types: https://blog.cleancoder.com/uncle-bob/2021/06/29/MoreOnTypes.html
#clojure

Looking for an artist to design a logo

For some time I have been working on programming language, KAP, which is a derivative of APL. The implementation is open source, as all languages should be.

The project itself does not have a logo, and all programming languages should have a logo.

Now, I have exactly zero artistic skills, and I know there are artists here that could help me out.

I will of course pay for the effort, since I do not expect anyone to create a logo for a project they do not use for free. If you have an idea, then let me know about it and how much you want for the effort and I'm sure we can come to an agreement.

Just look at the project page and you'll see just how empty it seems without a logo: https://github.com/lokedhs/array

If you hear anyone say "the vaccine doesn't work, you can still get COVID", then show them this graph.

You might still get COVID, but you are much more likely to not have any serious effects.

The graph was snipped from the latest Singapore COVID situation update: https://www.moh.gov.sg/news-highlights/details/update-on-local-covid-19-situation-(2-july-2021)

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