用Typst完成博士论文:利与弊

2025-06-22

一位博士生用新型排版语言Typst完成了他的博士论文,并分享了他的经验。Typst 结合了Markdown 的易用性和Rust 的强大脚本能力,编译速度极快,这让他能够快速迭代,改进排版和样式。然而,Typst 的文献管理功能尚不完善,需要一些额外的工具和手动调整才能满足严格的参考文献格式要求。作者认为,对于喜欢编程并乐于调整工具的人来说,Typst 是一个很好的选择,但对于希望开箱即用的人来说,LaTeX 仍然是更稳妥的选择。

阅读更多
开发

图卢兹伸出援手:为受美国预算削减影响的科学家提供庇护

2025-04-09

面对美国科研经费大幅削减的威胁,法国图卢兹学术界发起一项倡议,为受影响的美国科学家提供研究职位。该项目由奥克西塔尼大区和法国政府支持,初期将提供十个职位,涵盖人文、气候科学、健康和空间研究等领域。此举旨在应对美国科学研究面临的严峻挑战,保护宝贵的科研数据,并体现图卢兹对学术自由和科学进步的承诺。

阅读更多
科技

全球股市暴跌:贸易战阴云笼罩,经济衰退担忧加剧

2025-03-10
全球股市暴跌:贸易战阴云笼罩,经济衰退担忧加剧

受全球经济衰退担忧以及美国贸易政策不确定性影响,全球股市遭遇大幅抛售。美国股市S&P 500指数下跌2.3%,道琼斯指数下跌1.2%;欧洲股市也纷纷下跌,伦敦富时100指数下跌0.92%,法兰克福DAX指数下跌1.69%,巴黎CAC 40指数下跌0.9%。英镑兑美元和欧元汇率均下跌,布伦特原油价格也下跌约1.2%。一些公司,例如Clarksons,由于地缘政治不确定性导致业绩下滑,股价暴跌21.7%。市场分析师认为,贸易战、地缘政治紧张以及不确定的经济前景是导致市场修正的催化剂。

阅读更多
科技

AI与传感器网络挑战潜艇隐身技术

2024-12-16
AI与传感器网络挑战潜艇隐身技术

随着人工智能、无人机和传感器网络技术的快速发展,潜艇的隐身能力面临巨大挑战。文章探讨了AUKUS协议下美英澳三国建造核潜艇的计划,以及中国海军潜艇力量的现代化进程。先进的传感器网络和人工智能算法能够检测到潜艇细微的活动痕迹,削弱了传统潜艇隐身技术的有效性。文章分析了应对这一挑战的策略,包括利用噪音干扰AI系统、部署无人水下航行器以及采取战略性行动等。然而,AUKUS协议也面临着高昂成本、铀供应短缺以及中国潜艇力量快速发展等问题,其未来走向充满不确定性。

阅读更多

随机财富分配的惊人结果:贫富差距的涌现

2025-06-13
随机财富分配的惊人结果:贫富差距的涌现

一个简单的实验:100个人,每人100美元,每轮随机分配。你猜结果?不是平均分配!模拟显示,财富不平等迅速出现并持续存在。这看似公平的随机过程,为何产生赢家和输家?文章深入探讨了该问题,从图论和概率的角度分析了这种现象,并类比到物理学中的玻尔兹曼分布。研究发现,即使是微小的随机性,也能导致财富极度集中,少数人拥有大部分财富,而大部分人几乎一无所有。这并非巧合,而是系统固有的特性。

阅读更多
杂项

Starlink Mini路由器拆解指南:释放更多可能性

2025-06-15

这篇指南详细介绍了如何从Starlink Mini 1终端拆除内置Wi-Fi路由器,从而实现通过以太网连接。移除路由器后,高级用户可以进行自定义网络设置、嵌入式安装或在低功耗环境中使用。文章包含了详细的拆解步骤、PCB连接器引脚定义以及直接以太网连接的示意图,并提供了网络配置和gRPC状态代码的解释,帮助用户排除故障。需要注意的是,此方法仅适用于Starlink Mini 1,并且移除金属屏蔽板可能会导致散热和电磁干扰问题。

