不要取消亚里士多德——我们需要他的思想来磨砺我们自己的

2024-12-01

本文探讨了亚里士多德思想在历史长河中的复杂影响。尽管他的某些观点(例如关于奴隶制和女性)在今天看来存在争议,但他的著作在政治哲学领域的影响力不容忽视。作者指出,从君主制到共和制,从工人运动到女权主义,不同政治立场的人都在试图利用亚里士多德的思想来支持自己的主张,有时甚至是歪曲或伪造。文章认为,亚里士多德的思想并非僵化的教条,而是一个充满活力和辩证性的体系,它鼓励人们挑战既有观念,并在与之辩论的过程中产生新的思想。正是这种思想的碰撞和交锋,推动了历史的进步,例如民主、女权和废奴运动的发展。

阅读更多
10

将泥炭沼泽从荒地变为自然景观

2024-12-01

本文探讨了爱尔兰泥炭地的修复问题。泥炭地对爱尔兰具有重要的生态和文化意义,但目前85%的泥炭地已退化,这使得它们从碳汇变成了碳源。文章强调了以社区为基础的泥炭地恢复方法的重要性,以及停止泥炭开采和恢复水位以阻止碳泄漏的必要性。文章还解释了泥炭地退化如何导致碳排放,并呼吁人们重视泥炭地的保护和修复。

阅读更多
未分类 泥炭地修复

揭秘fork系统调用的魔力

2024-12-01

本文深入探讨了Unix-like系统中fork系统调用的工作原理。fork看似神奇地在一个if语句中返回两个值,实际上是内核复制了父进程,包括代码、内存和寄存器,创建了一个几乎相同的子进程。内核分别设置父进程和子进程的返回值,父进程收到子进程的pid,子进程收到0。文章通过汇编代码示例和xv6、Linux内核的fork实现,揭示了这一机制的底层逻辑。

阅读更多
未分类

我算是服了!来玩玩跳表吧

2024-12-01

本文探讨了LSM树及其核心组件memtable的实现方式。作者认为无锁并发跳表是memtable的最佳选择,尽管其较为复杂。文章详细解释了memtable的需求:快速读写、并发读写支持、有序扫描以及内存限制。作者研究了跳表的并发写操作,比较了单写多读和多写多读的实现,并通过模拟实验探究了概率p和最大高度对跳表性能的影响。

阅读更多
未分类 LSM树 memtable

CSDb - Genesis Project发布的$2000-$3fff &D (2014)

2024-12-01

Genesis Project于2014年12月19日发布了一款名为“$2000-$3fff &D”的C64游戏。该游戏玩法独特,玩家需要保护游戏代码免受导弹攻击,颇受争议,用户评价褒贬不一。有人认为其概念新颖有趣,也有人认为游戏存在bug,可玩性不高。游戏下载链接已提供,讨论主要围绕游戏创意、玩法和技术缺陷展开。

阅读更多
7
未分类 C64 Genesis Project

Activeloop招聘AI搜索工程师

2024-12-01

Activeloop是一家由Y Combinator支持的初创公司,正在招聘AI搜索工程师。该公司提供用于创建、存储和版本控制AI数据集的API,并正在构建名为Deep Lake的深度学习数据湖。应聘者需具备C++、Python、TensorFlow、深度学习和强化学习方面的技能,负责设计和开发利用RAG技术的检索系统、优化搜索算法以及集成向量数据库。理想的候选人应拥有计算机科学、机器学习或相关领域的硕士或博士学位,并在生产环境中部署复杂机器学习模型方面具有经验。

阅读更多
未分类

不再复古:早期电脑时代的互动小说

2024-12-01

本文回顾了后Infocom时代互动小说的发展,着重介绍了Gerry Kevin “Whizzard” Wilson对社群的贡献,尤其强调了他创办的SPAG电子报和组织的第一届年度文本冒险创作比赛(后来的互动小说大赛)的重要性。文章还分析了互动小说大赛对游戏规模和实验性的影响,并推荐了She's Got a Thing for a Spring, Babel, Spider and Web, Anchorhead, The Plant和Photopia等几款优秀作品,分别概述了它们的特点和作者的创作理念。

阅读更多
未分类 Infocom

Jinbase:多模型事务嵌入式数据库

2024-12-01

Jinbase是一个使用SQLite作为存储引擎的多模型事务嵌入式数据库,提供Python库。它支持键值、仓库、队列、堆栈和关系数据模型,并保证对前四种模型的读写操作是事务性的。Jinbase使用Paradict二进制数据格式序列化数据,支持对任意大小的复杂数据进行存储,并提供批量和部分访问记录的功能。它还提供对底层SQLite存储引擎的访问,允许用户进行高级配置。每个记录都自动添加时间戳,方便用户按时间段查询。Jinbase适用于多种场景,例如存储用户首选项、持久化会话数据、处理数据流等。

