User:Virinas-code

fr-N	Cette personne a pour langue maternelle le français.

en-4	This user has near native speaker knowledge of English.

de-1	Dieser Benutzer beherrscht Deutsch auf grundlegendem Niveau.

This user is a functioneer on Wikifunctions. (verify)

Wikimedia project family logos

Virinas-code is this user's
unique login
for all Wikimedia projects.

\exists x

This user does not like the axiom of choice.

{|} This user avoids HTML tables.

λ

This user believes object equality (Z13052) is useless.

{\emptyset}

This user loves the set-theoretic definition of natural numbers.

?

This user may or may not be going insane.

<p> This user despises the way Wikisource handles paragraphs.

: This lazy user sometimes uses : for text indentation.

:3

Despite the above userboxes this user is nice :3

This is a Wikimedia global user page.
If you find this page on any site other than a Wikimedia one, you are viewing a mirror site. Be aware that the page may be outdated, and that the user whom this page is about may have no personal affiliation with the site. The original page is located at https://meta.wikimedia.org/wiki/User:Virinas-code.

Welcome to my user page! I mainly use it to complain about various random things. This page is available both in French and in English btw ;)

If you need help or want to contact me, visit my user talk page! I regularly check Wikipedia, so I should answer in a few days max :) I'm still a beginner with most subjects, any tip is welcome!

I mostly work on projects linked to computer science, like copying works on this subject on Wikisource, or creating functions on Wikifunctions. I hope that I'll be able to contribute to Abstract Wikipedia once the project is more mature.

Projects

Wikifunctions

Mark f:Z34538 as hereditary

The latest issue I've run into is that, while my Python stuff is (I believe) quite fast, the conversion into ZObjects isn't. An example is f:Z39299: testing it on a Python shell makes it output the required list instantly, but Wikifunctions complains about recursion limits.

Wikisource

Works I work on

An Artificial Intelligence Approach to Discovery in Mathematics as Heuristic Search (Q140196293)

Works to maybe start/finish one day

Theory formation by heuristic search: The nature of heuristics II: Background and examples (Q60620970)
Ahmed Rashidi -- Combatant Status Review Tribunal Decision Report Cover Sheet (Q19032317) (Source is a dead link, no index)

Wikidata

To be filled in with other sources

To work on

Done

3 (L19333) (add cat mouth sense)

Meta-Wiki

Replace Template:L as a link to a Wikidata lexeme, or implement support for lexemes in Template:Q
Finish this page's translations

Complaints

On f:Z853 and f:Z823

On Wikifunctions, every function has one or more implementation, and those implementations can use different languages, technologies, algorithms, etc.^{[A 1]} It allows abstraction between the function and the code backing, which is quite awesome! When calling a function, the implementation used is automatically determined by the software based on the performance of each implementation and on their connected status.^{[A 2]} This allows minimization of function call times and server loads.

A key aspect of Wikifunctions is purity (term I shamelessly stole from the w:NixOS community^{[A 3]}). This means a function's result will always be the same given the same inputs.^{[A 4]}

Notice that this applies to function, not implementations: all implementations should have the exact same behavior, which is ensured by tests. Otherwise, the same function call could return different results based on which implementation is currently in use. Adding a function implementation should never break other functions!

[to be continued...]