阅读更多
硬件

弗吉尼亚数据中心需求暴涨:40.2吉瓦电力合同签署

2025-02-13
弗吉尼亚数据中心需求暴涨:40.2吉瓦电力合同签署

弗吉尼亚州,全球数据中心走廊“Data Center Alley”的所在地,其最大的公用事业公司Dominion Energy报告称,2024年下半年,数据中心电力需求几乎翻倍。截至12月,Dominion Energy与数据中心签订的电力合同总容量已达40.2吉瓦,而7月份仅为21.4吉瓦。这一增长主要源于数据中心和人工智能的蓬勃发展,以及制造业和经济电气化的推动。尽管DeepSeek公司发布的节能AI模型一度引发市场预期调整,但Dominion Energy首席执行官Bob Blue仍表示,弗吉尼亚州的数据中心增长并未放缓,反而在加速。

阅读更多
科技 能源需求

抵制Real ID:一场关乎自由的斗争

2025-04-02
抵制Real ID:一场关乎自由的斗争

Real ID,一种符合联邦规定的驾照,即将强制实行。文章作者认为,Real ID 要求提供过多个人信息,增加了身份被盗和政府监控的风险,实质上是创建内部护照,限制公民自由。作者呼吁抵制 Real ID,认为这是捍卫自由的必要之举,并建议通过立法阻止其实施,甚至不惜为此而让政府停摆。

阅读更多
杂项 Real ID

无风扇M4芯片MacBook Air:性能与功耗的平衡

2025-03-19
无风扇M4芯片MacBook Air:性能与功耗的平衡

新款MacBook Air搭载了无风扇设计的M4芯片,其性能与已发布的M4 Mac产品线保持一致,拥有10核心CPU(4个性能核心和6个能效核心)和10核心GPU。虽然在长时间高负荷运行下,性能会略微下降,但在大多数日常应用中,与有源散热版本的M4表现几乎相同。与M3相比,M4的CPU性能提升了15%到30%,GPU性能提升了10%到20%;与M1相比,M4的整体性能提升了50%到70%。虽然在极端压力测试下会降频,但对于普通用户而言,M4的性能提升依然显著,足以满足日常需求。

阅读更多

Zenobē能源公司:300兆瓦时巨型电池储能项目助力英国能源转型

2025-03-04
Zenobē能源公司:300兆瓦时巨型电池储能项目助力英国能源转型

英国能源公司Zenobē正在苏格兰建设一个300兆瓦/600兆瓦时的巨型电池储能项目——Blackhillock。该项目将成为苏格兰目前最大的电池储能设施,占苏格兰现有电池储能总容量的32%。Zenobē通过1.01亿英镑的债务融资完成了第一阶段的建设,并计划进一步扩展。Blackhillock项目将通过提供电网稳定性服务,每年减少约260万吨二氧化碳排放,并预计在15年内为消费者节省超过1.7亿英镑的能源费用。该项目还将能够为超过310万个家庭供电2小时。Zenobē在英国电动巴士领域拥有约25%的市场份额,并在全球运营着超过2000辆电动汽车。

阅读更多

深度学习模型可解释性的新方法:跨层转码器

2025-04-02
深度学习模型可解释性的新方法:跨层转码器

研究人员提出了一种新方法,利用跨层转码器(CLT)来解释深度学习模型的内部工作机制。CLT 将模型的激活分解成稀疏的、可解释的特征,并构建特征之间相互作用的因果图,从而揭示模型如何生成输出。该方法在解释模型对不同提示的反应(例如,编写首字母缩写词、事实回忆和简单的加法)方面取得了成功,并通过扰动实验进行了验证。尽管该方法存在一些局限性,例如无法解释注意力机制,但它为理解大型语言模型的内部运作提供了有价值的工具。

阅读更多

古希腊语中的语粒:并非无意义的填充物?

2025-04-29

