科学与宗教
preface
科学不是宗教
力量源泉
科学靠的是物质
宗教靠的是信徒(精神层面)
说到底, 即便你不相信那些科学的基础, 世界还是会按照某些科学公理运作, 但是倘诺你不相信一个宗教, 那你可能被归为异教徒, 然后借「宗教代理人」使用科学的方法消除(比如使用「烧」或「钉」这类物质性的工具), 然而宗教(或者说是神kami)祂们从来不会介入(究竟是祂们根本就没有力量还是说他们太过仁慈呢?)
并且, 无论你的公理是否正确,世界都会按照正确的公理运行,没有任何物质可以脱离
物质乃精神之根基,科学亦本质不同于宗教
说到底,精神强迫还不是建立在物质强迫的基础上的
宗教无法和科学做比较,他们不在同一个层次,强行比较只会觉得别扭
说到底,宗教靠的是相信的力量(如果可以超越相信的力量,那么布鲁诺就不会被当作异教徒而以物质力量处死),但是无论你想不相信公理,它都会如此运行,这是根本性不同的
讽刺
艾子行水,途见一庙。矮小而装饰甚严。前有一小沟,有人行至水,不可涉。顾庙中,而辄取大王像横于沟上。履之而去。复有一人至,见之,再三叹之曰:“神像直有如此亵慢!”
乃自扶起,以衣拂饰,捧至坐上,再拜而去。须 ...
linux - 安装驱动后无法启动
Preface
手贱安装了 一些 video-xxx 驱动, 结果电脑无法启动
Reference: Manjaro Linux 更新后无法启动问题
Solution
Live Environment
随便找一个 linux live 环境进入(建议使用轻量的 arch iso)
partition file
首先要找到你的系统分区
lsblk -f | grep ext4
替代方案:
sudo fdisk -l
sudo sfdisk -l
sudo cfdisk (甚至可以用 cfdisk, 如果你想的话)
mount
自己随便找一个文件夹 mount, 我就照我的习惯写了
mkdir manjaro
mount /dev/sda2 manjaro
chroot
直接进入你的 system!
chroot manjaro
Restore
最后的步骤, 直接用 mhwd 删除导致无法开机的驱动即可
先找到驱动名字
mhwd --listinstalled
Output e.g.
这里导致我无法启动的驱动分别是 video-modesetting 和 video-vesa, ...
Manjaro - 高漫M6
Preface
最近有点想画画, 并且有一个数位板设计网页也方便!
Start with 高漫M6
因为 这个板子性价比比较高, 所以就用这个了
Reference: 在Linux上完美使用高漫M6数位板 - Eslzzyl
安装依赖
dkms是用来外挂linux内核驱动的一个工具。我们用dkms来外挂Digimend驱动。
sudo pacman -S dkms linux-headers
安装驱动
clone
这里我们使用 inochisa 提供的版本: digimend-kernel-drivers
git clone git@github.com:inochisa/digimend-kernel-drivers.git -b huion-kd200
install
这里如果报错, 则先运行(在 digimend-kernel-drivers 目录下), 删除一下 cached 文件等
make dkms_uninstall
cd digimend-kernel-drivers
make dkms_install
重启内核模块
直接 reboot 重启电脑也行
sudo ...
cpp details
Preface
竞赛真是害人不浅呐, c++17 后诸多 interests 都没有涉猎, 故在此补上
Start
string_view
cppreference
这个相当于 rust 中的 slice 能够具有和 const char * 相同的速度和性能
其本质上只存 指针和长度(是基于 span 的实现)
Filesystem
cppreference
这是一个很实用的工具集, 再次简单举例
namespace fs = std::filesystem;
fs::path p = fs::current_path();
// scan directory
for (const auto& entry : fs::directory_iterator(p)) {
std::cout << entry.path() << std::endl;
}
// directory and file manipulation
fs::create_directory(p / "new_dir");
fs::remove(p / " ...
scrcpy
install
paru -S scrcpy
connect
在手机上操作你的 USB调试
检查是否连接:
adb device
start
scrcpy
opencc
Preface
最近在 读 『人类衰退之后』, 发现繁体字实在太多导致难以辨认
便使用 opencc 将其转为简体
Implement
由于考虑到不会有写数据冲突的情况就没有加互斥锁了
请使用 c++17 以上 Standard 进行编译
当文件多起来了, 这样使用 thread 大概会拖慢程序, 建议实现一个简单的负载均衡
#include <iostream>
#include <fstream>
#include <string>
#include <filesystem>
#include <thread>
#include <forward_list>
#include "opencc/opencc.h"
using namespace std;
const auto converter=opencc::SimpleConverter("t2s.json");
void cov(const string filepath){
ifstream s(filepath);
ofstream o("./out/"+fi ...
rust-details
Preface
rust 还是要学的, 毕竟上次把 zig 走马观花过了一遍, rust 也走马观花过一遍吧!(其实设计理念很多都有共同之处, 所以别为这个吵架了!)
All is expression
Difference and improvements
在 exercism.org 上面刷题的时候遇到的神奇的快捷操作
滑动窗口
fn windows(&self, size: usize) -> Windows<'_, T>;
Windows 的定义:
pub struct Windows<'a, T: 'a> {
v: &'a [T],
size: NonZeroUsize,
}
全称与存在
fn any<F: FnMut(Self::Item)>(&mut self, f: F) -> bool;
fn all<F: FnMut(Self::Item)>(&mut self, f: F) -> bool;
与子集结合可以做到快速判断子集(写代码快)
#[derive(Debug, ...
来自新世界
Preface
这部超能力番没有特别传神的打斗画面或创造画面, 但是他使用基础笔法和哲学思考一点一点构建出来的画面, 一副混乱的图画, 完全将我制服, 大破而不立!
这绝对是一部值得一看的好作品, 他所窥视的东西, 实在令人感到胆战心惊!
人物
其实没有什么好评的, 乍一看好像除了人类以外都很伟大
其他人我不写, 因为没什么好写的, 看过自然就懂
我认为他们只是选择了不同的道路, 一个是激进革命, 一个是委屈求和(法国和英国?)
但是根本原因是 一个认为 革命必败, 一个寄希望于 精英 吧!
两位无疑都是能臣, 仅仅是道路不同, 我无法凭立场否定谁!
奇狼丸
选择了顺从人类以换取种族的和平发展
一旦定好目标, 便有毅力、不屈不挠地前进
曾经有尝试寻找反抗人类的道路, 可惜没有找到
最后以性命换取人类种和大黄蜂一族的发展
全片他拥有极强的使命感, 再加上他冷静的处事态度, 与人中镝木肆星有异曲同工之处
如果没有所谓的阶级隔阂, 他们两位一定是最好的知己吧!
如此坚毅, 无人能敌:
吾等一组, 知道心脏跳动停止那一刻, 都会一刻不停地想办法扭转局势, 即便最后没能改变什么, 我们也没有失去 ...
直线
一般式(点法式)
Ax+By+C=0Ax+By+C=0
Ax+By+C=0
由斜率可以推出 (B,−A)(B,-A)(B,−A) 为其方向向量
随即不难构造其 法向量 (A,B)(A,B)(A,B)
距离
点到直线
P(x0,y0)l:Ax+By+C=0\begin{split}
P(x_0,y_0)\\
l: Ax+By+C=0
\end{split}
P(x0,y0)l:Ax+By+C=0
如图, 做如图所示的各元素
d=h⋅sinθ=h⋅cosα\begin{split}
d&=h\cdot \sin\theta\\
&=h\cdot \cos\alpha
\end{split}
d=h⋅sinθ=h⋅cosα
又
tanα=k=−ABtan\alpha=k=-\frac{A}{B}
tanα=k=−BA
有
cosα=BA2+B2cos\alpha=\frac{B}{\sqrt{A^2+B^2}}
cosα=A2+B2B
设 PPP 经过 l′:Ax+By+C′=0l': Ax+By+C'=0l′:Ax+By+C′=0
...
意识
Preface
最近听了 洛天依 的 《辰砂》
我对洛天依的态度发生了一些改变.
集体
首先我之前一直的态度是她其实就是一张纸(虽然其实现实中的人也大多是一张纸), 她的背后是空的, 因为她没有自主意识, 我感到悲哀, 也感到亲幸, 这种东西或许不会受到资本主义意识形态的太大的影响.
但是现在呢? 我看到她背后其实不是 “空”, 我发现无法将她推倒, 并且这是及其困难的, 比推倒一个现实人都要难得多, 她的背后是: 一个庞大的爱好者集合, 他们有一种集体意识, 或者说所有人都有一种集体意识
我发现这种意识总是期盼着向善向上的.
我发现绝大部分个体的超意识里的品德观都是 向上 的
这是为什么?
不过好像这种超意识在集体中会显现得更明显?!
(e.g 当你看到一个垃圾, 一个人时, 可能不会去捡, 但是如果融入一个集体(2+人?)中, 或许是获得了很多积极反作用, 大概会更积极地去做吧?)(这究竟是 理性感性 之别 还是 集体超意识和个人超意识 之别?)
小结(思考还当继续, 不过暂时止步): 是否是整个环境限制了我们平时的所做, 但是他的反作用使我们不断相信着一个更加美好的东西, 他的反 ...