响应式HTML笔记本

2024-11-18

本文作者Max Bo认为HTML的潜力未被充分挖掘,尤其在科学出版领域。文章展示了如何使用HTML、CSS和JavaScript创建一个类似交互式笔记本的环境,可以直接在HTML文件中进行数据探索、分析、可视化和最终发布。文中演示了如何结合Observable标准库、Plot库、SQLite、Python(通过Pyodide)、R(通过WebR)等工具,实现代码高亮、代码执行、数据可视化、数据库查询等功能,并将这些功能封装成可复用的单元格组件。作者还介绍了如何处理用户输入、状态变化以及创建幻灯片放映等功能。最终,作者将这些功能打包成一个名为@celine/celine的库。

阅读更多
5
未分类 交互式笔记本

雇主应该多努力留住你?

2024-11-18

文章探讨了雇主与员工之间关于留任的博弈。作者认为,员工应以自身职业发展为优先,在工作满足其需求时留下。公司也应以是否合适为标准雇佣员工,并积极为员工创造发展机会。文章强调了区分“超级巨星”和“单点故障”员工的重要性,并建议公司主动识别和激励前者,同时降低对后者的依赖。此外,文章还讨论了建立公平的薪酬体系,以及员工与管理者之间坦诚沟通离职意向的重要性,指出例外情况的处理方式及其潜在风险。

阅读更多
未分类 留任

树莓派运行AMD Radeon PRO W7700显卡

2024-11-18

Jeff Geerling 宣布在树莓派5上成功运行AMD 6000和7000系列显卡,例如Radeon PRO W7700。尽管受限于树莓派的单PCIe 3.0通道和CPU/内存性能,4K分辨率下开启光追的游戏帧率仅有10-20fps,但旧游戏如Portal 2能以4K 60fps流畅运行。文章详细介绍了如何在树莓派5上配置AMD 7000系列显卡,包括内核编译、固件安装等步骤,并展示了多显示器输出、硬件转码等功能测试结果。同时,文章也列出了一些目前尚不支持的功能,例如部分需要反作弊的Steam游戏、ROCm/CUDA加速的LLM等。

阅读更多
未分类 AMD显卡

反对最佳实践

2024-11-18

作者认为“最佳实践”弊大于利,并非因为这些实践本身不好,而是因为它们经常被狂热者、白痴和混蛋滥用,或被缺乏判断力的经验不足的程序员奉为圭臬。作者认为,应该就事论事,具体问题具体分析,而不是盲目套用“最佳实践”。作者以Postel法则、全局变量、goto语句、DRY原则、12要素应用和SOLID原则等为例,说明这些“最佳实践”并非放之四海而皆准。作者鼓励程序员独立思考,不要被所谓的“最佳实践”束缚,并指出与人争论“最佳实践”的困难之处在于,对方往往会以权威性论点进行反驳,使人怀疑自己。

阅读更多
未分类

GitHub - serpapi/nokolexbor:基于 Lexbor 的 Ruby 高性能 HTML5 解析器,支持 CSS 选择器和 XPath

2024-11-18

Nokolexbor 是一个 Nokogiri 的替代品,速度提升显著,解析 HTML 的速度提高了 5.2 倍,CSS 选择器的速度则最高提升了 997 倍。它是一个基于 Lexbor 的 Ruby 高性能 HTML5 解析器,支持 CSS 选择器和 XPath,API 设计尽可能与 Nokogiri 兼容。基准测试显示,在解析谷歌结果页面和使用 CSS 选择器方面,Nokolexbor 比 Nokogiri 快得多,但在 XPath 方面两者速度相近。

阅读更多
未分类 HTML 解析器

GitHub - trynova/nova:JS引擎

2024-11-18

Nova 是一个用 Rust 编写的 JavaScript 和 WebAssembly 引擎,以库的形式提供 API 供 Rust 项目调用,并作为 JavaScript 代码的运行时环境。它的执行模型深受 Kiesel 和 SerenityOS 的 LibJS 启发,采用数据驱动设计,核心团队在 Discord 服务器上活跃。该项目目前仍处于开发阶段,尚不适合实际使用。它在芬兰 Rust-lang meetup 和 Web Engines Hackfest 2024 上进行了演讲,重点介绍了 JavaScript 引擎的工作原理、Nova 的设计选择以及数据驱动引擎设计的优缺点。

阅读更多
未分类

使用 Python 辅助程序在 Go 中进行机器学习

2024-11-18

