Toot

Written by Chorist on 2024-11-12 at 15:17

I just realized that I’m using the term “filter” inconsistently in my language design. Sometimes it means “filter stuff like this OUT (and give me what’s left)” and other times it means “filter out everything BUT this stuff”.

So what’s a good term (verb) for “filter out everything BUT this stuff”?

=> More informations about this toot | View the thread | More toots from chorist@merveilles.town

Mentions

Tags

Proxy Information
Original URL
gemini://mastogem.picasoft.net/toot/113470647558215494
Status Code
Success (20)
Meta
text/gemini
Capsule Response Time
216.410586 milliseconds
Gemini-to-HTML Time
0.375603 milliseconds

This content has been proxied by September (3851b).