阅读更多
未分类

大型语言模型作为马尔可夫链

2024-12-01

本文将拥有大小为T的词汇表和大小为K的上下文窗口的通用自回归语言模型与在大小为O(T^K)的有限状态空间上定义的马尔可夫链进行了等效性分析。文中探讨了LLM推理能力的马尔可夫链平稳分布的存在性、收敛速度以及温度对收敛速度的影响,并推导了预训练和上下文泛化界限。最后, 通过在几个最新的LLM上进行实验,说明了理论保证如何捕捉实际观察到的行为。

阅读更多
3
未分类

如何3D打印你的《激战2》角色(或任何游戏角色)

2024-12-01

本文详细介绍了如何3D打印游戏角色,以《激战2》为例,涵盖了从游戏内模型提取到最终打印和上色全过程。文章首先介绍了FDM和树脂两种3D打印方法的优缺点,然后列出了所需的软件:Intel GPA、Blender和PrusaSlicer。接着,作者详细讲解了如何使用Intel GPA从游戏中提取模型,并重点讲解了在Blender中处理模型的步骤,包括模型的修复、调整比例、填充孔洞、平滑边缘、添加细节以及创建底座等。此外,文章还介绍了如何在模型中添加LED灯,以及打印和上色模型的技巧。

阅读更多
未分类 游戏模型

IE7与IE7脚本:CSS hack的未来

2024-12-01

本文讨论了IE7浏览器即将发布对CSS hack的影响。作者指出,IE团队呼吁开发者清理CSS hack,因为它们会导致网站在IE7中崩溃。作者认为,这既是IE早期版本bug导致开发者使用hack的恶果,也是hack本身风险和脆弱性的体现。作者建议等待IE7 beta版发布后再修改hack,并提出使用IE7脚本(Dean Edwards开发)让IE6兼容IE7的CSS行为,从而避免hacks带来的问题。作者认为,虽然IE7脚本并非完美解决方案,但相比之下,它能减少清理hack的痛苦。

阅读更多
未分类 IE7 hack

关于 2024 年 Advent of Code

2024-12-01

Advent of Code 是一个为各种技能水平的程序员提供的编程谜题的 Advent 日历,可以使用任何编程语言解决。人们使用它们作为面试准备、公司培训、大学课程作业、练习题、速度竞赛或互相挑战。你不需要计算机科学背景就可以参与——只需要一点编程知识和一些解决问题的能力就能让你走得很远。你也不需要一台高性能的计算机;每个问题都有一个解决方案,可以在十年之久的硬件上在最多 15 秒内完成。文章还提供了一些通用的技巧和常见问题的解答,例如如何选择代码块、身份验证如何工作、是否应该在全球排行榜上竞争、为什么谜题难度不一等。

阅读更多

我不懂软件开发,你也不懂

2024-12-01

本文作者认为,在软件开发领域,许多工程师对微服务、团队技术方向、编程语言选择等重大问题争论不休,但实际上并没有绝对正确的答案。作者的核心论点是,软件开发领域变化迅速,经验很快就会过时,20年的经验不足以对这些问题给出确凿的答案。个人经验、理性推演和研究都不能提供可靠的答案。工程师对这些问题的立场通常源于早期工作经历中的“创伤”,例如糟糕的Redux状态管理或复杂的本地开发环境。作者建议,工程师应该对这些问题有自己的看法,但也要认识到自己可能犯错,并保持 nuanced 的观点,而不是固执己见。

阅读更多

探索旋转拨号电话的乐趣

2024-12-01

作者为了解决室友不方便敲门打扰自己的问题,突发奇想安装两部旋转式电话机,并由此展开了一系列探索。文章记录了作者研究模拟电话系统、配置ATA设备、寻找合适的旋转电话、解决20PPS拨号问题以及调试铃声的过程。此外,作者还分享了将电话听筒改造成电脑麦克风、将拨号盘连接到单片机显示数字和控制游戏武器选择等有趣的尝试。

阅读更多
未分类 旋转电话

在 Thinkpad X60 上运行 Guix/Hurd

2024-12-01