本文探讨了古希腊语中“语粒”(particles)的实际意义。作者指出,古希腊语的书写更接近口语,而口语中充满了犹豫、停顿和无意义的语气词。通过对比英语口语和古希腊语文本,作者发现,许多被认为具有特定含义的希腊语语粒,实际上与英语口语中的语气词类似,只是起填充作用,缺乏实际意义。这颠覆了传统古典学对古希腊语语粒的解释,认为它们并非具有语法或语义功能,而更像是口语表达中的自然现象。

阅读更多

SavePlays:一站式在线视频下载神器

2025-01-15
SavePlays:一站式在线视频下载神器

SavePlays.com 是一款免费的在线视频下载器,支持 YouTube、Facebook、Instagram、TikTok 等多个平台。用户只需复制视频链接,粘贴到 SavePlays 网站,选择所需格式和分辨率,即可下载高清 MP4 视频。该网站支持多种分辨率(SD 到 4K),兼容主流浏览器,提供简单便捷的下载体验。

阅读更多
杂项

观看百万小时YouTube视频意外解决了机器人难题

2025-06-30
观看百万小时YouTube视频意外解决了机器人难题

研究人员通过训练名为V-JEPA 2的模型,观看了百万小时的YouTube视频,意外解决了机器人领域长期存在的难题。该模型通过预测视频中的下一个瞬间,而非下一个单词,学习理解物理世界。与以往依赖于语言监督的模型不同,V-JEPA 2能够在从未见过的环境中完成抓取和放置等复杂任务,展现了惊人的零样本泛化能力。虽然模型仍存在一些局限性,例如对摄像机位置敏感以及长时预测精度不足,但这项研究为机器人技术的发展带来了新的方向,预示着未来机器人可能具备与ChatGPT同等水平的理解能力。

阅读更多
AI

超越cuBLAS:单精度矩阵乘法的CUDA实现

2025-01-18

本文介绍了一个单精度通用矩阵乘法(SGEMM)的CUDA实现,其性能在某些情况下超过了cuBLAS。作者通过巧妙运用PTX指令、异步内存复制、双缓冲等技术,并针对NVIDIA RTX 3090进行了优化,实现了高效的矩阵乘法运算。文章详细解释了算法设计、优化技巧以及基准测试方法,为CUDA学习者提供了宝贵的经验。

阅读更多
开发

政府机构数据泄露风险:法院叫停对敏感信息的访问

2025-02-25
政府机构数据泄露风险:法院叫停对敏感信息的访问

美国教师联合会等工会状告政府,指控教育部和人事管理办公室(OPM)的六名DOGE关联人员未经授权访问数百万教师和护士的敏感个人数据,包括社保号、住址、收入等。法官裁定,政府未能证明这些人员需要访问如此广泛的个人信息,下令停止访问,认为政府的解释缺乏先例,并指出数据访问违反了“需知”原则。此举凸显了政府数据安全管理的漏洞和对个人隐私保护的不足。

阅读更多
科技

我的自动化博客:从知识管理到一键发布

2025-04-24

博主Ryan West分享了他如何自动化博客写作和发布流程的经验。他利用Obsidian进行个人知识管理(PKM),将高质量信息整理到Zotero,再通过Obsidian进行整合和创作。他使用Hugo生成静态网站,并通过自定义脚本和cron job实现了自动化部署到GitHub,几分钟内就能将Obsidian中的Markdown文章发布到网站。他还使用了giscus作为评论系统,利用GitHub Discussions功能,实现了类似Reddit的评论体验。

阅读更多

微软开源协议NLWeb:开启第四次个人计算革命?

2025-05-19
微软开源协议NLWeb:开启第四次个人计算革命?

微软技术专家Ramanathan V. Guha提出了一种名为NLWeb的开放协议,旨在开启个人计算的第四次革命——通过自然语言与应用和计算机进行交互。不同于现有的基于ChatGPT等大型语言模型的解决方案,NLWeb允许网站和应用开发者轻松添加自定义的、基于自身数据的自然语言交互功能,从而构建比通用聊天机器人更有效率和针对性的服务。通过几个简单的代码行,开发者即可利用NLWeb创建高效的、个性化的聊天机器人,并能记住用户的偏好(例如,在美食网站上记住用户的饮食习惯)。Guha认为NLWeb成本低廉,并具有巨大的潜力,但其成功取决于业界对这一开放协议的支持程度,以及是否能够避免网页内容最终走向中心化的命运。