本文探讨了如何在 Go 应用程序中利用机器学习模型,特别是大型语言模型(LLM)。文章首先介绍了使用现成的互联网 LLM 服务(如 ChatGPT 和 Gemini)以及本地运行的开源模型(如 Llama 和 Mistral)的简便方法,并推荐使用 Ollama 或 Llamafile 等工具简化本地模型部署和 API 调用。接着,文章深入讲解了如何使用 Python 作为辅助程序,通过自定义模型实现更高级的定制化。文章以 Gemma 和 JAX 为例,演示了如何构建一个 Python 服务器,通过 REST API 为 Go 应用程序提供本地 LLM 推理服务。此外,文章还展示了如何使用 TensorFlow 和 Keras 训练一个简单的图像分类模型,并通过 Unix 域套接字实现 Go 客户端与 Python 服务器之间的低延迟通信。

阅读更多
未分类

iOS 18 非活动重启逆向工程

2024-11-18

iOS 18 引入了一项新的安全功能:非活动重启。该功能会在设备闲置72小时(3天)后自动重启,旨在增强安全性,防止长时间未解锁的设备被攻击者利用漏洞访问解密后的用户数据。该机制由安全隔离区处理器(SEP)计时,并在时间达到后通知 AppleSEPKeyStore 内核模块启动重启。此功能对执法部门和普通用户都有影响,执法部门需要在72小时内获取数据,而普通用户的数据更加安全。

阅读更多
未分类

Windows 95安装程序为何使用三个操作系统?

2024-11-18

Windows 95安装程序之所以使用MS-DOS、Windows 3.1和Windows 95三个操作系统,是为了兼顾从这三个平台进行升级的用户。为了避免编写三个独立的安装程序,Windows 95采用了一种链式安装方式。首先,如果从MS-DOS升级,会安装一个精简的Windows 3.1版本。然后,一个16位Windows程序负责收集用户信息、检测硬件、复制文件和迁移设置。最后,在Windows 95中运行的32位程序完成最后的安装步骤,例如安装打印机。这种方式使代码只需编写一次,即可用于所有升级场景。

阅读更多
未分类

M4芯片内部探秘:E核心与P核心对比

2024-11-18

本文深入探讨了苹果M4芯片的E核心和P核心架构。文章指出,M4系列芯片中的E核心数量在不同型号中有所不同,基础版M4配备6个E核心(也有4核心的版本),而M4 Pro和Max则配备4个E核心。所有E核心都位于同一个集群中,共享L2缓存并以相同的频率运行。E核心频率可在1.020 GHz到2.592 GHz之间进行调整,macOS在内核级别控制集群频率。文章通过对比单线程在高低QoS设置下,P核心和E核心的运行情况,分析了它们的性能、功耗和效率差异。结果显示,E核心功耗远低于P核心,在执行相同计算任务时能显著节省能耗,尽管运行速度较慢。

阅读更多
未分类 E核心

M4 MacBook Pro采用量子点显示技术

2024-11-18

根据显示分析师Ross Young的消息,M4 MacBook Pro采用了量子点显示技术,取代了之前的红色KSF荧光粉薄膜。这一改变带来了更鲜艳、更准确的色彩效果。此前,苹果选择KSF是因为它不使用有毒元素镉,且效率更高、成本更低。现在,无镉量子点方案的色域和运动性能与KSF薄膜相当甚至更好。虽然苹果并未强调M4 MacBook Pro的色彩改进,但其最大SDR亮度已从上一代的600尼特提升至1000尼特。

阅读更多

日本:五分之一的20多岁年轻劳动者求助于离职代理机构

2024-11-18

日本越来越多的年轻人求助于离职代理机构来帮助他们辞职。调查显示,在过去一年中,五分之一的20多岁离职者使用了这类服务。部分企业拒绝员工辞职,甚至采取极端手段阻止员工离职,这迫使员工寻求外部帮助。辞职机构帮助员工处理离职流程,与公司协商,甚至提供法律建议。员工使用辞职机构的主要原因是公司拒绝他们辞职,以及担心独自辞职会遭到强烈反对。越来越多的日本人求助于辞职机构,以避免损害心理健康,这反映了日本日益严重的心理健康危机。年轻一代更倾向于根据自身需求和愿望调整工作,这预示着日本职场文化可能发生转变。

阅读更多
未分类 离职代理

C 语言 Web 模块:模块化高效的 C 语言 Web 开发方法

2024-11-18

c-web-modules 项目提供了一种模块化和高效的 C 语言 Web 开发方法。该项目允许直接上传 C 代码到服务器,并在运行时编译和部署,无需预编译。它解决了 C 语言在 Web 开发中的一些常见问题,例如:缓慢的构建周期、速度与实用性的权衡、人力和上市时间、内存管理和崩溃以及预制解决方案等。该项目通过隔离模块并动态管理它们,降低了服务器崩溃的风险,并支持 WebSocket,即使模块更新,现有的 WebSocket 连接也能保持活动状态。