本文记录了在 Thinkpad X60 上运行 Guix/Hurd 的进展和方法。文章详细描述了 Hurd 的更新、NetDDE 和 Rumpdisk 支持的实现、在 X60 上手动安装 Guix/Hurd 的步骤以及使用安装程序安装 Guix/Hurd 的方法。此外,文章还列举了 Hurd 目前存在的一些问题,例如 guix-daemon 故障和文件系统清理问题,并展望了未来的发展方向,包括 64 位支持、音频支持、Rumpnet、SMP 和 AArch64 等。

阅读更多

WinDepends:一款Windows依赖关系分析工具

2024-12-01

WinDepends是一款用于分析Windows PE文件依赖关系的工具,是对Dependency Walker的重写。它能够构建依赖模块的层次树状图,列出每个模块的导出函数和被调用函数,并提供所需文件的详细信息,例如路径、基地址、版本号等。该工具支持延迟加载DLL、ApiSet契约、绑定导入和Side-by-Side模块等特性。目前处于测试阶段,部分功能仍在开发中。

阅读更多

Slang着色语言

2024-12-01

Slang是一种开源着色语言和编译器,旨在提高实时图形开发人员的工作效率和代码可移植性。它支持模块化代码、多种后端目标(D3D12、Vulkan、Metal等),并兼容现有的HLSL和GLSL着色器。Slang还支持自动微分和泛型等高级特性,方便神经图形和代码特化。现在,Slang由Khronos Group托管,鼓励更广泛的行业合作和发展。

阅读更多
未分类 Slang

教育和医疗弊病根源相同:我们该如何改变?

2024-12-01

文章指出,医疗和教育领域都过度关注可衡量的结果,例如病人的生命体征和学生的考试分数,而忽略了以人为本。标准化虽然提高了效率,但也导致了千篇一律,无法满足个体需求。此外,商业化加剧了对指标的追求,医疗机构倾向于增加收费项目,学校则重视能吸引资金的考试成绩,而非真正的学习。文章认为,消费者由于缺乏专业知识,难以判断自身需求,导致过度服务和资源浪费。解决方法包括回归初心,关注医疗和教育的根本目的;推行个性化方案;赋予医生和教师自主权;重新思考衡量成功的标准,采用更全面的评估方式;以及建立以社区为中心的模式。文章呼吁从根本上反思创新资金的投入方式,鼓励开源项目和合作,将重点放在以人为本而非机构指标上。

阅读更多
未分类 改革

DELETE 操作为何如此困难?

2024-12-01

本文探讨了 PostgreSQL 数据库中 DELETE 操作的复杂性。DELETE 操作并非简单地移除数据,而是标记数据为删除状态,后续由 autovacuum 进程进行清理。文章详细描述了 DELETE 操作的步骤,包括行识别、锁获取、触发器执行、索引更新、WAL 记录等,并解释了这些步骤对性能的影响,尤其是对于大型数据集。文章指出,软删除并非解决方案,而批处理和分区是更有效的策略。批处理可以减少单次事务的影响,分区则允许直接删除整个分区,从而提高效率。文章还强调了 autovacuum 的重要性以及在 DELETE 操作期间进行规划的必要性。

阅读更多
未分类 DELETE

SigNoz招聘开源社区工程师(可远程)

2024-12-01

SigNoz是一个拥有18000+ GitHub星标和5200+ Slack社区成员的开源可观测性平台,正在招聘一名开源社区工程师。 该职位要求申请人有3年以上后端/DevOps工程师经验,熟悉不同语言的代码和部署方法(如Kubernetes、Docker),活跃于GitHub或其他开发者社区,有开源贡献经验者优先。工作内容包括推动SigNoz的开源应用、鼓励社区成员创建教程和仪表盘、创建大使计划以及撰写博客文章和教程。 SigNoz团队目前主要位于印度时区,但该职位可远程,对GMT到GMT+7时区的申请人开放。

阅读更多
未分类 社区工程师

获取IP地址

2024-12-01

本文讲述了作者在微控制器上编写网络堆栈的经历,重点介绍了如何使用DHCP从家庭网络获取IP地址。作者详细解释了固件架构设计,包括Net任务、通用以太网驱动程序、数据包传输和接收机制,以及IP、UDP和DHCP协议的实现细节。为了调试,作者在笔记本电脑上搭建了DHCP服务器,并使用Wireshark和Python脚本分析网络流量,最终成功获取了IP地址。

阅读更多
未分类 DHCP

首款专为OpenWrt设计的路由器发布

2024-12-01

软件自由保护协会 (SFC) 和 OpenWrt 项目宣布推出 OpenWrt One,这是首款专为软件自由和修复权设计的无线路由器。OpenWrt One 售价 89 美元,具有 MT7981B SoC、1GB 内存、双以太网端口和 USB 接口等特性,完全符合 FCC 标准,并提供完整的源代码。每售出一台 OpenWrt One,将向 SFC 的 OpenWrt 专项基金捐赠 10 美元。

