Show newer

i've discovered the gnu 'pr' binary in my system a few days ago. it says it prepares text files for printing. interesting thing: if you give page length parameter the number of available lines of your terminal, and then pipe the output to 'less', the terminal becomes a very simple book viewer.

started to read the book "proof theory, the first step into impredicativity" by wolfram pohlers. the book starts with a definition of primitive recursive functions. i've began to understand some parts of it.

this channel is compiling the works of çekiç ali, an artist from kırşehir. according to the existing information, perse thinks there only a few known songs left to discover. though, the subject is niche and wild, and therefore is nontrivial to study.
youtube.com/channel/UCSrxlqV4f

why do even capital letters exist? ThEy'Re UgLy and Obfuscating.

In 2001 I created my shell account on sdf.lonestar.org. 20 years later, back to where it started :)


hey, i'm abdullah, a mathematics student at the only francophone university in turkey. i've been using unix-like systems since 2015 and i adore typesetting (especially in tex).

Mastodon @ SDF

"I appreciate SDF but it's a general-purpose server and the name doesn't make it obvious that it's about art." - Eugen Rochko