opfez

I accept most follow requests, but I'd appreciate if you send a message beforehand :)

music, mathematics, languages, sometimes programming

site: http://tilde.town/~opfez
pronouns: gender neutral or masculine
languages: no/en/tp/(fr/ru)
language alt: https://polyglot.city/@opfez

Last Notes

2025-12-17 20:48:57 UTC

- reply

It's more like how vim's seach with / works, but exiting the search places you at the first hit. vim's t/f is per character, instead of matching a string.

2025-11-13 00:05:00 UTC

most of the things i find on the smallweb (gopher/gemini) stopped getting updates around 2021/2022 - did these protocols sort of die around then?
or; did the newfound interest in them die around that time?

2024-10-09 14:03:26 UTC

whats a decent laptop for around 500 € ? used laptop recs also welcome :)
(background - my thinkpad x220 hinge snapped in half and the chassis in general have been falling apart, so i prefer sturdy construction)

2024-09-22 20:59:13 UTC

- reply

ah, yeah shorting fractions isn't necessary, it's just that by their definition, a fraction (np)/(nq) = (mp)/(mq) for any n, m. this allows shortening, but doesn't require it, like you note. if you're ever curious, i'd recommend taking a look at the constructions of our numbers (ℕ, ℤ, ℚ, and most importantly ℝ) at some point! you already know ℕ from the peano axioms but it gives a lot of deep insight into a lot of mathematics rather quickly :)

2024-09-22 17:03:18 UTC

- reply

what you want is a tuple. fractions (i.e. numbers in ℚ) are just tuples equipped with an equality relation allowing for reducing the fractions (so reduction is allowed for them to be equal). a tuple without this equality relation will "preserve the information" as you seem to want

2024-08-19 21:30:12 UTC

- reply

np! if i find one another, do you want to be notified here?

2024-08-19 21:27:03 UTC

@npub1z8r…mrq6 hi! don't know if this is the right place for it, but i found a broken link on your now page - the link to "Uxn core" refers to https://wiki.xxiivv.com/etc/uxnmin.c which doesn't exist.