阅读更多
未分类 C 语言

文件优先于应用:数字永生的哲学

2024-11-18

本文探讨了“文件优先于应用”的理念,强调其在数据长期保存和访问方面的重要性。作者从个人经历出发,讲述了使用Notion、Obsidian等笔记软件的体验,并解释了选择以纯文本格式存储数据的原因。文章指出,像Markdown、HTML和纯文本这样的开放文件格式比依赖特定应用程序更具持久性,并以个人服务日志和目录结构为例进行了说明。此外,作者还列举了一些符合“文件优先于应用”理念的工具,并鼓励读者采用这种方法来构建更持久的数字档案。

阅读更多
未分类 数字永生

ChibiHash:小型快速 64 位哈希函数

2024-11-18

ChibiHash是一个小型快速的64位哈希函数,使用C语言编写,约60行代码。它性能优异,在大字符串吞吐量方面超过xxhash64、city64和spooky64等哈希函数。虽然cityhash在处理小于32字节的小字符串时速度更快,但ChibiHash具有良好的可移植性,不依赖硬件指令,并通过了smhasher测试,质量可靠。该函数通过异或、乘法和循环移位操作混合数据,并对加载8字节数据的方式进行了优化,以避免未定义行为。最后,它使用类似moremur的结束程序来保证良好的平衡性。

阅读更多
未分类

科学家发现激光可以投射阴影

2024-11-18

研究人员发现,在特定条件下,激光束可以像不透明物体一样投射阴影。该实验使用红宝石晶体和特定波长的激光,其中高功率绿光激光穿过红宝石晶体,并用蓝光激光从侧面照射。绿光激光增加了蓝光照射激光束的光吸收,在照射光中创建了匹配区域,并创建了看起来像绿光激光束阴影的较暗区域。这一发现挑战了对阴影的传统理解,并为利用激光束控制另一束激光束的技术开辟了新的可能性。

阅读更多
11
未分类 阴影

AlphaProof 在 IMO 2024 中的精彩解题思路

2024-11-18

本文介绍了AlphaProof在2024年国际数学奥林匹克竞赛(IMO)中解决的三个问题的核心思路。AlphaProof使用Lean定理证明器生成证明,作者分析了问题1、2和6的Lean证明中的关键策略,并解释了AlphaProof如何巧妙地构造解题思路。问题1中,AlphaProof通过建立一个关于n的等式并证明其成立,最终得出答案。问题2中,AlphaProof利用了数论中的Euler定理,证明了(1,1)是唯一解。问题6中,AlphaProof构造了一个特殊的函数,证明了c=2是最小可能值。

阅读更多
未分类 IMO AlphaProof

相控阵

2024-11-18

相控阵是一种计算机控制的天线阵列,它无需移动天线即可电子控制无线电波束的方向。它主要用于高频无线电频谱,例如UHF和微波波段。相控阵最初用于军事雷达系统,现在广泛应用于民用领域,例如5G MIMO。相控阵原理也用于声学、医学超声成像、石油和天然气勘探以及军事声纳系统。文章详细介绍了相控阵的类型、历史、应用、关键理论和算法,并解释了不同类型的相控阵,包括动态相控阵、固定相控阵、主动相控阵和被动相控阵。

阅读更多
未分类 相控阵

香农熵的另一种构造方法

2024-11-18

本文介绍了香农熵公式的另一种推导方法。除了传统的通过满足数学准则或计算编码所需空间的方法外,本文从熵作为计数的对数的概念出发,计算了与给定概率分布一致的样本序列的数量。通过对样本序列计数并在对数单位下进行归一化,可以推导出香农熵公式。这种方法提供了对香农熵公式更直观的理解,并将其与样本序列的计数联系起来。

阅读更多
未分类 香农熵

6.12内核版本发布

2024-11-18

Linus Torvalds 已发布 6.12 内核版本。此版本带来了众多新特性,包括:支持Arm权限覆盖扩展、更好的编译时Spectre漏洞缓解控制、实时抢占支持的最后部分、实时截止日期服务器机制、更多 EEVDF 调度器开发、可扩展调度器类、设备内存 TCP 工作、安全模块子系统中静态调用的使用、完整性策略实施安全模块、XFS 文件系统中处理块大小大于系统页面大小的设备的功能等。此版本被认为是一个重要的里程碑版本,可能成为2024年的LTS版本,并将构成明年 Debian 13 及其衍生版本的基础。

阅读更多
9
未分类 6.12

islet:一款在App Store上架的糖尿病管理应用

2024-11-18

