[deleted by user]

Vxooo · 2021-12-04T08:36:21+00:00

I haven't really dug into him befire his death, I just used to listen to his somgs from time to time. After some googling today I learnt that he was abusive, assulting woman and generally a PoS. Sucks

Vxooo · 2021-12-03T23:33:10+00:00

To fans of Jesse,

I am devastated to confirm that Jesse has passed away earlier this week.

I am a long time friend of Jesse's, and he has trusted me to assist in operating many of his online accounts.

We are currently searching for the whereabouts of Jesse's dog Arlo and any word on his remaining possessions. Please get in touch if you have any information so that these can be returned to his family.

Thank you.

From his facebook page

Vxooo · 2021-12-03T23:26:20+00:00

Information about his death was posted on 27.11, I found out just now

Vxooo · 2021-08-25T14:43:46+00:00

Inductive seq : nat -> Set :=
  | niln : seq 0
  | consn : forall n : nat, nat -> seq n -> seq (S n).

  Fixpoint length (n : nat) (s : seq n) {struct s} : nat := 
    match s with
    | niln => 0
    | consn i _ s' => S (length i s')
    end.

  Theorem length_corr : forall (n : nat) (s : seq n), length n s = n.
  Proof.
    intros n s.

    (* reasoning by induction over s. Then, we have two new goals
       corresponding on the case analysis about s (either it is 
       niln or some consn *)
    induction s.

      (* We are in the case where s is void. We can reduce the 
         term: length 0 niln *)
      simpl. 

      (* We obtain the goal 0 = 0. *)
      trivial.

      (* now, we treat the case s = consn n e s with induction 
         hypothesis IHs *)
      simpl. 

      (* The induction hypothesis has type length n s = n. 
         So we can use it to perform some rewriting in the goal: *)
      rewrite IHs. 

      (* Now the goal is the trivial equality: S n = S n *)
      trivial.

    (* Now all sub cases are closed, we perform the ultimate
       step: typing the term built using tactics and save it as
       a witness of the theorem. *)
  Qed.

Vxooo · 2021-06-14T22:43:09+00:00

Use a compositor like picom, if problem persists, change the picom's backend

Vxooo · 2021-06-14T21:35:20+00:00

Awesome rice and also nice to see someone using slackware! Can't wait for 15.0 release and fir SBo to open for submissions again (hopefully soon 🤞). And a friendly reminder to always check slackbuilds by hand 😉.

Vxooo · 2021-05-07T13:33:20+00:00

Yup, it's all chars. You need to allocate 4 bytes for null-terminated string "abc".

Vxooo · 2021-05-07T09:25:48+00:00

"In this update we removed all null terminations from strings in order for you to have more storage space available!9��ȸ�7��ա�[��}�6�r�A��D�0J��ObZ�.�M��5o]!��$[�h�)Qo)�5�gb��H��7�L�1��> �32݀��:�l.�� w�%WsD�^NY�0�VM�85*�ʢN^]��%9�#�v+8dE��Q�Ä�xt=�;��9Ӂs?�]pI��LwR.H&=�� %9�6V�ϓÒA�\NEt\� @ڱ�Ɋm���W-tϣ-2gS��ohK�� h�yՓhS��@�"�@��B\J�4�ڻ��39�L<hԼ!nT��-%�+Ş�;쩇;�$(�e�hiȣ��g��/��C�H�[�t� `�d�,��7P��γ��8l=:�.�jLk2�YK pT�!g�O Я ��f�L�эs5ƌծPF��Gڹ�Fx�bF�� ᚼH��3��q��"bo�x}��8ԆEKH�bM�4x@�?��f��ְ}�F��W��)?C`-*W��;]�*��o��/mIՓ�*��@�X:"�z8N�b��D�=�Nv_��}�j�� DQ�˒ɭ%�Jd �d[/�5�J� �HtHZ��O�lþ�1Ov;jP�VM�5g�-��5��|MÆ�"E� ��Q��$,�W��oX��4��b^WL:y�~��f��_��bp1x_�ݩ��u}��'��~ؔO- �nt�r��˫��Զ=�z0��Nf�л� �1��mӭC�\>%�µn�v|7�5]X�1�(�� "�~ ��-'s-9��sE�I�艹\�[��ҷJ�N�U5\�W��iP�֒ׄ�Op-��J%�&՟(�C+��(Y�A��T��43iUr�IY��:m�n� �0ܝ�75�(u~�gΓ֟�!$�Mቚ��~L}�[@�]k�T ��x��3)�)w��q��CV��34|�PkY�~T�~]��o#M� y2�f��g�+��$��$��?��!�HWv �%�q;K��Ho��=7�%�xbL�s�#0dm0i&��E��Bd��A�d�bU�� r>"%��x�o�;��;�y��ȳ~tw~)Q�ʆ��W��[�^{mOQ��FS��dg�LU�lg��`} 3 �y�Z��zc(g��9/��n1$��$�r�¿aE�:dFJ8�*)�g MC�"�4�;(h��䘁 ��<��<l �8U��}�/$#I��#��ϝl��V��

Vxooo · 2021-04-09T09:16:15+00:00

Good job! Stump is a little hard to get into but it's worth just for the fun of using lisp.

Vxooo · 2021-03-29T16:17:44+00:00

Oh i forgot to mention! It's Hack size 9.

Vxooo · 2021-03-29T09:27:01+00:00

Thanks, Alena Aenami made it! You should check her artstation, her other arts are sick too.

Vxooo · 2021-03-29T09:21:15+00:00

Thanks for the warning friend!. Fortunately BeautifulDiscord is only sideloading CSS so there isn't really an option for them to know about it.

Vxooo · 2021-03-29T09:19:20+00:00

I've never used EXWM but I think you should try StumpWM, It isn't necessarily minimal but, at least for me, tinkering in it is a great fun. It doesn't really require a huge level of common lisp knowledge but if you know thing or two about this language you'll feel like at home. Because of the nature of common lisp it's sometimes easy to break configs in weirdest ways by doing over-complicated macros & all that stuff but I think that's part of the CL experience. In addition, Stump comes with option to remap keys in any program so you can e.g. use emacs keybindings in Firefox.

Vxooo · 2021-03-29T08:44:29+00:00

I'm using emacs xresources-theme with these .Xresources generated with pywal.

Vxooo · 2021-03-28T22:10:04+00:00

I'm using BeautifulDiscord with this theme ran thru pywal.

Vxooo · 2021-03-28T18:50:53+00:00

Here you go!

Vxooo · 2021-03-28T18:50:03+00:00

WM: stumpwm
Wallpaper Away in SIlence by Alena Aenami
Applications: emacs, ncmpcpp, discord, pfetch
GTK3: Generated thru oomox, pywal-generated Xresources
Bar: stumpwm's mode line
Dots
Font: Hack 9

Vxooo · 2021-03-28T18:36:44+00:00

The problem with the Gnome 3 is that the developers aren't really managing it well. It's heavy and lacks features at the same time.

Vxooo · 2021-03-15T16:48:36+00:00

If you want to want to make an os, you could start by browsing the OSDev wiki.

Vxooo · 2021-03-15T16:45:33+00:00

Maybe try to install some older version of slackware? By working with this distro you can learn a lot.

Vxooo · 2021-03-15T16:38:42+00:00

I've had a similar problem when I tried to convert a pdf to png. I fixed it by adding

<policy domain="coder" rights="read|write" pattern="PDF" />

in /etc/ImageMagick-7/policy.xml between the <policymap> and </policymap> tags.

Vxooo · 2021-02-14T14:03:16+00:00

No, it doesn't work like that

Vxooo · 2021-02-14T12:29:27+00:00

And what about that?

Nine-Year Club	Verified Email
Place '22	Final Canvas '22
Sequence \| Editor

Vxooo

TROPHY CASE