阅读更多
科技

破解与迷因:Demo场景中的版权之谜

2025-03-17

本文探讨了Demo场景中长期存在的版权模糊地带。从上世纪80年代Amiga和C64游戏破解的黄金时代开始,破解团体与Demo制作团体之间就存在着复杂的关系。一方面,破解行为是常见的,甚至被某些人视为对昂贵游戏的反抗;另一方面,Demo场景却对内部成员之间的作品剽窃零容忍。文章以Unit A和The Movers的Cracktro为例,展现了这种矛盾的文化,并讨论了在商业游戏开发中,曾经的破解者如何与游戏公司共存,以及如何看待原创性、代码共享和AI生成艺术等问题。最终,文章指出Demo场景对版权的理解是模糊且不断变化的,没有明确的规则,只有不成文的规范和社区的默契。

阅读更多
游戏 Demo场景

云原生时代基础设施困境:规模化、成本和维护难题

2025-02-13
云原生时代基础设施困境:规模化、成本和维护难题

许多企业面临着云基础设施的挑战:可扩展性准备不足导致资源浪费和成本飙升;工作负载难以预测,导致冷启动时间过长;数百甚至数千个应用程序需要持续维护和更新,漏洞修复和依赖项管理成为难题;跨云供应商、多区域和边缘部署也增加了复杂性。这些问题导致基础设施效率低下,并增加了运营成本。

阅读更多
开发

DuckDuckGo推出AI图片过滤功能

2025-07-19
DuckDuckGo推出AI图片过滤功能

注重隐私的搜索引擎DuckDuckGo上线了新的设置,允许用户过滤搜索结果中的AI生成图片。此举是为了回应用户反馈,许多用户表示AI图片干扰了他们寻找真实图片。用户可以在DuckDuckGo的图片搜索页面找到“AI图片”下拉菜单,选择“显示”或“隐藏”来控制AI图片的显示。DuckDuckGo表示该功能依赖于手动维护的开源黑名单,虽然不能完全过滤所有AI图片,但能显著减少其数量。未来DuckDuckGo计划添加更多过滤器。

阅读更多
科技 AI图片

AI数据中心资本支出:经济的隐藏支柱?

2025-07-19
AI数据中心资本支出:经济的隐藏支柱?

本文探讨了AI数据中心资本支出对美国经济的巨大影响。作者指出,2025年AI数据中心资本支出可能占美国GDP的2%,这笔巨额投资来自企业内部资金、债务发行、股权融资等多种渠道。虽然这笔投资掩盖了潜在的经济弱点,避免了更严重的经济衰退,但也导致资本被重新分配,其他领域投资不足,并引发大规模裁员。作者警告说,这种对快速贬值技术的巨额投资具有不可预见的后果。

阅读更多
科技

NetChoice再次起诉:马里兰州儿童网络保护法引争议

2025-02-03
NetChoice再次起诉:马里兰州儿童网络保护法引争议

NetChoice组织向马里兰州提起第十起诉讼,反对该州旨在保护儿童免受网络不良信息侵害的法律。NetChoice认为该法是伪装的违宪言论审查,并指出马里兰州已拥有独立的网络隐私法。该组织此前在佛罗里达州和得克萨斯州的案例中胜诉,确立了内容审核受第一修正案保护的先例。此次诉讼的核心是马里兰州法律中要求平台报告其服务对儿童影响的规定,NetChoice认为这会导致歧视性执法。NetChoice坚持认为,即使是善意的保护儿童措施也可能适得其反,并可能导致收集更多儿童数据,反而增加风险。

阅读更多
科技

逃离数字农奴制:自建云的反思与共享云的未来

2025-07-26
逃离数字农奴制:自建云的反思与共享云的未来

