Show newer
ioanna boosted

As there’s no upgrader for Elementary OS 5 → 6 (this is hopefully going to be something those lovely folks fix for 6 → 7, as it’s really a glaring missing core feature in 2021), I’m going through and trying to track down any customisations I’ve made to the system.

One of them is a script that runs when I plug in external monitors to set text sizes differently on different monitors to make them usable as Elementary OS doesn’t support fractional scaling:

gist.github.com/aral/9cf2eee6d

#elementaryos

ioanna boosted

“How does one hate a country, or love one? … I know people, I know towns, farms, hills and rivers and rocks, I know how the sun at sunset in autumn falls on the side of a certain plowland in the hills; but what is the sense of giving a boundary to all that, of giving it a name and ceasing to love where the name ceases to apply?”

— Ursula K. Le Guin (The Left Hand of Darkness)

Via @neil

ioanna boosted

Please check in on your loved ones folks. Also check in on yourself and ask yourself do you need help in some way.

This is an extremely trying time for us all. We need to survive this.

:boost_ok:

ioanna boosted

People talk about "releasing" software, stop doing that!

Software raised in captivity cannot survive in the wild! Feral software is also a big threat to digital biodiversity. Do not release software.

I found the perfect earrings for programmers. 😁🐥

Going through a long heatwave with this wonderful book about climate change. 🥵

ioanna boosted

But we also put a lot of value on follow-through in hobbies and creative spaces.

And I think sometimes we transfer the value that comes from completing care tasks (dinner is edible! dishes are clean!) and work tasks (employer does not fire me! also I like fixing stuff!) without asking the same why!

Unfinished project? Well, did you just not vibe with it? Was it a good creative experiment but then you wanted to experiment with something else instead?

Show thread
ioanna boosted

Check it out:

gts.superseriousbusiness.org/assets/swagger.yaml

A GtS instance can be used to serve the swagger/openAPI specification, which instructs clients how to interact with it.

In other words, the API of a deployed instance can be self-documenting :)

ioanna boosted

Has anyone ever got #Signal messenger working on an Android tablet?

pls boost :boost_ok:

ioanna boosted

They made a game about writing your first compiler optimization pass

Lispers of all dialects!

Tomorrow CEST-morning the European Lisp Symposium ELS2021 finally starts.

Exciting schedule all day long, ending with a panel discussion on implementations of ANSI Common Lisp 🤩

Join us online with any of the options listed: european-lisp-symposium.org/20

@commonlisp @scheme @racket

ioanna boosted

Did I say it will also include formal proving? Yes, she'll stage a miniKanren based "proof checker turned prover and various towers of interpreters for generating quines" too.
😃​

@lisp @scheme @clojure @commonlisp

Show thread

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: european-lisp-symposium.org/20

@lisp @scheme
@clojure
@commonlisp

ioanna boosted

Hey Europeans, there's a European citizens initiative going round right now for universal/unconditional basic income.

The deadline has just been extended to the start of May.

Be cool if you signed it!

eci.ec.europa.eu/014/public

ioanna boosted

Today we're kicking off the #GNU Assembly!

gnu.tools

This is a new umbrella for GNU people seeking transparent decision-making and built around consensus. It's the result of a decade of struggle to make #GNU inclusive, transparent, and community-driven.

#GNU contributors: consider joining!

#FreeSoftware activists: help us spread the word!

Igalia's statement on RMS and the FSF.

> "We at Igalia are dismayed that Richard Stallman is back in a leadership position at the Free Software Foundation, after being forced to resign 18 months ago due to a pattern of sexist behavior. After all of the efforts of the community and FSF staff to build an inclusive movement for software freedom, we are baffled that the electors of the board chose to reinstate Stallman without any explanation, much less an apology or remediation for past behavior. [...]"

igalia.com/2021/04/14/Change-o

ioanna boosted
ioanna boosted

Red Sprite Lightning over the Andes

Image Credit & Copyright: Yuri Beletsky (Carnegie Las Campanas Observatory, TWAN)

apod.nasa.gov/apod/ap210330.ht #APoD

Show older
Functional Café

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