islet是一款个性化的血糖和健康日志应用,旨在无缝跟踪和分析血糖水平。它与Apple Health集成,可提供血糖、心率等综合概览。其功能包括自动血糖同步、心率和锻炼数据分析、个人健康日志、食物条码扫描仪、膳食记录、高低血糖概览、趋势分析以及整合的健康数据。用户可以通过订阅解锁高级功能,例如自动导入血糖数据、综合趋势分析、食物扫描仪以及深入的健康见解。

阅读更多

contain - CSS:层叠样式表 | MDN

2024-11-18

CSS 的 contain 属性用于隔离元素及其内容,使其尽可能独立于文档树的其余部分。contain 属性可以提高性能,因为它限制了布局、样式、绘制、大小或任何组合的计算范围,使其仅限于 DOM 子树而不是整个页面。contain 还可以用于限定 CSS 计数器和引号的作用域。contain 的值可以是 none、strict、content、size、inline-size、layout、style、paint 或它们的组合。使用 contain 属性可以有效地隔离页面上的元素组,防止元素内部对边界框外部产生副作用。

阅读更多
未分类 contain

Ondsel 即将关闭服务

2024-11-18

开源 CAD 软件公司 Ondsel 宣布停止运营并关闭服务。尽管获得了 FreeCAD 社区和其他工程 CAD 社区的支持,但 Ondsel 难以找到可持续的商业模式。他们未能获得足够的商业用户来支撑风险投资,最终耗尽了资金。Ondsel 对其在 FreeCAD 应用程序、Lens 服务以及与 FreeCAD 社区的合作方面取得的成就感到自豪。他们为 FreeCAD 贡献了新的装配工作台、3D 约束求解器、草绘器和技术绘图的改进、VarSets 系统以及其他功能。Lens 服务展示了互联 CAD 的可能性。Ondsel 将继续支持 FreeCAD 社区,并将未完成的改进提交到上游项目。服务器将在一段时间内保持运行,以便用户下载数据。付费客户将获得剩余订阅时间的退款。

阅读更多
未分类

是时候在数据中心替换 TCP 了

2024-11-18

本文认为TCP协议不适合现代数据中心,其从面向流到有序数据包交付等核心要素都存在问题,这些问题根深蒂固且相互关联,无法修复。作者提出引入新的传输协议来充分利用现代网络的性能潜力,并以Homa为例,展示了创建一个避免TCP所有问题的传输协议的可能性。尽管Homa与TCP的API不兼容,但通过将其与RPC框架集成,Homa仍有望得到广泛应用。

阅读更多
8
未分类

旅行者1号通过自1981年以来未使用的无线电发射器与NASA恢复通信

2024-11-18

NASA的旅行者1号探测器在2024年10月中旬短暂失联,随后通过一个自1981年以来未使用的备用S波段无线电发射器恢复了与NASA的通信。由于距离地球超过150亿英里,信号传输存在延迟,故障的具体原因仍在调查中。旅行者1号目前使用S波段发射器进行通信,其信号较弱,但能确保与地球的联系。NASA工程师正在谨慎地尝试恢复X波段发射器的使用。旅行者1号于1977年发射,目前已进入星际空间,预计电力将持续到2025年,但NASA有望保持与它的通信直到2030年代。

阅读更多
未分类

日本“黑心企业”如何压榨员工、毁掉人生

2024-11-18

本文介绍了日本“黑心企业”的现象。它们通过超长时间加班、低工资、不支付加班费、职场霸凌等手段压榨员工。文章以渡边美奈自杀事件为例,揭露了餐饮连锁企业和民的恶劣行径。此外,文章还介绍了“黑心企业奖”的设立,旨在提高公众对该问题的认识,并曝光一些恶劣的企业。日本厚生劳动省也开始打击黑心企业,但要彻底解决这个问题仍需付出更多努力。

阅读更多

您也可以设计出最先进的位置编码

2024-11-18

本文逐步讲解了Transformer模型中最先进的位置编码的设计过程,从简单的整数位置编码开始,迭代改进,最终得到最新的LLama 3.2版本和大多数现代Transformer中使用的旋转位置编码(RoPE)。文章首先解释了位置编码的必要性,然后列举了理想位置编码方案应该具备的五个属性:唯一性、线性关系、泛化性、确定性和可扩展性。接着,文章依次介绍了整数位置编码、二进制位置编码和正弦位置编码,并解释了正弦位置编码如何通过旋转矩阵实现相对位置编码。最后,文章讨论了RoPE如何扩展到多维数据,并展望了位置编码的未来发展方向。

阅读更多
未分类 位置编码 RoPE
1 2 65 66 67 69 71 72 73 521 522