Marco Dalla Stella @mdallastella@functional.cafe

In the last few days I made some substantial advancements in my understanding of the so called continuations in Guile

Continuations have been elusive for years

FIRST @neetx suggested me this course (that can be interesting for more scheme features) and particularly this lecture about the continuations passing style

In this course a version of map is shown written in continuation passing style

I didn't understand it so I followed the SICP advice for when you don't understand a piece of code

I made the substitutions of the labda calculus by hand

So the lecture is here
https://www.youtube.com/watch?v=_kCa9heo834&list=PL_fXogTdDGQfj5-jLAxtR8-NPM2KNvyBU

and my work with the manual substitutions is here

https://gitlab.com/-/snippets/2189794

BUT the course doesn't illustrate the relationship between cps and the usage of call/cc

So I found another video where an example of usage of call/cc is shown for implementing a cooperative concurrency system

This one

https://www.youtube.com/watch?v=Ju3KKu_mthg&list=WL&index=2

I didn't watch it all yet but the example is very effective and made me do a real breakthrough in understanding

#guile

Why din't I do this investigation earlier ?

Because I was discouraged

Thank you again @neetx

https://ludotune.com/

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.