Show more
lyxia boosted
lyxia boosted
lyxia boosted

This is beautiful and I've never thought about this before:

the convention we have in Unix to pass pre-opened stdin/stdout/stderr fds is not just a nice way to tell the program where to read its input from and output its result/logs to; it is exactly how capability passing should work in a capability-based system. This also is another reason why accepting an -o option (for "output file") is a bad idea.

lyxia boosted

We wrote an open letter (in French) to protest against France's renewal of their Elsevier subscription for 4 more years:

blog.dissem.in/2019/lettre-ouv

lyxia boosted

My, I like new changelog links on @hackage posts!

Now I want to give every package an ActivityPub outbox and a profile page. And that brings me back to implementing a #Fediverse capable feed server.

lyxia boosted

to formally model "stuff, structure and properties".

math.ucr.edu/home/baez/qg-spri

> given groupoids c,d and a functor u:c->d, the objects of c can
be thought of via the forgetful functor u as objects of d with
an extra _property_ iff u is full and faithful, as objects of d
with extra _structure_ iff u is faithful, and as objects of d
with extra _stuff_ regardless. -- James Dolan

lyxia boosted

The "Selfie" attack on TLS 1.3 explained, and why formal verification efforts didn't catch it:

nadim.micro.blog/2019/04/11/se

Heard on IRC:

<Tuplanolla> (...) Haskell, which is basically Diet Coq (...)

lyxia boosted
lyxia boosted
lyxia boosted
lyxia boosted

git-send-email.io/ is live! 🎉
This is an interactive tutorial which will teach you how to use git send-email to contribute to open source projects using git's built-in email tools.

lyxia boosted
lyxia boosted

Cher Mastodon, je cherche à lister les #logicielslibres produits ou améliorés par des laboratoires de recherche français, peux-tu m'aider?

Les contributions sont les bienvenues sur ce dépôt : github.com/bzg/logiciel-libre- 🙏

lyxia boosted

Depuis que je sais que « force » en latin, ça donne « vim » à l’accusatif, je me dis que « J’utilise vim » ressemble beaucoup à une phrase de Star Wars parlée en #latin. 🤔​

I learned about golden from here

ro-che.info/articles/2017-12-0

Initially I thought "what's the point" but I eventually saw the light. Keep the raw data separate from test scripts, so when it changes intentionally you can easily --accept it instead of messing around pasting strings into your source code.

Show more
niu.moe

Welcome to your niu world ! We are a cute and loving international community O(≧▽≦)O !