编程语言:安全与强大的权衡

2024-12-15

本文探讨了编程语言中安全性和强大性的权衡问题。传统观念认为,强大的语言往往伴随着更高的风险,例如C语言的高性能伴随着手动内存管理的复杂性和危险性。然而,作者认为这种观点是过时的。现代编程语言研究表明,通过更强大的表达能力,我们可以兼顾安全性和强大的功能。文章以Lisp、Scheme和Racket宏的演变为例,说明了如何通过改进语言设计,在保证安全性的同时提升宏的强大功能。Racket的宏系统被认为是最佳实践,因为它在保证代码卫生的同时,允许进行复杂的代码操作。文章最后强调,安全可靠的系统能够构建更强大、更可靠的软件,并推荐了进一步学习Racket宏的资源。

阅读更多
开发

CenterClick NTP200系列GPS授时服务器:无需网络的精准时间

2024-12-15

CenterClick推出了NTP200系列GPS授时服务器,该系列产品无需网络连接即可实现设备时间同步。 它采用多款型号,例如NTP200、NTP250、NTP220和NTP270,具有不同的内存和功能,例如PoE供电和报警输出。 这些设备内置GPS天线,支持多种GNSS星座,并提供多种接口和协议,包括HTTP、HTTPS、SNMP和SSH。用户可以通过Web界面、CLI或USB进行管理和配置,并可追踪NTP客户端。该产品适用于各种场景,从ISP到个人爱好者,并提供多种选配件,例如不同长度和类型的GPS天线以及电源适配器。

阅读更多

Python依赖管理:一场熊熊大火

2024-12-15

本文深入探讨了Python依赖管理的复杂性,将其比作在干旱森林中生火。作者指出,Python依赖并非简单的pip install,而是涵盖项目包、系统包、操作系统、硬件和环境等多个层面。良好的依赖管理至关重要,它确保代码的可重复性,即在不同环境下都能获得相同结果。文章详细介绍了版本控制、环境隔离以及定义文件、锁定文件等关键概念,并对pip、venv、virtualenv、pip-tools、Pipenv、Poetry、PDM、pyenv、pipx、uv、Conda、Mamba、conda-lock和Pixi等多种工具进行了全面比较,分析了它们的优缺点和适用场景。最终,作者根据不同场景(管理员权限、依赖类型、操作系统等)提供了相应的工具推荐,并展望了未来Python依赖管理工具的发展趋势。

阅读更多

大数据如何塑造现代奶牛

2024-12-15

本文讲述了美国奶牛产业如何利用大数据和公私合作,成为全球奶牛遗传学的领导者。从最初的牛群测试合作社收集数据,到采用巴氏消毒法、人工授精和低温保存技术,再到基因组测序,美国奶牛的产奶量实现了惊人的增长。然而,过度依赖高产奶牛也导致了近亲繁殖问题,并带来了气候变化的挑战。未来,奶牛遗传学需要平衡高产与可持续性,这需要行业内的合作与创新。

阅读更多

手机禁令改善学生睡眠和情绪

2024-12-15

约克大学一项针对中学生的为期三周的手机禁令实验显示,禁令显著改善了学生的睡眠和情绪。学生平均入睡时间缩短20分钟,睡眠时间增加1小时,抑郁和焦虑情绪分别下降17%和18%。虽然认知能力提升有限,但研究表明长期禁令可能带来更多益处,为政府制定相关政策提供了重要参考。

阅读更多
杂项

俄罗斯边境小镇学校出现美军战机图案引发争议

2024-12-14

俄罗斯佩чен加一座新学校的墙壁上出现了F-16战机的图案,引发公众强烈抗议。这些图案很快被移除,并被俄罗斯苏-57战机图案取代。学校解释称,原图是孩子们画的苏-27战机,但由于理解歧义,才做了修改。这一事件发生在靠近挪威和芬兰边境的军事小镇,进一步突显了地区紧张局势。类似事件也曾发生在其他军事设施,例如加吉耶沃海军基地,一栋建筑物上曾绘制了美国洛杉矶级核潜艇的图案,后被替换为俄罗斯潜艇图案。

阅读更多
杂项

气候分类系统探秘:超越科本-盖格

2024-12-14

本文探讨了地球及其他星球的气候分类系统。作者首先介绍了常用的科本-盖格系统及其局限性,然后分析了多种改进方案和替代方案,包括特雷瓦萨、FAO、霍尔德里奇等系统,比较了它们在参数选择、季节性表达和适用范围等方面的差异。最终,作者指出,普伦蒂斯等人的BIOME1模型在参数选择和预测准确性方面较为出色,为未来构建更通用的气候分类系统提供了借鉴。

