Show newer
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:

@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:

@lisp @scheme

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!

ioanna boosted

Today we're kicking off the #GNU Assembly!

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. [...]"

ioanna boosted
ioanna boosted

Red Sprite Lightning over the Andes

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

💯​ ->

<<“Free thought and speech” isn’t the same as “give the asshole a megaphone”>>

ioanna boosted

@ioa Thumbs up Igalia for being such a model not only as an organization that builds key freedom-respecting pieces of software, but also as an egalitarian cooperative! <3

People working on web engines:

This year our (remote) Igalia WebEngines Hackfest will be early May - I can't wait! 🤓​

Did I mention that we at Igalia are hiring? We're hiring! Join our respectful egalitarian flat cooperative structure and let's build free open source software together. ❤️​

For students we also offer a CE programme:

Several areas of work are possible.
We're very remote-friendly.

It's worth noting that the arguments self-righteous people use in attacks on people's preferred pronoun "they" are entirely invalid. The singular "they" has been in use since the 14th century.

Not that this adds anything though, hateful is hateful, and so are the attacks on people's personal preferences concerning themselves.

ioanna boosted
ioanna boosted

Okay I'm going to bed. Just wanted to say I've been working hard trying to /kind of sort of/ clean up my 2018 / intro:

Still needs a lot of work. Heck, it was messy!

ioanna boosted
Show older
Functional Café

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