阅读更多
未分类

DynaSaur:超越预定义动作的大语言模型代理

2024-12-01

现有的LLM代理系统通常从固定的预定义动作集中选择动作,这限制了其在复杂环境中的能力。DynaSaur 提出了一种新的LLM代理框架,允许代理动态创建和组合动作。该框架允许代理通过生成和执行用通用编程语言编写的程序来与环境交互,并在后续步骤中重复使用这些生成的程序。在GAIA基准测试中,DynaSaur 表现出更大的灵活性和优于现有方法的性能,并在编写本文时位居GAIA公共排行榜榜首。

阅读更多
6

控制人工智能日益增长的能源需求

2024-12-01

人工智能模型训练需要巨大的能量,这已成为一个日益受到关注的问题。例如,训练Chat GPT-3大型语言模型消耗的能量与130个美国家庭一年的用电量相当。自2012年以来,训练AI模型所需的能量每3.4个月翻一番。文章探讨了GPU在AI训练中的主导地位及其高能耗问题,并介绍了正在开发的低能耗替代方案,例如神经形态计算机和光学计算机。神经形态计算机模仿人脑的工作方式,能效更高;而光学计算机利用光波传输信息,速度更快且损耗更低。此外,文章还提到了通过使用更小、更精细的模型来提高能源效率的方法。

阅读更多
未分类 神经形态计算

关于软件行业的思考

2024-12-01

本文探讨了软件行业的本质,认为软件不仅是工具,更是一种世界观,它塑造了人们理解和影响世界的方式。作者将软件比作机器和信息的结合体,强调软件工程师的任务是维护和改进这些“不朽的机器”。文章还建议软件行业新人将编程视为一项技能,通过快速迭代构建小型项目来学习,每次学习一个新技术或概念。

阅读更多
未分类 软件文化

Privastead:一个注重隐私的家庭安全摄像头解决方案

2024-12-01

Privastead是一个开源的家庭安防摄像头解决方案,主打隐私保护,采用端到端加密技术。它由摄像头集线器、手机App和不可信服务器三个组件构成。Privastead支持现有IP摄像头,使用OpenMLS实现的MLS协议进行端到端加密,并通过Rust语言实现。该方案假设本地运行集线器的机器和手机是安全的,服务器不可信,并对IP摄像头做最小信任假设。它保证只有集线器和手机App可以访问未加密视频,服务器无法解密,并提供前向保密和后妥协安全性。目前Privastead仍处于早期阶段,存在一些限制,例如App和集线器仅支持一个摄像头,且性能可能成为瓶颈。

阅读更多
未分类 家庭安防

AMD 关闭 Zen 4 的循环缓冲区

2024-12-01

AMD 在最新的BIOS更新中悄然禁用了Zen 4处理器的循环缓冲区。该功能旨在通过在前端缓存少量指令来降低功耗并提高性能,尤其是在处理小型循环时。Chips and Cheese 通过 SPEC CPU2017 和游戏《赛博朋克 2077》的测试发现,禁用循环缓冲区对性能的影响微乎其微,因为 Zen 4 的操作缓存已足够提供后续重命名/分配阶段所需的带宽。虽然循环缓冲区的主要目的是节能,但实际测试表明,其对功耗的影响也很小。作者推测,AMD 禁用该功能可能是因为发现了未公开的硬件错误,或者仅仅是因为该功能收益有限。

阅读更多

GitHub - maharmstone/ntfs2btrfs

2024-12-01

ntfs2btrfs是一个工具,可以将微软的NTFS文件系统就地转换为开源文件系统Btrfs。转换过程会将原始镜像保存为reflink副本,用户可以在转换完成后删除该副本以释放空间。该工具支持Windows和Linux系统,提供压缩支持、多种哈希算法、回滚到NTFS等功能。虽然作者认为该工具稳定,但不承担任何责任。

阅读更多
10

攻壳机动队地图界面UI赏析

2024-12-01

这篇文章分析了电影《攻壳机动队》中的地图用户界面(UI)设计。文章展示了电影中地图UI的截图,并将其与其他科幻电影如《遗忘星球》、《创:战纪》、《钢铁侠》、《第五元素》、《全面回忆》、《普罗米修斯》以及《星球大战1:幽灵的威胁》中的地图UI进行了比较。

阅读更多
未分类 地图界面
1 2 39 40 41 43 45 46 47 514 515