阅读更多

百年数字存储:一场与时间赛跑的持久战

2024-12-14

文章探讨了如何将数字数据保存100年这一难题。从IBM第一台带有硬盘的电脑RAMAC的诞生到如今云存储的盛行,作者分析了硬盘、云存储、可移动介质以及刻录在石材或打印成册等多种存储方式的优劣及面临的挑战。无论是硬件的物理损坏、软件的更新迭代,还是机构的变迁、市场的波动,都威胁着数据的长期保存。最终,作者认为,百年数字存储的关键在于建立一种重视维护和传承的文化,并需要社会各界共同努力,才能对抗时间的侵蚀,守护人类的数字遗产。

阅读更多

HDMI 2.2标准将于CES 2025发布,带来更高分辨率和刷新率

2024-12-14

HDMI论坛确认将于2025年1月在CES上发布新的HDMI 2.2标准。该标准将支持更高的带宽、分辨率和刷新率,例如8K 120Hz甚至更高的分辨率。这将与英伟达RTX 50系列和AMD RX 8000系列显卡同步,并可能需要新的线缆。这一升级将为消费者带来更优质的影音体验,推动高端显示技术发展。

阅读更多

WhatsApp:全球文化现象的缔造者

2024-12-14

WhatsApp已超越简单的通讯软件,成为全球文化现象。文章以尼日利亚女演员Etinosa Idemudia为例,展现了WhatsApp如何被用于电影宣传、粉丝互动,以及构建个人品牌。从孟加拉国的婚介到印度的新闻传播,再到印度尼西亚的宗教活动,WhatsApp无处不在,它连接着全球各地的人们,成为日常生活中不可或缺的一部分,甚至用于教育、医疗预约等方面。WhatsApp的成功,不仅在于Meta的商业策略,更在于其用户赋予它的多元功能和文化意义,它成为一个连接世界的平台,改变了人们沟通和生活的方式。

阅读更多
杂项 全球文化

科学家发现四种新的僧帽水母物种

2024-12-14

近期,科学家们发现四种新的僧帽水母物种,这颠覆了我们对这种剧毒生物的认知。僧帽水母并非单一生物,而是由四个或五个不同个体组成的群落,分别负责漂浮、捕猎、消化和繁殖。这种独特的群体结构,堪称自然界的奇观。更令人惊奇的是,僧帽水母还会释放一氧化碳来充气,并以一种奇特的方式进行繁殖,其幼体发育过程至今仍未完全解明。此外,研究还发现了一种名为蓝瓶鱼的寄生虫,它以僧帽水母的触手和生殖器官为食,这进一步增加了这种生物的神秘性。

阅读更多
科技 僧帽水母

怀旧电脑爱好者的PLATO服务IRATA.ONLINE发布更新

2024-12-14

IRATA.ONLINE是一个为复古电脑爱好者提供的基于PLATO系统的在线社区。最近,它发布了多个版本的PLATOTerm终端模拟器,支持Atari 8-bit、C64、Amiga等多种复古电脑平台,并新增了Android应用。该平台提供多用户图形界面、多玩家游戏、社交功能、编程环境等,旨在复兴PLATO系统,为用户提供一个独特的社交和开发体验。

阅读更多
游戏 PLATO

韩国总统尹锡悦遭弹劾:因短暂戒严令引发政治风暴

2024-12-14

韩国国会以204票对85票通过了对总统尹锡悦的弹劾案。尹锡悦因其短暂的戒严令而面临指控,此举引发了政治危机,并导致其总统权力被暂停。总理韩德洙将暂代总统职务,宪法法院将在180天内决定是否罢免尹锡悦。支持和反对尹锡悦的民众分别在首尔举行集会,表达各自立场。此次弹劾是韩国历史上第三次总统在任期间被弹劾的事件,凸显了韩国民主制度的韧性与活力。

阅读更多

矿井深处:穿透地心的通讯技术

2024-12-14

由于普通无线电波难以穿透岩石,矿井和洞穴的通讯一直是个难题。本文介绍了穿透地层通讯技术(TTE),它利用超低频(300-3000 Hz)信号,通过岩石传播,即使在发生火灾或爆炸等事故后也能保持通讯。文中提到了多种TTE系统,包括便携式磁环洞穴无线电、个人紧急设备(PED)以及最新的“矿工生命线”技术,这些技术在矿难救援和洞穴探险中发挥着关键作用。

阅读更多

地图与幻想:虚构世界地理的秘密

2024-12-14

