diff options
author | Kyomotoi <[email protected]> | 2021-02-06 00:32:26 +0800 |
---|---|---|
committer | Kyomotoi <[email protected]> | 2021-02-06 00:32:26 +0800 |
commit | f5ceb8927f2e7f2a9e29d62c8e4cef876f917249 (patch) | |
tree | 40b9dcd6b7d3db486054e3aa9b5a04d25fa2284e /ATRI/data | |
parent | eb52fab79ada7efe6191e3a5f90179766feaded0 (diff) | |
download | ATRI-f5ceb8927f2e7f2a9e29d62c8e4cef876f917249.tar.gz ATRI-f5ceb8927f2e7f2a9e29d62c8e4cef876f917249.tar.bz2 ATRI-f5ceb8927f2e7f2a9e29d62c8e4cef876f917249.zip |
🏗 💩 更改项目结构,修复啥b BUG
Diffstat (limited to 'ATRI/data')
-rw-r--r-- | ATRI/data/database/funny/laugh.txt | 133 | ||||
-rw-r--r-- | ATRI/data/emoji/error.jpg | bin | 28209 -> 0 bytes |
2 files changed, 133 insertions, 0 deletions
diff --git a/ATRI/data/database/funny/laugh.txt b/ATRI/data/database/funny/laugh.txt new file mode 100644 index 0000000..b0254d1 --- /dev/null +++ b/ATRI/data/database/funny/laugh.txt @@ -0,0 +1,133 @@ +Erdos相信上帝有一本记录所有数学中绝妙证明的书,上帝相信这本书在%name手里 +有一次费马惹怒了%name,于是就有了费马最后定理 +%name从不会用光页边的空白 +%name的Erdos数是-1 +如果%name告诉你他在说谎,他就正在说真话 +%name从大到小列举了所有素数,就知道了素数有无穷多 +%name可以不重复地走遍柯尼斯堡的七座桥 +%name可以倒着写完圆周率的每一位 +当数学家们使用通用语句——设n是一个正整数时,这是在请求%name允许他们这样做 +%name小时候有一次要把正整数从1加到100,于是他用心算把所有正整数的和减去大于100的正整数的和 +不是%name发现了正态分布,而是自然规律在遵从%name的意愿 +一个数学家,一个物理学家,一个工程师走进一家酒吧,侍者说:‘你好,%name教授’ +%name可以走到莫比乌斯带的另一面 +当%name令一个正整数增加1时,那个正整数并没有增加,而是其他正整数减少了1 +%name同时给他自己和罗素剪头发 +%name不能理解什么是随机过程,因为他能预言随机数 +有一次%name证明了一个结论,但他不喜欢这个结论,于是%name把它证伪了 +有些级数是发散的,因为%name觉得它们不值得加起来 +问%name一个定理是否正确可以作为一个定理的严谨证明 +如果没有船,%name可以把狼,羊,菜传送到河对岸 +有一次%name在森林里迷路了,于是他给这个森林添加了一些边把它变成了一棵树 +只有%name知道薛定谔的猫是死是活 +通过故意遗漏证明最后的‘证毕’,%name拯救了热带雨林 +%name可以剔掉奥卡姆剃刀 +你刚证明了一个定理?%name200年前就证明它了。 +空集的定义是%name不会证明的定理构成的集合 +‘我找不到反例’可以被视为一个定理的证明,如果它是%name写下的 +%name把磁铁断为两块时,他得到两个单极磁铁 +费马认为书页边缘写不下自己对费马大定理的证明,%name能证明为什么这个证明这么长 +上帝从不掷骰子,除非%name允许他赢一小会 +平行线在%name让它们相交的地方相交 +当哥德尔听说%name能证明一切命题时,他让%name证明‘存在一个命题%name不能证明’——这就是量子态的来历 +%name可以看到自己头上帽子的颜色 +%name把无穷视为归纳证明的第一个非平凡情况 +%name可以用1种颜色染任何地图 +%name在求不定积分时不需要在最后加上一个常数 +%name无需站在任何人肩膀上就能比别人看的更远 +%name用克莱因瓶喝酒 +%name通过枚举法证伪了哥德尔不完备性定理/n有一次%name发现有一个定理自己不会证——这直接证明了哥德尔不完备定理 +%name有log(n)速度的排序算法 +上帝创造了正整数,剩下的就是%name的工作了 +黎曼是%name发表未公开成果时使用的名字 +%name不用任何公理就能证明一个定理 +一个发现就是一个%name的未公开结果 +%name使用无穷进制写数 +%name可以除以0 +存在一个实数到被%name证明了的定理的双射 +%name从不需要选择公理 +%name在200年前发明了64量子位计算机,但这让他的工作减速了 +难题不会为%name带来麻烦,%name会为难题带来麻烦 +%name说过‘数学是科学的皇后’,你猜谁是国王? +没有比65537大的费马素数,因为%name发现费马将要发现什么了不起的事情,于是把它终结掉了 +发散序列当看到%name在旁边时会收敛 +宇宙通过膨胀让自己的熵增加速度不超过%name证明定理的速度 +Erdos说他知道37个勾股定理的证明,%name说他知道37个黎曼定理的证明,并留给黎曼做练习 +希尔伯特23问题是他收集的%name的手稿中留给读者做练习的那些问题 +只有两件事物是无限的:人类的愚蠢和%name的智慧,而且我对前者不太确定——爱因斯坦 +%name也发现了伽罗瓦理论,但他赢了那场决斗 +%name不能理解P与NP的问题,因为一切对他而言都是常数级别 +%name能心算干掉RSA公钥加密算法 +%name在实数集上使用数归 +%name从不证明任何定理——都是他的引理 +不是%name素数的素数会遭到戏弄 +%name可以做出正17边形——只用直尺 +有一次%name在脑子里构建了所有集合构成的集合 +%name证明了哥德巴赫猜想——通过检查所有情况 +%name可以把毛球捋平 +世界上没有定理,只有%name允许其正确的命题 +%name知道哪些图灵机会停机,因为它们运行前要得到%name批准 +在晚上,定理们围坐在篝火边给%name讲故事 +%name本想证明三色定理,但他喜欢蓝色,所以放弃了 +%name当初面试Google时,被问到‘如果P=NP能够推导出哪些结论’,Jeff回答说:‘P = 0或者N = 1’。而在面试官还没笑完的时候,Jeff检查了一下Google的公钥,然后在黑板上写下了私钥。 +编译器从不警告%name,只有%name警告编译器。 +%name的编码速度在2000年底提高了约40倍,因为他换了USB2.0的键盘。 +%name在提交代码前都会编译一遍,不过是为了检查编译器和链接器有没有出bug。 +%name有时候会调整他的工作环境和设备,不过这是为了保护他的键盘。 +所有指针都指向%name。 +gcc -O4的功能是发送代码给%name重写。 +%name有一次没有通过图灵测试,因为他正确说出了斐波那契数列的第203项的值,在一秒钟内。 +真空中光速曾经是35英里每小时,直到%name%花了一个周末时间优化了一下物理法则。 +%name出生于1969年12月31日午后11点48分,他花了12分钟实现了他的第一个计时器。 +%name既不用Emacs也不用Vim,他直接输入代码到zcat,因为这样更快。 +%name发送以太网封包从不会发生冲突,因为其他封包都吓得逃回了网卡的缓冲区里。 +因为对常数级的时间复杂度感到不满意,%name发明了世界上第一个O(1/n)算法。 +有一次%name去旅行,期间Google的几个服务神秘地罢工了好几天。这是真事。 +%name被迫发明了异步API因为有一天他把一个函数优化到在调用前就返回结果了。 +%name首先写的是二进制代码,然后再写源代码作为文档。 +%name曾经写过一个O(n^2)算法,那是为了解决旅行商问题。 +%name有一次用一句printf实现了一个web服务器。其他工程师添加了数千行注释但依然无法完全解释清楚其工作原理。而这个程序就是今天Google首页的前端。 +%name可以下四子棋时用三步就击败你。 +当你的代码出现未定义行为时,你会得到一个segmentation fault和一堆损坏的数据。当%name的代码出现未定义行为时,一个独角兽会踏着彩虹从天而降并给每个人提供免费的冰激凌。 +当%name运行一个profiler时,循环们都会恐惧地自动展开。 +%name至今还在等待数学家们发现他隐藏在PI的小数点后数字里的笑话。 +%name的键盘只有两个键,1和0。 +%name失眠的时候,就Mapreduce羊。 +%name想听mp3的时候,他只需要把文件cat到/dev/dsp,然后在脑内解码。 +Graham Bell当初发明出电话时,他看到有一个来自%name的未接来电。 +%name的手表显示的是自1970年1月1日的秒数,并且从没慢过一秒。 +%name写程序是从‘cat >/dev/mem’开始的。 +有一天%name出门时把笔记本错拿成了绘画板。在他回去拿笔记本的路上,他在绘图板上写了个俄罗斯方块打发时间。 +%name卡里只有8毛钱,本来想打个6毛的饭结果不小心按了9毛的,哪知机器忽然疯狂地喷出255两饭,被喷得满脸热饭的%name%大叫‘烫烫烫烫烫烫。。。。’ +%name不洗澡是因为水力发电公司运行的是专有软件。 +%name的胡子是由括号构成的。 +%name从来不用洗澡;他只需要运行‘make clean’。 +%name通过把一切都变得free而解决了旅行推销员问题。 +%name的左手和右手分别命名为‘(’和‘)’。 +%name用Emacs写出了Emacs的第一版。 +有些人检查他们的电脑里是否有病毒。病毒检查他们的电脑里是否有%name。 +在一间普通的客厅里有1242件物体可以被%name用来写一个操作系统,包括这房间本身。 +当%name还是个学数手指的小毛孩时,他总是从0开始数。 +%name不去kill一个进程,他只想看它是否胆敢继续运行。 +当%name指向(point at)一台Windows电脑时,它就会出现段错误。 +%name最初的话语是syscalls(系统调用)。 +%name之所以存在是因为他把自己编译成了生命体。 +%name是他自己在Emacs里用Lisp语言编写成的。 +%name能够通过Emacs的ssh客户端程序连接到任何大脑。 +当%name使用浮点数时,它们便没有舍入误差。 +%name不用维护代码。他注视着它们,直到它们带着敬仰改正自己的错误。 +%name不对开源项目作出贡献;开源项目对%name作出贡献。 +%name的胡须里面不是下巴,而是另一撮胡须。如此递归直至无穷。 +%name曾经得过猪流感,但是该病毒很快被GPL污染并且同化了。 +无论何时世界上有人写出一个‘Hello, world’程序,%name总以“Hello”回应。 +%name从不编译,他只要闭上眼睛,就能看见编译器优化时二进制位之间的能量流动被创造出来…… +如果%name有一个1GB的内存,你有一个1GB的内存,那么%name拥有比你更多的内存。 +当%name执行ps -e时,你的名字会出现。 +从来就没有软件开发过程这回事,只有被%name允许存在的一些程序。 +%name的DNA中包含调试符号。尽管他从不需要它们。 +%name的医生能通过CVS采集他的血样。 +对于%name来说,多项式时间就是O(1)。 +%name将会使可口可乐在GPL协议下公布他们的配方。 +%name不需要用鼠标或键盘来操作计算机。他只要凝视着它,直到它完成想要的工作。 +%name就是图灵测试的解答。 +%name其实没有写过CQhttp,只是字母们因为恐惧而组成了CQhttp的源代码。
\ No newline at end of file diff --git a/ATRI/data/emoji/error.jpg b/ATRI/data/emoji/error.jpg Binary files differdeleted file mode 100644 index fd29713..0000000 --- a/ATRI/data/emoji/error.jpg +++ /dev/null |