Bluesky在日本蓬勃发展，主要原因并非美国政治
2024-11-27
Bluesky等Twitter替代平台在日本迅速流行。截至10月，Bluesky在日本安卓端的月活跃用户数量同比增长五倍，而Twitter同期数据下降。11月前两周，Bluesky的日活跃用户数持续增长。
阅读更多
未分类
Deck-Month 2 - itch.io
2024-11-25
Deck-Month 2 是一个在12月举办的游戏开发比赛，参赛者需要使用 Decker（一个多媒体sketchpad和电脑程序）创作作品。作品形式不限，可以是视觉小说、诗歌、数字活动餐垫、实用工具或电子杂志等。参赛作品需以可网页运行的 HTML 格式提交，并鼓励原创作品。禁止使用生成式 AI 工具，但可以使用公共领域素材或 Decker 社区论坛的共享资源。参赛者可以组队参赛或提交多个作品。
阅读更多
(itch.io)
7
HTMY：异步纯 Python 渲染引擎
2024-11-27
HTMY是一个异步的纯Python渲染引擎，具有异步优先、强大的类似React的上下文支持、同步和异步函数组件、内置所有基本HTML标签、Markdown支持、异步JSON国际化、内置错误边界组件、易于定制、自动属性名转换以及完全类型化等特点。它支持HTML和Markdown渲染，并提供国际化和错误处理等实用工具。HTMY旨在简化构建复杂且可维护的Web应用程序的过程，同时保持高度的灵活性和可定制性。
阅读更多
未分类
渲染引擎
阿雷西博天文台305米望远镜坍塌事故分析报告（前言）
2024-11-05
美国国家科学院、工程院和医学院发布了关于阿雷西博天文台305米望远镜坍塌事故的分析报告。该报告分析了望远镜倒塌的原因，详细回顾了之前的司法调查，收集了阿雷西博天文台员工的信息，研究了相关研究，咨询了其他专家，并审查了结构分析、工程计划、检查报告、照片和维修方案。报告重点分析了支撑钢缆的锌锚出现缓慢蠕变失效，导致钢缆从套筒中滑出，最终造成望远镜坍塌。报告还探讨了事故发生后的管理和监督问题，并提出了一些经验教训和建议，以确保其他重要科研设施的安全运行。
阅读更多NandGame - 从零开始构建计算机
2024-10-31
NandGame是一个让你从最基础的逻辑门Nand开始，逐步构建完整计算机的项目。用户需要启用JavaScript才能运行此应用程序。
阅读更多
23
未分类
Nand门
塑化剂邻苯二甲酸酯导致生殖细胞DNA断裂和染色体缺陷
2024-10-25
一项针对线虫的新研究发现，常见的塑化剂成分邻苯二甲酸丁苄酯(BBP)会导致DNA链断裂，导致卵细胞染色体数量异常。BBP会干扰新复制的染色体如何分配到生殖细胞中，造成氧化应激和DNA链断裂，最终导致卵细胞质量降低和染色体异常。研究表明，秀丽隐杆线虫对BBP的代谢方式与哺乳动物相同，受影响的BBP水平与人类相似，这表明线虫是研究BBP对人类影响的有效模型。
阅读更多
27
如何配置我的 Git 身份
2024-11-25
作者分享了如何使用 `includeIf` 和 `hasconfig:remote.*.url` 根据不同的远程仓库地址（例如工作、个人或开源项目）配置不同的 Git 身份和 SSH 密钥。文章详细解释了如何通过配置文件实现这一目标，并提供了一些示例配置，包括 `~/.config/git/config` 和 `~/.ssh/config`。作者还提到了使用 `insteadOf` 来简化命令，并希望得到关于此方法的改进建议。
阅读更多
7
未分类
实时进化：科学家预测并在30年的海螺实验中见证了进化
2024-10-27
一项长达30年的海螺实验表明，物种进化可以被预测和实时观察。1988年，瑞典科斯特群岛的赤潮导致一种海螺在多个岛屿灭绝。1992年，科学家将一种具有不同特征的同种海螺重新引入其中一个岛屿。结果发现，这些海螺在30年内快速进化，其外形和基因特征逐渐接近原先灭绝的海螺，证明了物种对环境变化的适应能力以及基因多样性对物种生存的重要性。
阅读更多
(phys.org)
26
使用光传感器测量键盘到光子的延迟
2024-11-10
本文作者介绍了一种使用光传感器测量键盘输入到屏幕显示之间延迟的硬件测试方法。作者详细描述了测试装置的搭建过程，包括使用Teensy LC微控制器、光传感器模块、辅助支架等。并分享了在不同显示器、文本编辑器和终端下的测试结果，以及测量过程中遇到的挑战，例如测量信号强度、输入事件与屏幕刷新同步等问题。结果显示，不同显示器和软件的延迟差异较大，其中显示器对整体延迟的影响不容忽视。作者还开源了用于测试的Arduino代码。
阅读更多
(thume.ca)
16
未分类
延迟测试
用Python包管理工具解决布尔可满足性问题和整数规划问题
2024-11-26
本文介绍了如何利用Python包管理工具（如pip和uv）解决布尔可满足性问题（SAT）和整数规划问题（IP）。作者将SAT问题转化为包依赖关系问题，利用包版本表示布尔变量，通过pip或uv安装包来判断SAT问题是否可满足。文章还进一步解释了如何将IP问题转化为SAT问题，并通过一系列转换和编码，最终利用pipip（作者开发的工具）解决IP问题。文章提供了多个SAT和IP问题的示例，并讨论了使用pip-compile和uv作为包管理工具时的性能差异。
阅读更多
(mmaaz.ca)
7
未分类
SAT
《Apex英雄》停止支持Steam Deck和Linux平台
2024-10-31
/cdn.vox-cdn.com/uploads/chorus_asset/file/23270003/vpavic_220210_5030_0054_Edit.jpg)
EA宣布《Apex英雄》将停止支持Steam Deck和Linux平台，理由是Linux系统存在较多作弊和漏洞，对反作弊工作造成巨大挑战。尽管Steam Deck上的《Apex英雄》使用了Epic的Easy Anti-Cheat反作弊软件，但EA认为Linux作弊难以检测，且数量增长迅速，对团队资源消耗过大。EA表示，玩家仍然可以通过在Steam Deck上安装Windows系统来继续游玩《Apex英雄》。
阅读更多
23
未分类
Steam Deck
IRC Today：你的现代托管 IRC 弹跳服务器
2024-11-08
IRC Today 是一款现代化的托管 IRC 弹跳服务器，允许用户通过任意客户端连接 IRC 网络，并保持跨设备的消息历史记录。它支持文件和照片共享，提供消息搜索功能，并在手机上推送通知。IRC Today 支持所有标准 IRC 客户端，技术开源，服务器位于法国，符合欧盟的隐私法规。用户可以轻松管理多个 IRC 网络和频道，快速加入技术讨论或非正式群组。
阅读更多
17
未分类
弹跳服务器
矩阵乘法喜欢什么样的形状？
2024-11-06
本文探讨了矩阵乘法运算的性能与矩阵形状之间的关系。作者指出，矩阵大小、可分性以及分块策略都会对性能产生显著影响。文章首先解释了计算强度和并行性如何影响矩阵乘法的总体性能趋势。然后，通过可视化分析，揭示了矩阵大小的可分性（例如，能否被2、8、16或32整除）与性能的密切联系，并解释了这种现象背后的原因是分块策略。最后，文章还讨论了波量化效应，即当任务数量超过硬件并行单元数量时，性能会下降。此外，文章还提到了`torch.compile`的优化作用及其局限性，并提出了几个测试题以帮助读者巩固理解。
阅读更多
18
未分类
研究发现：孤独者思考和说话方式异于常人
2024-11-25
两项神经影像学研究发现，孤独个体的内侧前额叶皮层（大脑中负责编码和检索社会知识的区域）对知名名人的神经表征与群体典型表征存在差异。孤独者更倾向于使用不寻常的语言来描述名人，并且描述方式与其群体不同。研究表明，孤独者对当代文化的认知表征与社会环境中普遍接受的认知表征有所偏差，导致他们认为自己的想法不被他人分享，从而加剧孤独感。
阅读更多
7
微软再次推迟Recall功能上线
2024-10-31
/cdn.vox-cdn.com/uploads/chorus_asset/file/25456809/Gen_AI_feature3_VP5_1842x1036.jpg)
微软再次推迟了备受争议的Copilot Plus PC版Recall功能的上线。该功能可以对用户在电脑上的操作进行截图记录，方便用户日后检索。原计划于10月进行测试，现推迟至12月，原因是微软需要更多时间确保该功能的安全性和可靠性。此前，由于安全方面的担忧，微软已多次推迟Recall的发布，并强调该功能并非强制性，用户可以选择开启或关闭，甚至完全卸载。
阅读更多
22
未分类
Copilot Plus
崇敬自身字母表的土著信仰
2024-10-25
本文讲述了缅甸钦邦一种名为Laipianism的土著信仰。该信仰由Pau Cin Hau于20世纪初创立，其核心是尊崇唯一的造物主Pathian，并摒弃对其他神灵的崇拜。Pau Cin Hau为钦语创造了字母表，这在钦邦历史上具有里程碑式的意义，也被视为神圣的象征。Laipianism的信徒数量不多，但他们努力在现代社会中保持自己的信仰和传统，并在数字平台上使用Pau Cin Hau的字母表来彰显身份。
阅读更多
(aeon.co)
28
未分类
Humane召回Ai Pin充电盒配件，因锂电池存在火灾隐患
2024-10-31
由于锂电池过热存在火灾风险，Humane公司召回约10500个Ai Pin充电盒配件。消费者应立即停止使用该配件，并联系Humane公司获得全额退款或免费更换。已有一例充电盒过热熔化的报告，但未造成人员伤亡或财产损失。该充电盒于2023年11月至2024年5月期间在humane.com网站销售，单独售价约150美元，作为Ai Pin完整系统的一部分售价在700至800美元之间。
阅读更多
23
朝鲜数字地图应用程序的许可和API接口分析
2024-11-03
本文分析了朝鲜数字地图应用程序的许可和API接口。该应用程序具有强大的许可验证系统，包括二维码扫描和证书校验，并对有效期进行了限制。应用程序连接到朝鲜境内的API服务器(10.99.1.100/friend_api.php)，用于发送用户反馈、数据和获取其他信息。文章还探讨了地图数据库的初始化过程，并指出该数据库使用密码保护，目前仍在寻找该密码。最后，文章提到了应用程序中使用的第三方库，包括SQLite 3.25.2。
阅读更多
未分类
地图应用
llama.cpp 指南：在任何硬件上从零开始本地运行大型语言模型
2024-11-29
本文详细介绍了如何在本地硬件上运行大型语言模型（LLM），重点讲解了llama.cpp。文章首先解答了一些关于硬件需求、性能预期、响应质量以及能否替代在线LLM服务商等常见问题。然后，逐步讲解了如何在Windows和Linux系统上构建llama.cpp，获取和转换HuggingFace模型到GGUF格式，以及如何量化模型以降低资源需求并提高运行速度。文章还介绍了llama.cpp服务器的运行和设置，以及其他工具如llama-bench和llama-cli的使用方法，并深入探讨了LLM的配置选项，包括系统消息、温度、Top-K、Top-P等参数对模型输出的影响。最后，文章提供了一些模型推荐和寻找模型的资源。
阅读更多
未分类
海军陆战队飞行员因弹射逃生被免职，F-35B战机继续飞行
2024-11-12
2023年，海军陆战队飞行员查尔斯·德尔皮佐上校驾驶F-35B战机在南卡罗来纳州上空遭遇故障，在暴雨中弹射逃生。战机依靠自动驾驶继续飞行了64海里后坠毁。事故调查报告认为，德尔皮佐错误判断飞机失控并做出了弹射决定，尽管当时情况复杂，但他本可以继续驾驶飞机。尽管德尔皮佐遵循了操作规程且未玩忽职守，他仍被解除了一支著名测试评估中队的指挥职务。
阅读更多Storybits：抗错助记词
2024-11-06
Storybits 能够将短二进制数据字符串转换成一系列单词，形成便于记忆的心理图像。单词顺序无关紧要，许多拼写错误可以自动纠正。它通过将数据分解成与词表中单词组合对应的小块，再使用组合数系统将组合数字转换为位置集，最终将根据这些位置选择的单词组合成元组。解码过程则相反。Storybits 的设计初衷是用于密码和公钥指纹，旨在提高输入长密码和复杂信息的效率和容错性。
阅读更多
(rya.nc)
18
未分类
助记词
AMD数据中心销售额首超英特尔
2024-11-06
AMD 第三季度数据中心业务收入达35.49亿美元，首次超过英特尔同期的数据中心和人工智能部门的33亿美元。尽管英特尔至强处理器仍占据服务器市场主导地位，但高端服务器市场逐渐被AMD的EPYC处理器占领。英特尔为应对竞争压力而采取的降价策略影响了其收入和利润率。与此同时，英伟达凭借数据中心GPU和网络芯片在AI领域获得巨额收入，远超英特尔和AMD数据中心硬件销售额总和。
阅读更多
18
未分类
记忆不仅存在于大脑中，人体细胞研究发现
2024-11-09
纽约大学的研究人员发现，人体内的非脑细胞也具有记忆功能。通过模拟大脑学习过程中的神经递质模式，研究人员对神经组织和肾脏组织的细胞进行化学信号刺激，发现这些细胞能够激活“记忆基因”，并表现出与脑细胞类似的“间隔效应”，即 spaced repetition 比 cramming 更有效。这一发现不仅为理解记忆机制提供了新的视角，也为增强学习和治疗记忆相关疾病开辟了新的途径。
阅读更多
16
未分类
owl-lisp / owl
2024-11-25
Owl 是一款功能性 Scheme 方言，托管于 GitLab。该项目创建于 2018 年 6 月 5 日，采用 MIT 许可证。
阅读更多
7
未分类
为我的家庭网络添加 IPv6
2024-11-04
作者记录了如何在运行 OpenBSD 的家庭网络中添加 IPv6 支持。由于新公司使用 IPv6，作者开始学习 IPv6。本文详细介绍了如何使用 OpenBSD 的 ifconfig、slaacd、dhcp6leased、rad 和 unbound 等工具配置 IPv6，并解决了配置过程中遇到的问题，例如需要更新 pf.conf 添加防火墙规则以使 slaacd 和 DHCPv6 工作。最终，作者成功地为内网客户端分配了公网 IPv6 地址和 ULA 地址，并配置了 DNS 服务器以支持 IPv6 解析。
阅读更多
17
未分类
数学界的“双层床猜想”被推翻
2024-11-05
数学界长期以来认为成立的“双层床猜想”近日被三位数学家推翻。该猜想涉及图论和渗流理论，它断言在类似双层床结构的图中，底层图中两点间存在路径的概率总是大于或等于底层图中一点到上层图对应点之间存在路径的概率。研究人员最初尝试用计算机和机器学习寻找反例，但未能得到确凿的证据。最终，他们利用另一位数学家在超图领域的研究成果，成功构建了一个包含7222个顶点和14422条边的反例图，证明上层路径存在的概率略高于底层路径，从而推翻了该猜想。这一结果引发了对数学证明本质的讨论，尤其是在计算机和人工智能辅助证明越来越普遍的背景下。
阅读更多
JVM Anatomy Quarks
2024-11-10
《JVM Anatomy Quarks》系列文章简要介绍JVM的基本知识点。每篇文章聚焦一个主题，例如锁粗化、透明大页、GC设计、TLAB分配、对象初始化、JNI、字符串驻留、本地内存跟踪、压缩引用等，旨在深入探讨JVM的底层机制。系列文章持续更新中，提供ePUB、MOBI、PDF等格式打包下载。
阅读更多
15
未分类
Claude AI将通过与Palantir的新协议处理机密政府数据
2024-11-09
Anthropic公司宣布与Palantir和亚马逊云服务合作，将其Claude AI模型引入美国情报和国防机构。Claude将在Palantir平台上运行，使用AWS托管来处理和分析最高机密级别的数据。此举引发了一些批评，认为这与Anthropic公司宣传的“AI安全”目标相矛盾。合作内容包括让Claude执行大规模复杂数据操作、识别数据模式和趋势以及简化文档审查和准备工作。Anthropic公司一直以注重道德和安全为导向的AI开发而著称，但与国防机构的合作及其与Palantir（一家因开发AI目标识别系统而备受争议的公司）的关系引发了对其“正面形象”的质疑。
阅读更多
16
未分类
量子机器公司与英伟达利用机器学习推进容错量子计算机研发
2024-11-02
量子机器公司和英伟达的合作取得新进展，他们利用运行在英伟达DGX平台上的强化学习模型，更好地控制了Rigetti量子芯片中的量子比特，通过持续校准保持系统稳定。虽然量子纠错的最终目标尚未实现，但此次合作专注于校准控制量子比特旋转的“π脉冲”，即使是微小的校准改进也能显著提升纠错性能。该实验使用了现成的算法，代码精简，但依赖于双方在系统集成和软件堆栈方面的努力。未来，两家公司计划继续合作，将这些工具提供给更多研究人员，并利用英伟达更强大的Blackwell芯片进一步推进量子计算发展。
阅读更多
20
未分类