本文探讨了奇幻文学中地图的演变与象征意义。从托尔金的《霍比特人》到《权力的游戏》,地图不再仅仅是地理位置的指示,更是构建世界观、塑造文化认同的重要工具。作者分析了奇幻地图的常见特征,例如西方广阔的海洋和东方神秘的土地,并探讨了这些特征背后的文化和心理因素,以及它们与现实世界地理、殖民历史和文化偏见的关系。最终,作者认为,奇幻地图的魅力在于其未知性,以及它所代表的超越现实的可能性。

阅读更多
杂项

反物质推进技术:太空探索的未来引擎?

2024-12-14

一项颠覆性的太空探索技术——反物质推进技术,正逐渐进入人们的视野。反物质湮灭反应释放的能量密度是已知最高的,其效率可达100%,理论上可将太阳系航程缩短至数周甚至数天。然而,反物质的生产、储存和控制仍然面临巨大挑战,目前该技术仍处于理论阶段,需要进一步的研究和发展才能实现其巨大潜力。

阅读更多
科技

用餐巾纸破解物理学难题

2024-12-14

本文介绍了一种非传统的物理学学习方法:利用简单的估算和维度分析等方法,解决复杂的物理问题。作者以计算雨滴下落速度、大肠杆菌基因组长度、质子质量等例子为例,展现了这种方法的威力,并认为这种方法可以激发学生对物理学的兴趣,提高学习效率。文章还介绍了费米估算和随机游走等方法,并通过计算大肠杆菌基因组长度和解释雨中行走速度等例子,进一步说明了这些方法的实用性。

阅读更多

LLVM C库GPU加速:让C代码在GPU上飞速运行

2024-12-14

LLVM项目推出了一款令人兴奋的GPU C库,允许开发者直接在GPU上运行C/C++代码中的libc和libm函数。该库支持两种主要模式:作为OpenMP、CUDA或HIP等异构计算框架的补充库,以及直接编译C/C++代码为GPU目标代码。文章详细介绍了这两种模式的使用方法,包括编译选项、链接方法以及针对AMD GPU和NVIDIA GPU的特定构建步骤。通过该库,开发者可以利用GPU的并行计算能力,显著提升程序性能,而无需深入学习复杂的GPU编程模型。

阅读更多
开发 C库

开源全文搜索应用Buzee:两年磨一剑,终成佳作

2024-12-14

Buzee是一款由Rust和Svelte开发的跨平台全文搜索应用程序,它能够快速搜索本地文件、文件夹、浏览器历史记录等,并支持OCR提取PDF和图片中的文本。作者耗时两年,克服了诸多技术挑战,最终完成了这个项目,并将其开源。Buzee采用Tauri框架提升性能,使用SQLite和Tantivy进行数据存储和索引,目前已支持多种文件类型,但仍有一些功能尚待完善。

阅读更多
开发

Tailscale子网路由器:轻松连接设备的秘密武器

2024-12-14

Tailscale通常需要在每个设备上安装客户端,但对于嵌入式设备或现有VPC,这并非总是可行。这时,子网路由器就派上用场了。它允许设备无论是否运行Tailscale,都能通过强大的NAT穿越技术进行通信。本文介绍了Tailscale子网路由器的使用方法,包括在Windows和Linux系统上的安装和配置。对于大型网络迁移或连接AWS VPC等场景,子网路由器提供了一种快速简便的入门方式,个人使用免费,且不计入设备数量限制。

阅读更多

18世纪牙医的辛酸故事:拔牙不止拔牙,还可能拔掉一块下巴

2024-12-14

本文讲述了18世纪牙医Thomas Berdmore的著作《论牙齿和牙龈的疾病和畸形》中记录的案例,展现了当时牙科治疗的残酷现实。文中描述了病人因口腔溃疡、牙结石等问题遭受的巨大痛苦,以及一些非专业牙医造成的严重医疗事故,例如拔牙时意外拔除一块下颚骨。这些案例不仅揭示了当时牙科技术的落后和治疗的粗糙,也凸显了患者的勇气和韧性。尽管如今的牙科技术已大幅进步,但文章也提醒我们关注医疗资源的可及性和公平性,避免重蹈覆辙。

阅读更多

1955勒芒24小时耐力赛惨剧:速度与死亡的较量

2024-12-14

1955年勒芒24小时耐力赛,因梅赛德斯-奔驰300 SLR赛车与一辆较慢的汽车相撞而酿成惨剧,造成超过80人死亡,数百人受伤。事故起因于迈克·霍索恩驾驶的捷豹赛车在进站时危险超车,导致皮埃尔·莱维格驾驶的梅赛德斯赛车失控撞向观众席。这场灾难震惊世界,促使赛车运动加强安全措施,并标志着赛车运动黄金时代一个时代的终结。

