ZD至顶网CIO与应用频道 05月26日 专栏:当我穿梭在各种IT会议、培训和个人旅行之间的时候,我把大量时间花在了空中飞行上。事实上,当有人问我是做什么工作的时候,我的妻子经常开玩笑说,我是一个专业航空乘客。我的Surface平板电脑是我在长途飞行中打发无聊时间的工具,本文列出了5个我会在旅行途中会使用的应用。
1、VLC Media Player
VLC Media Player(如图A)是一款开源媒体播放器,是我认为到目前为止用于播放视频的最佳选择。我喜欢VLC Media Player的理由有三个。
图A
首先,它几乎可以播放几乎任何视频格式。我可以在VLC Media Player上播放我无法用其他任何应用播放的文件。其次,VLC Media Player可以纠正横纵比的问题。我偶尔会现在比例是16:9的视频,然后保存为4:3。VLC可以在播放视频的时候将其切换为16:9。最后,VLC可以修复各种非常奇怪的视频问题。例如,我的一个GoPro摄像机曾经出现设置错误,拍摄了一个倒置的视频,VLC Media Player让我可以以正确的位置看。
2、Fairway Solitaire
Fairway Solitaire(如图B)正如它的名字一样,是一个以高尔夫为主题的纸牌游戏。我不得不承认,我不是一个游戏玩家。尽管我曾经为一家游戏网站写过关于平台游戏的文章,但一点都不擅长视频游戏,而且真的没有太多兴趣。尽管如此,我真的挺喜欢Fairway Solitaire。这款游戏是围绕着一个邪恶的地鼠想要报复高尔夫球手的故事展开。游戏玩法看似简单,但是很多关卡还是很难的。不管怎样,我都觉得这个游戏容易上瘾……我甚至都不会打高尔夫。我在飞机上花了很多时间试图打败那个地鼠。
图B
Fairway Solitaire的价格根据平台的不同而不同,但有免费试用版可供下载。
3、Smarter Battery
Smarter Battery(如图C)并不完全算是一款娱乐应用。但是让我们面对现实吧:长途旅行中当电池块用完的时候,你就不能娱乐了。当然,一些飞机作为上 有充电器,还有一些充电包可以给你的设备充电。但是,当我需要充电的时候似乎都没有能冲上。这时候就需要了Smarter Battery了。它可以帮助你看着电池消耗情况,把你的设备设置为低功耗模式,当你真的需要充电的时候就进入“绿色模式”。
图C
Smarter Battery售价14美元,免费试用版可供下载。
4、Free YouTube Downloader
Free YouTube Downloader(如图D)真的和它的名字一样。这是一款用于下载YouTube视频离线观看的免费工具。Free YouTube Downloader并不如其他一些视频下载应用那样功能丰富,但它是免费的,而且用起来也还不错。多亏有了这款应用和其他我经常使用的下载工具,让我可以在飞行中花数小时观看YouTube视频。
图D
5、Kindle
Kindle(如图E)那么广为人知,我考虑着在这篇文章中忽略它呢。即使如此,这是市场中最好的电子阅读器之一。让Kindle成为旅途中最受欢迎的工具有三个理由。首先,它背后是一个庞大的内容库。其次,它让你可以导入PDF文件便于阅读。最后,它不像其他一些阅读器那样要求持续地连接互联网。Kindle要求连接互联网下载电子书,但是可以离线阅读。
图E
好文章,需要你的鼓励
PDF协会在欧洲会议上宣布,将在PDF规范中添加对JPEG XL图像格式的支持。尽管Chromium团队此前将该格式标记为过时,但此次纳入可能为JXL带来主流应用机会。PDF协会CTO表示,选择JPEG XL作为支持HDR内容的首选解决方案。该格式具备广色域、超高分辨率和多通道支持等优势,但目前仍缺乏广泛的浏览器支持。
Meta研究团队发现仅仅改变AI示例间的分隔符号就能导致模型性能产生高达45%的巨大差异,甚至可以操纵AI排行榜排名。这个看似微不足道的格式选择问题普遍存在于所有主流AI模型中,包括最先进的GPT-4o,揭示了当前AI评测体系的根本性缺陷。研究提出通过明确说明分隔符类型等方法可以部分缓解这一问题。
Ironclad OS项目正在开发一个新的类Unix操作系统内核,面向小型嵌入式系统,计划支持实时功能。该项目的独特之处在于采用Ada编程语言及其可形式化验证的SPARK子集进行开发,而非常见的C、C++或Rust语言。项目还包含运行在Ironclad内核上的完整操作系统Gloire,使用GNU工具构建以提供传统Unix兼容性。
香港中文大学研究团队开发出CALM训练框架和STORM模型,通过轻量化干预方式让40亿参数小模型在优化建模任务上达到6710亿参数大模型的性能。该方法保护模型原生推理能力,仅修改2.6%内容就实现显著提升,为AI优化建模应用大幅降低了技术门槛和成本。