• 你好～！欢迎来到萌娘百科！如果您是第一次来到这里，点这里加入萌娘百科!
• 欢迎具有翻译能力的同学～有意者请点→Category:需要翻译的条目
• 如果您在萌娘百科上发现某些内容错误/空缺，请勇于修正/添加！编辑萌娘百科其实很容易！
• 觉得萌娘百科有趣的话，请推荐给朋友哦～
• 萌娘百科群119170500欢迎加入，加入时请写明【萌娘百科+自己的ID】～
• 萌娘百科Discord群组已经建立，请点此加入！

RedstoneDave

Welcome to MoegirlPedia
Here is the user page of RedstoneDave the patroller
To contact him, please go here
On the ground we live,
yet beyond the sky our dreams reach

…… we have, with this brain, a tiny thing,
a septillion times smaller than the tiny planet it lives on,
discovered something true outside of the physical realm,
something that applies to the real world,
but is also strong enough to go further,
past what the universe it self can contain,
or show us, or be.

—— Vsauce

Personal Information

Real Name Basic Information [DATA EXPUNGED] RedstoneDave, Dave, RD 633 Pages! 1,819 Edits! 702 Points! B Cancer Jul. 3rd 15 [DATA EXPUNGED] [DATA EXPUNGED] Black Black programmer, OIer,student, genki Songyuan Jilin China 正在放萌百假期(not always accurate) MJHSomeyaMakoSugaryMegmin玄微子Amahikari HakuryuuFunkierWheatMartin Zhaoevery maintainerand so on. NULL

RedstoneDave is a character of Earth Online and its derived works.

RedstoneDave is a teenager from a small city in China. The name "Dave" is from pvz.

He is a somewhat lazy boy. He made lots of plans but could hardly realize them. He wanted to try to play Touhou games and some Galgames, but probably this won't be ever done.

Dave is also very naïve; he knows little about the art of language and is often misunderstood when communicating. But, he is trying hard to use proper language yet sometimes still causing the opposite effect as intended.

He does a lot of typo, maybe he needs a better typing software or better hands.

Since Dave is an OIer, he writes a large amount of badly written code, and he has a weird habit of abbreviation. For instance, for a variable name that is supposed to be "first", he uses "fst" instead(but it still reads "first"). Because of this habit, his codes are pretty hard to read. (Yet unlike some other OIers, he hates using the short of pronunciation of hanzi for variable and function names.)

What he likes

The user is a great fan of Minecraft, and he loves Luo Tianyi as well.

He's an OIer and he wishes that one day he could AK IOI.

His preferences on debugging

Probably, through this, some of his personalities would be shown.

Situation First Default Second Default
Integer 998244353 114514(1919810)
Large Integer[1] 808017424794
512875886459
904961710757
005754368000
000000
N/A
Color #66ccff #39c5bb(or #ee0000)
Short string Hello world Luo Tianyi
Medium string A quick brown fox
jumps over the lazy dog
Long string Lorem ipsum It's a beautiful day outside, (ry

Some formulas that he likes

• $\dfrac{1}{i} \equiv \left(p - \left \lfloor \dfrac{p}{i} \right \rfloor \right) \times \dfrac{1}{p \bmod i} \pmod{p}$
• $\mathrm{e}^{\mathrm{i}\theta} = \cos{\theta} + \mathrm{i}\sin{\theta}$
• $\cos x = \dfrac{\mathrm{e}^{\mathrm{i}x} + \mathrm{e}^{-\mathrm{i}x}}{2}$
• $\sin x = \dfrac{\mathrm{e}^{\mathrm{i}x} - \mathrm{e}^{-\mathrm{i}x}}{2\mathrm{i}}$
• $F_i = \dfrac{1}{\sqrt{5}}\left[ \left( \dfrac{1 + \sqrt{5}}{2} \right)^i + \left( \dfrac{1 - \sqrt{5}}{2} \right)^i \right]$

What he hates

May change a lot as the time passes

No more sad stories, enjoy ur life, mate.

His experiences

Unfortunately, for some reason, information on his experiences is mostly lost. But there are still some available.

• In the summer of 2012, after the first year of primary school, he paid a visit to his cousin's house in America, and stayed there for a month. As a comparison, the first library of Luo Tianyi was released then.
• In the summer of 2017, he became a middle school student.
• In September[来源请求] of 2018, he became a fan of Luo Tianyi not long after that he realized that Luo Tianyi is a virtual idol.
• In 2018, he began to study programming and wished to be a great programmer.
• In August of 2019, he met MoegirlPedia and tried to make some contributions but made little effect.
• In November of 2019, he attended the CCF-CSP-S and got a score of 129(which is a bad one).
• In Feburary of 2020, he made his first edit in EnMGP, then the Luo Tianyi's page was built.
• On 21st March 2020, he became a goodeditor. (a milestone!)
• On 30th March 2020, 1<<10 edits accomplished! (another milestone!)
• On 12nd July 2020, fan No.004575 got, a little bit late :(
• On 27th, 28th, 29th July 2020, he took the senior high school entrance exam(aka. "中考"), this marks the end of his junior high school life.
• In the summer of 2020, he began to learn his third language: Japanese, in order to get the rid of "ja-0".
• At the present, he is considering about whether the reality is reliable or it's just a dream or a game or maybe even worse

Others

Of course, He writes a lot of codes, and you could get a source code written in python here, but before you run it on your computer, be sure you have downloaded pygame.

RedstoneDave owns User:RedstoneDave and U:RsD as his puppet accounts, their subpages might be used as shortcuts to RedstoneDave's subpages.

Userboxes

 This user often cools down the QQGroup。
 en-4 This user is able to contribute with a near-native level of English.
 zh-n 此用户的母语是汉语。
 ja-0 この利用者は日本語が分かりません。
 Pa-trol This user is a patroller in Moegirl Pedia
 $\Large{\color{#66ccff}{\infty}}$ This user loves Luo Tianyi

Note

1. Luo Tianyi's page in enMGP was translated, go and check it out!
2. My main sandbox and small sandbox.
3. A tutorial on how to convert numbers from one number system to another.
4. A note on how Mediawiki converted your wikitext into html.
5. Did you know that ...
6. NULL
1. (bigger than what unsigned long long can store)