Show newer

Hello users!

Tonight (7pm GMT circa) I'm going to upgrade to the latest Mastodon release, so some downtime may be possible.

You can find the release notes here:


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:

@lisp @scheme

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.

John Lennon - Imagine, in the version pulled from the book Data-Oriented Programming:

Hey, users! Looks like the server migration has been successful!

I still have to tune some little details, pgbouncer for example, so there can be other minor hiccup in the service.

As always, you can contact me if you notice anything weird.


Hello fellow users.

In case you've missed the administration announcement, I need to migrate the actual instance to another server.

It will take part of the weekend (6-7/2) and the instance will not be available.

Thanks for your patience.

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

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

Hello ,
Thanks to now has its own status page at where you can see if the main site has any problem and keep updated with the resolutions.

I woke up early, got bored, hyperfocused and wrote a graphical utility for calculating bidding values of hands for in one sitting. Only a bit over 500 lines of . Give it a try here:

Pixelfed will be a year old in a few days.

I'm a high school dropout that has never taken any CS or computer classes.

Web development is just a hobby of mine, I work in the auto industry.

I'm so proud of this project, I never would have imagined that I could make something like this.

Thank you for helping me realize credentialism isn't so important as you think. ❤️ :pixelfed:

I'm slowly migrate myself to, the new Pleroma instance of , just to understand how hard it is to self-migrate.

A self-migration means the old statuses from Mastodon will be lost.

Does anybody use a curved monitor for work? I was wondering if it can be convenient having a single big curved monitor instead of two smaller ones. Maybe one 34" ultrawide instead of two 24" flat...

Hi guys,

Sorry for the unannounced downtime, I updated the instance with the last changes of (the Mastodon fork we are using).

Thanks for your patience.

Are you a programmer and/or know a bit about Mastodon's export? The instance I'm on,, plans to move to , but the only migration tool doesn't support 3.0 :( We're running Glitch v3.2.0+glitch.

Here's the issue:

@mdallastella is the instance admin, he'll probably be able to answer further questions.

Can anyone help?

Show older
Functional Café

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!