作者讲述了因亚马逊Kindle取消本地备份功能而开始自建云的经历,详细描述了其硬件配置和软件选择(Proxmox, Docker, Immich, Calibre-web, Audiobookshelf, Jellyfin等),并最终得出结论:个人自建云虽然提供了控制权,但因其复杂性和局限性,难以成为大众解决方案。文章呼吁转向构建公共、可访问的、以成本价提供的云服务,如同图书馆提供书籍和媒体一样,为每个人提供数据存储、协作工具和流媒体服务,最终目标是摆脱“数字农奴制”,实现真正的数字自由。

阅读更多

湾区创客盛会Open Sauce:与宇航员和复古科技的邂逅

2025-07-26

第二年参加湾区创客盛会Open Sauce,我与退休无线电工程师父亲一同见证了数百个展品,从疯狂科学到复古电子设备,应有尽有。活动中,我与YouTube上的创客达人相遇,例如修复老式HP铯原子钟的CuriousMarc,以及在现场修复设备的TubeTime和Ken Sheriff。此外,我还参与了关于逆向工程的讨论小组,并与NASA宇航员Matthew Dominick交流了他使用开源工具搭建家庭实验室的经验。Open Sauce不仅展示了创新的科技项目,也展现了创客社区的热情与活力,令人期待2026年的盛会。

阅读更多
科技

C# 记录类型中的意外不一致性:with 运算符与派生数据的陷阱

2025-07-22
C# 记录类型中的意外不一致性:with 运算符与派生数据的陷阱

作者在使用C#记录类型时发现了一个意外的不一致性。当使用`with`运算符更新包含派生数据的记录时,派生数据不会被重新计算,导致数据不一致。这源于`with`运算符并非调用构造函数,而是使用复制构造函数创建副本并修改属性。作者提出了几种解决方案,包括避免在复杂记录中使用`with`运算符、编写Roslyn分析器来检测问题、使用`Lazy`延迟计算属性以及请求语言变更。这篇文章揭示了C#记录类型中一个潜在的陷阱,提醒开发者在使用`with`运算符时需谨慎,尤其是在处理包含派生数据的记录时。

阅读更多

南极冰川融化意外发现繁荣生态系统

2025-03-25
南极冰川融化意外发现繁荣生态系统

一块面积相当于芝加哥的巨大冰山A-84崩裂后,科学家们在暴露出的南极海底发现了一个繁荣的生态系统。利用遥控潜水器,他们发现了大型珊瑚、海绵、冰鱼、巨型海蜘蛛和章鱼等生物,这些生物群落可能已存在数十年甚至数百年。这一发现挑战了人们对冰山对周边环境影响的传统认知,也突显了南极冰盖融化对海洋生态系统的影响。研究人员认为洋流是冰盖下生命生存的关键因素,而冰盖的缩小则对这些生物构成威胁。这项研究有助于更好地预测未来气候变化的影响。

阅读更多
科技

Rad Type:革新游戏手柄打字体验

2025-04-29

Rad Type 是一款重新设计游戏手柄键盘输入方式的创新方案。它采用环形布局的字母,通过摇杆控制选择字母,显著提高了游戏手柄的打字速度。文章介绍了 Rad Type 的四个版本,从最初的时钟式布局到最终的精简版,每个版本都针对用户体验进行了优化,最终目标是提升游戏手柄的文字输入效率。作者在开发过程中遇到的问题和解决方法也为我们提供了宝贵的经验。

阅读更多
游戏 游戏手柄

墨西哥监狱诞生的桌游“Poleana”风靡全国

2024-12-29
墨西哥监狱诞生的桌游“Poleana”风靡全国

起源于墨西哥监狱近一个世纪的桌游“Poleana”,如今正风靡全国。这款结合了运气和策略的桌游,需要玩家具备敏捷的思维和快速的计算能力。它象征着监狱的束缚,玩家需要巧妙地移动棋子,最终“逃离”监狱。尽管游戏起源于监狱,带有负面色彩,但其独特的魅力吸引了来自各行各业的人们参与其中,甚至还举办了大型比赛。Poleana不仅是一场游戏,更是一种文化传承和社会融合的象征。

阅读更多
游戏 Poleana
1 2 791 792 793 795 797 798 799 1084 1085