Posted in: PC/macOS

Macbook与电视屏幕

很多时候我们希望用手机投屏到电视来看视频或者玩游戏以获得更好的体验效果,但目前问题很大:

(1)直接屏幕镜像?手机必须开着屏幕,不能切换app。而且很可能耗电。

(2)DLNA(应用内投屏)?这种比较理想,因为投屏完之后手机可以切后台或者关闭都没事。但最大的问题在于:不是所有的app都支持,而且投屏的体验和原生app也不一样(例如弹幕什么的肯定没有了、一些收费的视频也不许你这样投屏)

事实上,巧用MacBook的“屏幕镜像”,效果远比手机要好。可能你不信?但真的如此。下面分三种情况来举例:

Posted in: Mobile/iOS

盘点我用过的手机

时间手机网络结局
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-今iPhone 12 ProMax🇨🇳电信5G
🇭🇰CSL 4G
🇯🇵UQ Mobile 5G

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) 不返回
Back to Top