分类： IT

盘点我用过的手机
Posted in: Mobile/iOS

盘点我用过的手机

Written by springwood 盘点我用过的手机有 17 条评论
时间手机网络结局
2006.7-2008.2三星 Anycall 某型号🇨🇳联通CDMA主动淘汰
2008.2-2008.7诺基亚某型号🇨🇳移动GSM 2G在南京地铁丢失
2008.7-2009.1诺基亚某型号🇨🇳移动GSM 2G在南京火车站附近丢失
2009.1-2009.9摩托罗拉某型号🇨🇳移动GSM 2G在南大落入厕所损坏
2009.9-2011.2诺基亚某型号🇨🇳移动GSM 2G主动淘汰
2011.2-2013.1索爱J108i🇨🇳移动GSM 2G主动淘汰
2013.1-2013.11中兴U960s3🇨🇳移动TD 3G主动淘汰（转卖）
2013.11-2014.2努比亚Z5mini🇨🇳电信CDMA 3G主动淘汰（转卖）
2014.2-2015.10HTC New One M7🇨🇳电信CDMA 3G主动淘汰（转卖）
2015.10-2020.12iPhone 6s🇨🇳电信LTE 4G主动淘汰（官网回收）
2020.12-2025.11iPhone 12 ProMax🇨🇳电信5G
🇭🇰CSL 4G
🇯🇵UQ Mobile 5G		作为备用机，专门安装🇨🇳app
2025.11 – 现在iPhone 16e🇯🇵ahamo 5G

Posted in: IT

ffmpeg的一些用法

Written by springwood Leave a Comment on 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添加各地区节假日日历

Written by springwood iOS添加各地区节假日日历有 4 条评论

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

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

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

Read More “iOS添加各地区节假日日历”

Posted in: IT, Science

图灵的“停机问题”

Written by springwood Leave a Comment on 图灵的“停机问题”

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

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

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

Read More “图灵的“停机问题””

Back to Top