Hello Stranger

Archive of philosophy presentation. Topic: Question of Being (Seinsfrage). Course: PH3207 Oct 15 2025. Script & Slides

Primitive Terms If you are expecting from me a furniture, then a table will work. -Inheritance vs. Subtyping (webinar #24) LSP The Liskov substitution principle (LSP) is a particular definition of a subtyping relation, called strong behavioral subtyping. 在 Liskov Substitution Principle (LSP) 下，子类型关系不是由具体实现决定的，而是由 约定的属性和契约 决定的。在具体实现不变时，通过改变约定的属性和契约，就可以改变 subtyping 关系。 In Code 到具体实现上，有些要注意的地方（传参、type-casting, etc.) Let $S$ and $T$ be two types. We say that $T$ is a subtype of $S$ if a piece of code written for variables of type $S$ can also safely be used on variables of type $T$ . ...

Motivation 上哲学课听不懂，录音回去复习。 需求 人声增强 转录 录音和转录稿同步播放 困难 教授声音低沉 MacBook Air 录音，不定向，环境噪音大 环境 Windows 11 Nvidia Cuda Steps FFmpeg - 音量标准化 让整体音量一致，不高不低。 有两种方法：一遍处理和两遍处理（推荐）。嫌麻烦的话就一遍处理： ffmpeg -i input.wav -af loudnorm=I=-23:TP=-2:LRA=7 -ar 248k output.wav 两遍处理：先解析一次原音频，然后使用解析出来的参数： ffmpeg -i input.wav -filter:a loudnorm=print_format=json -f null - ffmpeg -i input.wav -filter:a loudnorm=i=-23:tp=-2:lra=7:measured_I=-XX.X:measured_TP=-Y.Y:measured_LRA=Z.Z:measured_R128_thresh=-W.W -ar 248k output.wav 其中 X.X, Y.Y, Z.Z, W.W 换成第一遍的输出。 由于我每次录制的环境相同，音频质量相同，所以解析了一次之后得到下行代码直接复用就行： ffmpeg -i input.m4a -af loudnorm=I=-23:TP=-2:LRA=7:measured_I=-31.47:measured_TP=-10.58:measured_LRA=16.8:measured_thresh=-43.46:offset=-2.0:linear=true:print_format=summary -b:a 248k loudnormed.mp3 UVR5 - 人声提取 Ultimate Vocal Remover V5 官网 目前试过一些模型，发现 UVR-MDX-NET Inst HQ 5 效果很不错，142分钟的音频处理了14分钟， ...

Hugo on Github Pages via Github Actions 教程 Hugo Themes PageModX 使用了 PageModX 主题，因为可以在侧边栏显示目录。在 hugo.yml 中的 params 添加以下参数： params: showToc: true # Enables the Table of Contents TocOpen: true # Opens the ToC by default (optional) TocSide: 'right' 几年没维护了，官方的安装教程已经失效（所用 Github Actions 已被弃用），遂 git clone。然而配置文件也很难配，官方给的模板也很让人头大🤕 代码块渲染出问题了，有黑色四角 Gemini CLI + 各种奇思妙想花了好久才解决😭😡😭😡😭。解决方案是在 hugo.yml 里面加了这些东西： outputs: home: - HTML - RSS - JSON markup: goldmark: renderer: unsafe: true highlight: style: dracula lineNos: false noClasses: false Hugo-admonitions Git仓库 ...