‮✅ nahtaiv3L is a user on mastodon.social. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.

‮✅ nahtaiv3L @l3viathan@mastodon.social

Later today heading to his place

These days I am seriously considering unrooting my phone just for banking purposes. Then again I did order a chipTAN device. Decisions, decisions...

On the way to Prague for thesis submission

Aceto has a decision to make regarding new commands.

A) Remove commands
B) Use a special codepage
C) Extend and lose 1byte=1char
D) Use control characters

github.com/L3viathan/aceto/iss

Math question, <s>stolen</s> adapted from PPCG:

A void list, for this question, is a list that is either empty, or contains only other void lists. For example, [], [[]], [[[]],[[],[]]] are three void lists, but [[3],[]] is not one.

The task is simple: Construct a bijection between natural numbers (with or without 0, your choice) and all possible void lists, i.e. there is exactly one void list for each natural number, and exactly one natural number for each void list.

I've written a tiny little editing helper for Aceto. See it in action: asciinema.org/a/57a0wa44k6lowe

Just pushed it to Github.

Aceto 1.6 was released. Now all of printable ASCII has a meaning, also, we're full and can't add any more commands without figuring something out. I'd like to add more, though. Feedback welcome (regarding the options we have).

github.com/L3viathan/aceto/rel

TIL Bunny Lebowski and Danni Sullivan are played by the same actress.

Only 5 printable ASCII characters unassigned in Aceto: a, g, y, G, and Y. Suggestions?

Aceto 1.5 was released, with a few new commands, most importantly the new range commands z and Z:

github.com/L3viathan/aceto/rel

Aceto 1.4 was released, with new features such as wrapping around the curve, quick storage, and more comparison operations.

github.com/L3viathan/aceto

We must now confront an uncomfortable question. Why did so many French people vote for Emmanuel Macron? Was it a lack of economic anxiety, or a lack of racism?
newstatesman.com/world/europe/

Anyone got $4000 to get me the domain an.adult?

New colorcoding on Aceto's readme, I hope it helps readability and finding desired commands quicker github.com/L3viathan/aceto#com

My first Aceto codegolf answer that beats even many codegolfing languages, quite proud: codegolf.stackexchange.com/a/1