阅读更多

牛顿公立学校“教育公平”实验失败

2024-12-14

马萨诸塞州牛顿公立学校在2021年秋季尝试了一种名为“多层次课堂”的教学模式,旨在提高教育公平性。该模式将不同学习水平的学生混合在一个班级,由一位老师授课。然而,三年后的结果令人担忧。教师们反映,这种模式无法满足不同学生的需求,高水平学生因顾及低水平学生而无法充分发挥,低水平学生则因害怕显得笨拙而不敢提问。教师们缺乏足够的培训和支持,导致教学效果不佳,学生成绩甚至不如单一水平班级。学校缺乏评估机制,没有数据支持该模式的有效性。最终,教师委员会提交请愿书,要求取消STEM和世界语言课程中的多层次课堂,并呼吁学校寻找更有效的解决教育公平问题的方案。该实验的失败凸显了在教育改革中,应以数据为依据,切实关注学生需求的重要性。

阅读更多

Ultralytics遭遇供应链攻击:PyPI安全事件分析

2024-12-14

近期,Python项目Ultralytics遭受供应链攻击,攻击者入侵其GitHub Actions工作流程并窃取PyPI API令牌,导致版本8.3.41、8.3.42、8.3.45和8.3.46被污染。攻击未利用PyPI自身漏洞,而是针对GitHub Actions缓存。PyPI利用可信发布和Sigstore透明日志迅速识别并移除恶意软件,并指出API令牌和GitHub环境配置的不足。文章强调了保障软件代码库和发布流程的重要性,并为开发者提供了加强安全性的建议,包括使用可信发布者、锁定依赖项、避免使用不安全模式以及启用多因素身份验证等。

阅读更多
开发

富士通Monaka CPU:采用ARMv9、SVE2和3D堆叠技术的数据中心处理器

2024-12-14

富士通即将推出名为Monaka的新一代数据中心CPU,预计2027年问世。Monaka采用ARMv9架构、SVE2扩展指令集和3D堆叠技术,其设计类似于AMD EPYC,拥有中央IO芯片和分离的SRAM和计算单元。每个Monaka CPU最多拥有144个核心,分布在4个36核的计算芯片上,采用2nm工艺制造。其IO部分将支持12通道DDR5内存(预计带宽超过600GB/s)和PCIe 6.0(包含CXL 3.0支持),并可实现风冷散热。Monaka并非A64FX的直接替代品,因为它不支持HBM,且更侧重于通用数据中心市场。

阅读更多
硬件 Monaka 3D堆叠

猛犸象是古代美洲人的主要食物来源

2024-12-14

一项新的研究发现,猛犸象和其他大型动物是古代美洲人食物的主要来源。这项研究使用了稳定同位素分析法,对蒙大拿州一个13000年前的克洛维斯婴儿墓葬中婴儿母亲的饮食进行了建模。结果显示,她饮食的40%来自猛犸象,其他大型动物如麋鹿和野牛也占有一定比例。小型哺乳动物在她的饮食中所占比例非常小。这一发现支持了克洛维斯人专门猎杀大型动物而非主要依靠采集小型动物和植物的假设,也解释了克洛维斯人在几百年内迅速扩张到北美和南美的能力。研究人员还强调了与当地原住民的合作,尊重他们的文化遗产。

阅读更多

Cortex-M 微控制器上的异步 Rust:高效并发编程的探索

2024-12-14

本文深入探讨了在 Cortex-M 微控制器上使用异步 Rust 进行高效并发编程的方法。文章详细解释了 Futures、协作式调度和异步 Rust 执行器的工作原理,并介绍了 Embassy 项目,这是一个用于在微控制器上解锁异步编程能力的创新框架。通过 Blinky 和 Button 例子,展示了异步 Rust 在嵌入式系统中的应用,并比较了异步 Rust 与传统 RTOS 的优缺点,最终得出异步 Rust 在资源利用率和并发性方面具有显著优势的结论。

阅读更多
开发 Cortex-M

YouTube悄然修改嵌入式播放器,损害用户体验

2024-12-14

YouTube近期对发布者嵌入式播放器(PfP)进行了修改,移除了回链到YouTube的标题链接。此举是为了保护广告商利益,因为PfP允许发布者自行投放广告,而YouTube无法对其进行监控。这一改动导致许多网站的YouTube嵌入视频无法通过点击标题链接跳转到YouTube平台,包括The Verge。虽然The Verge尝试与YouTube沟通,但YouTube方面表示不会更改这一策略,这反映了大型科技平台在利益驱动下可能牺牲用户体验的现状。

阅读更多
1 2 14 15 16 18 20 21 22 511 512