人比较懒，没事喜欢宅在家里打电动、刷贴吧。游戏比较喜欢 RPG，解密，以及各种街机音游。平时还有两大爱好是捡垃圾玩 HIFI（详见：HIFI 之路）以及摄影。目前在玉米地 CS 读本科，对编程语言（Programming Language）、形式化方法（Formal Methods）、操作系统（OS）比较感兴趣，未来大概打算读个研。平时会在这个博客里分享一些课堂笔记以及生活日常，关于网站是怎么跑起来的请参考这篇文章。
IntroductionWhy we use program verification: mathematics can be used to state pr
受好基友之邀，今年寒假去多伦多半个月深度游了一趟。因为咱村寒假不长，所以我基本上刚考完final就坐飞机去多伦多了。那天运气额外的好，值机选座位给我安排到了经济
上周看drop官网打折瘾犯了 :@(内伤) 就入了。先说说快递，drop发的dhl美国境内给我寄了10天 :&(蛆音娘_生气) ，后面都快忘了买耳机这事儿 :$
问题机器学习课上的一道题，题目是：仅使用矩阵乘法来生成频谱图矩阵。输入声音数据是一个列向量 $x$。请详细描述您将如何构建一个矩阵 $A$，使得 $A∙x$ 将
头图跟随鼠标移动其实俺就是薅的b站头图代码 :$(2233娘_大笑) ，实现起来也不复杂，在VOID/includes/banner.php最后那里的<?
[notice]Rust代码高亮还没支持，后面会修复这个问题[/notice]因为是速通，不能涵盖到语言所有特性，但是保证能写出能跑的代码。详细教程可以看Rus
IntroductionHow program run on a computer: it executes instructions. Many milli
QuestionTsinghua Online Judge 范围查询(Range)Solution如果brute force硬算的话，相当于每一个组range都
Distribution (Continuous)continuous uniform distribution: A continuous random va
ItemsetItemset: A set of one or more itemsk-itemset: An itemset containing k ite
Conceptdata mining function:generalizationpattern discoveryclassificationCluster
Data describingmean: $\frac1N\sum^{N}_{i=1}x_i$p27scaling: mean(kx)=kmean(x)tran
终于能听到贝斯声了！ :$(2233娘_大笑) （bushi
DatasetType of data:Record Data: tableGraphs and Networks: relationordered data:
今天在网上瞎逛的时候发现了一个python的网页搭建模组pywebio还挺有意思的，不同于django/flask之流，pywebio没有那么多功能，就如官网描
打开debug模式后的网页报错：SQLSTATE[HY000]: General error: 1 near "SHOW": syntax
BST traversalIn order:left -> root -> rightstd::stack<Node*> stk; No
这个学期总算是挺过了Calculus3，后面终于不用再碰数学了:&(蛆音娘_去世)，下面分享下我这节课的笔记，希望能帮到大家。[attach]428[/atta
Step 1: 准备材料细砂糖 250g牛油果 1个椰浆 (Cocunat milk) 250g鸡蛋 5个Step 2：熬焦糖小火热锅，放入50g细砂糖后用筷子
当时是为了听Chris Botti演奏会去的芝加哥，当然还有玩街机。电玩城在芝加哥西部一个比较偏的地方，去的时候一度担心被噶腰子 :@(吐血倒地) [photo
昨天闲着没事翻了翻之前写的玩意儿，发现很早之前写的一个小程序--远程执行CMD命令。之前高中受到CSDN一篇帖子的启发加上当时只会Python，所以就用电子邮件
CircuitBasic arithmetic circuits and ALUAddition Circuitoutput with carry and su
UnsignedDescription: Cannot represent number with negative sign, cannot handle c
VerilogType Name(Output, Onput)GateNOT: ' not n1(f, x);AND: *// multi input allo
来美国后入住的第一个学生公寓，下周就要搬走了，以此图集作为留念。[photos][/photos][photos][/photos][photos][/phot
起因事情的起因是我上周末用COS+Jellyfin搭建流媒体平台的时候没注意流量消耗，结果导致同样用来放这个博客资源的储存桶的下行{{流量激增: 钱包爆炸}}
效果展示整体效果类似 Wallpaper Engine 的粒子特效，实现生成随机大小、位置、速度以及透明度的粒子飘落效果使用复制脚本到网站的js脚本或者能随时加
之前无意发现一直用来当做网站CDN服务的腾讯云COS空间利用率低的离谱，毕竟上面只存了我博客的上传媒体资源以及中华古籍网的书籍信息储存，东西全加起来也就5个G不
首先，什么是Factorio?《异星工厂》（英语：Factorio）为Wube Software所开发的一套冒险沙盒游戏。发布有Microsoft Window
效果展示首页效果：点击效果：点击Aqua后会在网站上随机浮现neeeeeeeee~或mooooooooo~字样的粉色泡泡点击超过一定次数：Aqua从页面消失5分
今天在写API的时候突然想到个问题，如果得用自己写的API实现一些前端网站功能但是又不想让别人用你的该咋整？先来分析一下这个需求：你得自己能在前端用别人不能滥用
首先通过phpMyadmin把数据库导出下载mysql-to-sqlite3工具用于数据库转换pip install mysql-to-sqlite3然后，用n
Chinese Traditional Book Database一个纯净的中国古籍网，build only for love~~这个项目是我高中那会儿写的网站
模拟器篇使用模拟器是体验SDVX最为简单的一种方法，如果你对SDVX并不是特别感兴趣而只是想简单的体验一下的话模拟器无非是最好的一种选择。以下主要讲两种比较主流
Treesa tree is a undirected graph with a special node called the root, in which
ComponentBase CaseRecursive formula$\sum^n_{i=1}i$ can be define asg(1)=1g(n)=g(
Python一共两道题，一道是class的基本用法纯属送分题，第二道考如下Dominant cellcount the number of Dominant c
Two way boundingdef: prove $f(x) = k$ by proving both $f(x)\leq k$ and $f(x)\geq
Data TypeNumbers: 1, 3.14, 1/2, 6.02e+23, 1+2i, 99999Booleans: #t, #fString: "he
DefineA graph consists of a set of nodes V and a set of edges E.Each edge in E j
Language: cn / en今天做到的一道 CS173 Honor 课程的作业，感觉还挺有意思的，用到了一个月来学到的逻辑运算方法并且运用到了实际生活中的
an extremely general framework for specifying relationships between pairs of obj
input and/or output values may be integers, strings, characters...represent by $
Setdefinition: A set is an unordered collection of objects{1, 2, 3} and {1, 2, 3
php is the best language and fk C++
Logic 1Computer Logic:Propositional LogicPredicate Logicproposition Logicbasic b
Refer
sudo yum install java-11-openjdk-devel11代表java的版本，根据自己的需求来写，比如Minecraft服务器就要求版本在
芝华士18yo虽然芝12挺逊，但是18那是真的对我胃口，味道浓郁且均衡，巧克力味儿突出，平时一个人工作或者学习的时候喝一杯简直享受。达尔维尼15yo口感比较薄，
一个基于 Python 和 Sqlite 的短网址服务业务逻辑层代码特点精简安全（不会出现网址被覆盖错误）高效：在保证安全的前提下写入速度稳定在 1k条/1.7
https://www.webucator.com/tutorial/using-python-to-convert-images-to-webp/from p
什么是Pjaxpjax 是一个 jQuery 插件，它使用 ajax 和 pushState 通过真正的永久链接，页面标题和后退按钮提供快速浏览体验。pjax
腾讯对象储存提供了一种简单的图片压缩接口以便节省网站带宽，为了成功使用，开启后还得对cos相关插件做一些小改变以实现对接口的正确调用，这里拿cosUploadV
此时此刻在访问网站的你应该有留意到左下角的Pio酱，点击后她后会随机的说出一句二刺螈台词，以下就来说说在这个功能背后的aniPhase api资源找了半天发现萌
上周马马虎虎搭完网站后一直有俩bug，一是网站所有a 标签全都有target="_black" 属性导致网站不管点哪儿都会新开网页影响用户体
今天冲浪的时候发现了一个挺有意思的typecho的插件：GithubFile，通过这个插件，能将网站的附件全部放在Github的仓库里储存，简单的来说就是白嫖资
今天在安装Cloudreve的时候遇到的问题，设置reptcha的时候可能是key填错了导致登出后无法正常登录捣鼓了半天折腾出了解决方法，首先得把网站根目录的数
寝室后面一个小公园，风景一般，松鼠倒是挺多的[photos][/photos][photos][/photos]
19年在加拿大游学的时候写的，能把字符藏到图片里 # encoding: utf-8 # # core write by Wyatt Hu
冷死了，我丢[photos][/photos][photos][/photos]
网站依赖博客驱动器：Typecho博客主题：VOID网络服务VultrCloudfare开源项目NGINXWebP-ServerUptime Kuma插件Pan
:$(2233娘_第一) 永远的神作[notice]此条目作品默认包含系列续作[/notice] ゆるキャン
人比较懒，没事喜欢宅在家里打电动、刷贴吧。游戏比较喜欢RPG，解密，以及各种街机音游。平时还有两大爱好是捡垃圾玩HIFI（详见：HIFI之路）以及摄影。目前在{
新年快乐呀
新年快乐！！ |´・ω・) ノ
大佬，你有一个 繁中镜像站
草，怎么还能有这玩意儿
OωO 鼠标划过首页头图会跟着动是怎么实现的呀！教练我想学！！ ￣﹃￣
在 banner.php 最后加一个 script 就行啦，我直接薅的 b 站首页代码。这几天还有个哥们儿问我，我一会儿写个文章说一下实现
快水快水！说来你的时区好像错了，怎么才 2 点？
我超确实忘换时区了。这次迁博客除了换域名还换了个服务器，结果导致现在 bug 一大堆，这几天一直在修
OK 我已经抄到了 ￣﹃￣
666 大佬带飞我
太帅了自拍 我 kou ka 了
看看你的
不愧是老肝帝 牛逼牛逼 继续加油！ 🙌
谢谢老 ass
牛逼的兄弟，准备一个月速成给网站拿下
给黄总打 call 牛逼 666
给黄总打 call 牛逼 666