Posted in: IT

ffmpeg的一些用法

音频

ffmpeg -i foo.mkv foo.mp3 # 如果感觉音量太轻,则加一个 -vol 656 参数试试。

字幕

# 第一个字幕
ffmpeg -i foo.mkv -map 0:s:0 foo.ass # 或foo.srt,看原来是什么格式就写什么格式。
# 第二个字幕
ffmpeg -i foo.mkv -map 0:s:1 foo.ass # 或foo.srt,看原来是什么格式就写什么格式。

视频格式转换

ffmpeg -i foo.mkv -c copy foo.mp4  # 千万不要漏掉 -c copy

# 缩放:-vf scale=-1:1080(这时不能加 -c copy,只能重新编码)

字幕格式转换

ffmpeg -i foo.ass -c:s text foo.srt
Posted in: Life, Mobile/iOS, Travel

iOS添加各地区节假日日历

2023年更新:iOS 16 和 相应的 macOS 已经可以直接在日历里面添加节假日,不用人工输入URL。

iOS一般都会自带默认地区的节假日日历,例如国行版本自带中国大陆节假日日历(2022年已经有调休信息)。

下面介绍其他国家地区的日历订阅方法(如果只有iPhone:设置——邮件——账户——添加账户——其他——添加已订阅的日历。如果还有MacOS,则推荐在MacOS的日历——文件——新建日历订阅中添加,这样可以通过iCloud同步到iOS),参考来自Che’s Blog的文章,并实测有效:

Posted in: IT, Science

图灵的“停机问题”

资料来自:科普书《复杂》和知乎网站

假设存在这么一个“停机程序”,不管它是怎么实现的,但是它能够回答“停机问题”:它接受一个“程序”和一个“输入”,然后判断这个“程序”在这个“输入”下是否能给出结果:

def is_halt(program, input) -> bool:
  # 返回 True  如果 program(input) 会返回
  # 返回 False 如果 program(input) 不返回
Posted in: IT

一个用于定位含简并碱基的oligo的工具

能用于定位oligo(或primer)的工具很多,比如BioEdit、BLASTN都可以,但是它们不能处理简并碱基的情况,只会把简并碱基当成错配。

现在列一个能够用于定位含简并碱基的oligo的工具:usearch中的search_oligodb命令。

命令格式为:

usearch -search_oligodb [your/target/seq.fa] -db [your/probes.fa] -alnout or -blast6out [your/result] 

可用参数有:

-strand: plus or both
-maxdiffs: [int]
Posted in: IT

Hotmail 打击了我的博客

我的博客沉寂有一段时间了,原因相当诡异:大概从今年年初开始,我莫名其妙地无法接收到来自虚拟主机的邮件,用户有留言评论我都不知道。既然都变成“聋子”了,我怎么还有兴趣打理?

直到前几天我实在忍无可忍,向衡天小张主机创建服务工单求助。按道理创建工单之后我将会收到一封邮件,结果 hotmail 邮箱里面啥也没有。这下子我有点明白了:不是 WordPress 的问题,而是虚拟主机自身的问题:Hotmail 无法收到来自衡天小张主机的邮件。

更换为新浪邮箱之后,测试了一下,邮件功能正常,用户留下评论后可以收到邮件通知了。

请大家帮忙测试啦!使劲留言

Back to Top