ioanna @ioa@functional.cafe
logician programmer - lisper - igalian working on compilers (c++) and webassembly - pronouns: she/her/they.
Joined May 2020
Pinned post
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:
https://www.igalia.com/coding-experience/
Several areas of work are possible.
We're very remote-friendly.
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 :)
KawaiiPunk 
ioanna
boosted
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: https://european-lisp-symposium.org/2021
#lisp #racket #dylan #ACL2 #commonlisp #scheme #elisp @commonlisp @scheme @racket
ioanna
boosted
The Y Combinator Codex just got its own blogpost with many photos.
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.
😃
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
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. [...]"
https://www.igalia.com/2021/04/14/Change-of-course-urgently-needed-at-Free-Software-Foundation.html
ioanna
boosted
Red Sprite Lightning over the Andes
Image Credit & Copyright: Yuri Beletsky (Carnegie Las Campanas Observatory, TWAN)
💯 -> https://twitter.com/laurieontech/status/1376724893195177984
<<“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:
https://www.igalia.com/coding-experience/
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.
https://en.wikipedia.org/wiki/Singular_they
Not that this adds anything though, hateful is hateful, and so are the attacks on people's personal preferences concerning themselves.
ioanna
boosted
Statement on Richard Stallman rejoining the FSF board
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 #Guile / #Scheme intro:
http://muto.ca/posts/planting-flowers-in-guile.html
Still needs a lot of work. Heck, it was messy!
logician programmer - lisper - igalian working on compilers (c++) and webassembly - pronouns: she/her/they.
Joined May 2020
