Luon是一种新型静态类型编程语言，其语法类似于Oberon系列语言，并融合了Lua的特性，目标平台为LuaJIT虚拟机。它可以被视为Lua的静态类型版本，允许通过外部声明调用Lua和C库函数。Luon解决了Lua在编译时错误检查、代码结构等方面的不足，并提供了一个集成的编译器和IDE，支持过程式、泛型和面向对象编程。项目包含丰富的示例和测试用例，并且持续更新中。
阅读更多
IPv6，旨在解决互联网地址耗尽危机的协议，却陷入了“薛定谔的猫”般的悖论。一方面，它的部署稳步扩张，连接更多用户和设备；另一方面，它似乎停滞不前，被IPv4方案的持续主导地位所掩盖。文章探讨了IPv6发展中技术与政策的复杂性，包括NAT、IPv4地址转移、厂商和应用开发者的IPv6准备情况不一致等因素导致的延迟。同时，文章分析了各国政府在IPv6推广中采取的不同策略，以及如何通过激励措施、厂商问责制和能力建设计划来促进IPv6的采用，最终强调了IPv6对维护互联网开放创新平台的重要性。
阅读更多
前OpenAI研究员Suchir Balaji被发现在旧金山公寓去世，年仅26岁。此前，他曾公开指控OpenAI在开发ChatGPT过程中侵犯版权，并认为OpenAI的数据收集模式对互联网生态系统有害。Balaji的死讯引发了人们对AI伦理和数据安全的担忧，他的证词原本将成为OpenAI面临的诸多版权诉讼中的关键证据。警方表示目前没有发现他杀迹象，死因仍在调查中。
阅读更多
Meta FAIR发布了多项AI研究成果，包括用于控制虚拟具身代理行为的基础模型Meta Motivo、用于视频水印的开源模型Meta Video Seal等。这些成果涵盖了更强大的代理、鲁棒性和安全性以及架构创新等方面，旨在推动先进机器智能的发展。Meta还发布了Flow Matching代码库、用于心智理论推理的Meta Explore Theory-of-Mind程序、大型概念模型LCM以及动态字节潜在变换器等，为研究人员提供了更多工具和资源，并致力于构建一个开放协作的生态系统，共同推动AI的负责任发展。
阅读更多
本文回顾了源代码控制系统SCCS 50 年来的影响。作者Larry McVoy详细解释了SCCS独特的编织格式，这种格式允许通过引用进行合并，避免了其他系统中基于补丁的复制方式的低效。他解释了SCCS如何利用编织格式在恒定时间内检索任何版本的文件，并保留跨版本的作者信息。尽管SCCS存在一些缺点，例如长期锁定和文件导向，但其编织格式的效率和对作者信息的保留使其成为一个具有开创性的系统，并为后来的版本控制系统如BitKeeper奠定了基础。
阅读更多
经过近一年的调查，NASA 终于揭开了毅力号火星直升机“机智号”坠毁的谜团。由于火星表面相对平坦，缺乏足够的纹理特征，“机智号”的导航系统无法精确确定自身位置，导致着陆时存在水平速度，最终翻滚坠毁，机翼折断。尽管“机智号”没有黑匣子，但工程师们通过有限的数据和图像拼凑出了事故原因。令人惊叹的是，“机智号”仍然能够与“毅力号”漫游车进行间歇性通讯。此次事故促使NASA开始规划后续任务，包括研制更大、携带更多科学仪器的火星直升机。
阅读更多
本文探讨了如何在Rails应用中应用六边形架构（Ports and Adapters模式）。作者起初对该模式感到困惑，直到意识到“适配器”直接指代四人帮设计模式中的适配器模式才豁然开朗。文章详细解释了入站和出站端口的概念，以及如何使用适配器解耦应用逻辑和外部服务（如数据库、日志、邮件服务等）。作者指出，Rails框架本身可以作为HTTP适配器，但需要避免直接使用ActiveRecord等框架组件，而是通过自定义的Repository模式来访问数据，从而实现更好的解耦和可维护性。最终，作者鼓励Rails开发者采用六边形架构，以构建更健壮、更易于维护的应用。
阅读更多
作者利用闲置的旧智能手机，通过postmarketOS系统，构建了一个功能完善的Kubernetes集群。文章详细介绍了这一过程，包括选择旧手机的原因（强大的计算能力、内置电池）、postmarketOS系统的优势（基于Alpine Linux，使用主线Linux内核）、以及在配置过程中遇到的挑战（内核模块、网络配置等），并提供了详细的解决方案。最终，作者成功将旧手机变为Kubernetes集群节点，实现了资源的有效利用和环保目标。
阅读更多
中情局利用动物进行间谍活动的历史，充满创意和挑战。从携带微型摄像机的鸽子，到试图用猫进行窃听的“Acoustikitty”计划（最终因猫的自主性而失败），再到用于水下侦察的机器人鲶鱼“Charlie”，以及模仿蜻蜓的微型无人机“Insectothopter”，中情局充分发挥想象力，利用动物的特性进行情报收集。此外，他们还利用动物遗骸作为伪装的死信箱，甚至用浸泡过驱猫剂的老鼠作为传递信息的载体。这些充满奇思妙想的尝试，展现了中情局在科技和情报领域的创新精神，也从侧面反映了动物在特殊环境下的独特价值。
阅读更多
1981年，HP 9845C作为HP 9845系列的顶级型号横空出世，它不仅是首款支持彩色的HP电脑，更以其强大的图形处理能力惊艳世人。它搭载硬件加速的矢量绘图和多边形填充功能，并支持快速矩阵运算以渲染3D模型。这款最初为科学和工程环境设计的电脑，最终却成为多用途系统，甚至参与了1983年电影《战争游戏》的图形场景制作。其演示程序更是令人瞩目，包含超过4000行代码，利用高达4913色的高分辨率图形，展现了3D着色、有序抖动、线框渲染、交互式光笔控制和彩色信息图表等当时最先进的计算机图形和人机交互理念。
阅读更多
本文深入探讨了如何绕过Windows 10和11中的现代内核缓解措施，例如SMEP和VBS。作者详细介绍了一种名为Violet Phosphorus的通用VBS/SMEP绕过技术，并提供了相应的PoC代码和ROP链。文章首先解释了SMEP和VBS的工作原理，然后通过利用HackSysExtremeVulnerableDriver驱动程序中的漏洞，演示了如何利用ROP gadgets和MiGetPteAddress函数来修改页表项，从而实现内核代码执行。最后，作者还分享了如何使用Kristal-G的SYSRET shellcode从内核返回用户模式。这篇文章对内核漏洞利用和安全研究人员具有重要的参考价值，属于开发类文章。
阅读更多
美国国家标准与技术研究院（NIST）和科罗拉多大学博尔德分校联合研究所JILA的科学家领导的国际研究团队，在研制一种新型核钟方面取得了重大进展。核钟利用原子核内的能量跃迁来计时，比原子钟更精确，抗干扰能力更强。研究团队利用特殊设计的紫外激光器精确测量了嵌入固体晶体中的钍原子核的能量跃迁频率，并利用光学频率梳对其进行计数。这项突破将带来更精确的导航系统、更快的互联网速度以及基础物理学研究的进步，甚至可能帮助探测暗物质或验证自然常数是否真正恒定。
阅读更多
博主John Graham-Cumming近日在其博客上分享了2004年MIT垃圾邮件大会演讲的开场视频。该视频以“All your base are belong to us”的梗为基础，巧妙地将内容改编成关于垃圾邮件和机器学习的内容，并致敬了Paul Graham。这段视频展现了早期机器学习技术在反垃圾邮件领域的应用，以及博主在技术传播方面的创意和幽默感。
阅读更多
位于意大利和瑞士边境的小镇Viganella，由于地处山谷，每年11月到2月都会被大山遮挡阳光。为了解决这个长达80多天的“黑暗”问题，当地居民在2006年安装了一个巨大的镜子，反射阳光照亮小镇广场。这个充满创意的项目不仅解决了实际问题，也提升了小镇的凝聚力，并启发了其他地区类似项目的建设。
阅读更多
Ken Shirriff 在Mastodon上回顾了英特尔1993年发布的奔腾处理器。这条信息提醒我们，奔腾处理器是个人电脑历史上一个具有里程碑意义的事件，它标志着处理器性能的显著提升，并对个人电脑的普及做出了巨大贡献。
阅读更多
今年，科学家发现了三种新型二维超导材料，它们以意想不到的方式挑战了人们对超导性的理解。这些材料如同魔术般，可以通过调整角度和电场等方式，在绝缘体、导体和超导体之间自由切换。其中一种超导体甚至在磁场中表现出更强的超导性，彻底颠覆了传统的理论认知。这些发现不仅加深了人们对超导机制的困惑，也为开发室温超导体带来了新的希望，有望推动能源和交通等领域的技术革命。
阅读更多
一个名为 @smoores/epub 的 Node.js 库正式发布，它能够检查、修改和创建 EPUB 3 出版物。该库提供了高级 API，简化了 EPUB 规范的实现细节，例如设置标题和获取作者信息；同时也提供了低级 API，允许更精细地控制 EPUB 结构，例如添加章节和元数据。@smoores/epub 基于 fast-xml-parser，提供了强大的 XML 解析和操作功能，方便开发者处理 EPUB 文件的 XML 内容。
阅读更多
美国宇航局（NASA）戈达德太空飞行中心利用卫星测高数据和模拟，制作了一段全球内部潮汐的动画。动画展现了由夏威夷海脊等海底地形与潮汐能相互作用产生的内部潮汐波，这些波浪虽然在海面上的表现微弱，却对海洋混合和环流起着重要作用。动画还显示了全球其他区域，如塔希提岛、西南印度洋和吕宋海峡等，也存在强烈的内部潮汐活动。这项研究为理解海洋动力学提供了新的视角。
阅读更多
20世纪90年代，香港九龙城寨曾是世界上人口密度最高的城市，2.6公顷的土地上挤住了约5万人。二战后，它成为难民的庇护所，建筑物层层叠叠，如同迷宫般错综复杂。犯罪和恶劣的居住条件使它沦为贫民窟，最终在1994年被拆除。艺术家寺泽仁美创作的剖面图，完整记录了这个“活的生物体”般的城市，展现了其独特的魅力和悲剧命运。
阅读更多
Netnod公司在2019年软件实现了网络时间安全协议（NTS）后，进一步将其部署到硬件层面，利用FPGA实现了NTP和NTS协议。硬件实现带来了更高的安全性，减少了侧信道攻击的可能性，并提高了效率和可扩展性。尽管面临着处理复杂NTS数据包的挑战，Netnod最终成功实现了多引擎并行处理，其NTS服务现已投入生产环境。
阅读更多
一家大学的研究团队面临一个棘手的系统管理员问题：服务器运行时间过长，需要重启，但频繁重启会影响用户体验。他们通常避免重启，但这次因服务器长时间运行而不得不进行大规模重启。为了避免类似情况再次发生，他们决定制定一个年度重启计划，每年至少重启三次，以配合学校的教学时间表，从而在预防潜在问题与保证用户体验之间取得平衡。
阅读更多
微软开源了一个名为MarkItDown的Python工具，可以将各种文件（包括PDF、PowerPoint、Word、Excel、图片、音频和HTML等）转换成Markdown格式。该工具API简洁易用，支持多种文件类型，并包含OCR和语音转录功能，方便用户进行文本分析或索引。项目欢迎贡献，并遵循微软开源行为准则。
阅读更多
Ithy 是一款利用分布式人工智能技术进行大规模搜索的创新工具。它突破了单一AI的局限，通过多个AI协同工作，实现更全面、更深入的搜索结果。这意味着用户可以获得比以往更丰富的资讯和更精准的答案。
阅读更多
一项新的研究发现，擅长阅读的人的大脑结构存在显著差异。研究分析了1000多名参与者的公开数据，发现阅读能力与左脑颞叶前部和海希尔回的结构有关。左颞极负责整合不同类型的信息，而海希尔回是听觉皮层的所在地，其厚度与阅读能力正相关。研究表明，大脑的可塑性意味着阅读可以塑造大脑结构，因此阅读不仅有益个人，也有益于全人类。
阅读更多
本文介绍了如何在 Rust 中实现一个并发循环垃圾收集器，用于 Scheme 解释器中的垃圾回收智能指针 Gc。Gc 类似于 Arc>，支持内部可变性、克隆和跨线程发送。文章详细讲解了 Gc 的实现，包括线程安全内部可变性、使用信号量和读写锁的实现，以及基于 Bacon 和 Rajan 算法的并发循环垃圾收集的实现细节，包括追踪特性、周期检测和处理并发修改的机制。
阅读更多
Robertleoj 在 GitHub 上开源了一个名为 Pen Plotter Robot 的项目，这是一个利用笔绘图的机器人。该项目包含了机器人的设计、搭建和控制程序，旨在帮助创客和爱好者学习机器人技术和机械设计。项目代码和相关文档都已公开，方便用户进行学习和改进。
阅读更多
Y Combinator孵化的HyperDX公司正在招聘全栈、前端和后端工程师。HyperDX致力于构建一款开源、开发者友好的可观察性平台，旨在替代Datadog和New Relic等工具，帮助工程师更快地找到生产环境故障原因。该公司提供具有竞争力的薪酬和远程工作机会，对经验丰富的工程师开放。
阅读更多
作者受到乐高埃及探险游乐设施的启发，决定制作一款类似的射击游戏。他利用廉价的ESP32微处理器、红外激光枪和自制目标，成功打造了一个万圣节主题的射击游戏。过程中，他学习了Arduino和MicroPython编程，并克服了硬件连接、供电、通信等挑战，最终在学校和自家举办的活动中获得了成功。未来，他计划改进目标设计、灯光效果和电路板等方面，提升游戏体验。
阅读更多
即将于12月5日发行的科幻Roguelike游戏《Qud地穴》拥有一个庞大的世界地图，其总像素高达惊人的138亿像素！该地图由240x75个区域构成，每个区域包含25x80个瓦片，每个瓦片分辨率为16x24像素。开发者还制作了一个在线地图查看器，允许玩家探索游戏世界的地表，甚至还能窥探第一层地下世界（由于数据量巨大，其余21亿多层地下世界未包含）。这令人叹为观止的地图规模，为玩家带来了无限的探索可能，预示着一次充满奇幻色彩的冒险旅程。
阅读更多
DOSAYGO Research团队发布了新型哈希函数Rain Hashes，包含Rainbow和Rainstorm两种算法。Rainbow算法速度极快，适用于通用场景，其C++实现已通过SMHasher3测试，代码简洁高效。Rainstorm算法则更注重安全性，虽然未经正式安全审计，但设计理念借鉴了密码学哈希函数，提供64到512位多种输出。该项目提供C++、WASM以及Node.js版本，并附带命令行工具和基准测试，方便开发者使用和评估。
阅读更多