avatar
文章
78
标签
58
分类
7

主页
时光机
友人帐
标签
分类
杂页
  • 暑假总纲
  • 作品评论
静谧之园
搜索
主页
时光机
友人帐
标签
分类
杂页
  • 暑假总纲
  • 作品评论
科学与宗教
发表于2024-01-29
preface 科学不是宗教 力量源泉 科学靠的是物质 宗教靠的是信徒(精神层面) 说到底, 即便你不相信那些科学的基础, 世界还是会按照某些科学公理运作, 但是倘诺你不相信一个宗教, 那你可能被归为异教徒, 然后借「宗教代理人」使用科学的方法消除(比如使用「烧」或「钉」这类物质性的工具), 然而宗教(或者说是神kami)祂们从来不会介入(究竟是祂们根本就没有力量还是说他们太过仁慈呢?) 并且, 无论你的公理是否正确,世界都会按照正确的公理运行,没有任何物质可以脱离 物质乃精神之根基,科学亦本质不同于宗教 说到底,精神强迫还不是建立在物质强迫的基础上的 宗教无法和科学做比较,他们不在同一个层次,强行比较只会觉得别扭 说到底,宗教靠的是相信的力量(如果可以超越相信的力量,那么布鲁诺就不会被当作异教徒而以物质力量处死),但是无论你想不相信公理,它都会如此运行,这是根本性不同的 讽刺 艾子行水,途见一庙。矮小而装饰甚严。前有一小沟,有人行至水,不可涉。顾庙中,而辄取大王像横于沟上。履之而去。复有一人至,见之,再三叹之曰:“神像直有如此亵慢!” 乃自扶起,以衣拂饰,捧至坐上,再拜而去。须 ...
linux - 安装驱动后无法启动
发表于2023-12-09|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
发表于2023-11-18
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
发表于2023-11-11
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
发表于2023-11-05
install paru -S scrcpy connect 在手机上操作你的 USB调试 检查是否连接: adb device start scrcpy
opencc
发表于2023-10-28|toy
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
发表于2023-10-04
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, ...
来自新世界
发表于2023-09-30|philosophy
Preface 这部超能力番没有特别传神的打斗画面或创造画面, 但是他使用基础笔法和哲学思考一点一点构建出来的画面, 一副混乱的图画, 完全将我制服, 大破而不立! 这绝对是一部值得一看的好作品, 他所窥视的东西, 实在令人感到胆战心惊! 人物 其实没有什么好评的, 乍一看好像除了人类以外都很伟大 其他人我不写, 因为没什么好写的, 看过自然就懂 我认为他们只是选择了不同的道路, 一个是激进革命, 一个是委屈求和(法国和英国?) 但是根本原因是 一个认为 革命必败, 一个寄希望于 精英 吧! 两位无疑都是能臣, 仅仅是道路不同, 我无法凭立场否定谁! 奇狼丸 选择了顺从人类以换取种族的和平发展 一旦定好目标, 便有毅力、不屈不挠地前进 曾经有尝试寻找反抗人类的道路, 可惜没有找到 最后以性命换取人类种和大黄蜂一族的发展 全片他拥有极强的使命感, 再加上他冷静的处事态度, 与人中镝木肆星有异曲同工之处 如果没有所谓的阶级隔阂, 他们两位一定是最好的知己吧! 如此坚毅, 无人能敌: 吾等一组, 知道心脏跳动停止那一刻, 都会一刻不停地想办法扭转局势, 即便最后没能改变什么, 我们也没有失去 ...
直线
发表于2023-09-28|math
一般式(点法式) 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+B2​B​ 设 PPP 经过 l′:Ax+By+C′=0l': Ax+By+C'=0l′:Ax+By+C′=0 ...
意识
发表于2023-09-23
Preface 最近听了 洛天依 的 《辰砂》 我对洛天依的态度发生了一些改变. 集体 首先我之前一直的态度是她其实就是一张纸(虽然其实现实中的人也大多是一张纸), 她的背后是空的, 因为她没有自主意识, 我感到悲哀, 也感到亲幸, 这种东西或许不会受到资本主义意识形态的太大的影响. 但是现在呢? 我看到她背后其实不是 “空”, 我发现无法将她推倒, 并且这是及其困难的, 比推倒一个现实人都要难得多, 她的背后是: 一个庞大的爱好者集合, 他们有一种集体意识, 或者说所有人都有一种集体意识 我发现这种意识总是期盼着向善向上的. 我发现绝大部分个体的超意识里的品德观都是 向上 的 这是为什么? 不过好像这种超意识在集体中会显现得更明显?! (e.g 当你看到一个垃圾, 一个人时, 可能不会去捡, 但是如果融入一个集体(2+人?)中, 或许是获得了很多积极反作用, 大概会更积极地去做吧?)(这究竟是 理性感性 之别 还是 集体超意识和个人超意识 之别?) 小结(思考还当继续, 不过暂时止步): 是否是整个环境限制了我们平时的所做, 但是他的反作用使我们不断相信着一个更加美好的东西, 他的反 ...
123…8
分类
  • OI4
  • linux1
  • math6
  • philosophy1
  • toy1
  • 算法6
  • 随笔2
标签
cargo zig onedrive interregional web referer 哲思 文摘 fft rust 随笔 manjaro wasm string css optimize java kindle vb lines git javascript software cpp aur permutations dp python ntt ac network hexo opencc 哲学 drawing react elementary arch kmp introspection
©2023 - 2024 By xihale
框架 Hexo|主题 Butterfly
搜索
数据库加载中