Hasty Briefsbeta

全部标签

#programming

共 778 篇

双语

Helix: A post-modern text editor
2 months ago
- 多光标选择作为核心编辑原语，灵感来自Kakoune编辑器
- 集成Tree-sitter实现更精准的语法高亮、缩进计算和代码导航
- 通过语法树节点选择实现强大的代码操作能力
- 无需额外配置即可获得语言服务器支持的IDE功能
- 基于Rust构建的终端编辑器，避免使用Electron和JavaScript
- 现代化内置功能：模糊查找器、全项目搜索和精美主题
- 后现代主义玩笑梗，刻意与Neovim/Vim形成差异
- 规划中的WebGPU图形界面前端和插件系统
- 与Kakoune的主要区别在于更多内置功能和Tree-sitter应用
- 相比Vim的优势包括更精简的代码库和现代化默认配置
- 支持渠道包括GitHub、Matrix聊天平台和OpenCollective众筹
Moving from Python to Mojo
2 months ago
- Mojo专为Python开发者设计，但引入了类型系统、所有权感知语义和底层控制能力。
- Mojo是静态类型语言，可编译为机器码，并推崇带有显式可变性的值语义。
- Mojo支持现代所有权机制进行内存管理，无需垃圾回收器。
- Mojo将Python的可读性与Rust和C++的性能模型相结合。
- Mojo中的值语义意味着赋值会创建独立副本，这与Python的引用行为不同。
- Mojo使用`var`声明变量，`ref`实现类似Python的引用行为。
- Mojo要求显式声明可变性，函数参数默认不可变，需用`mut`标记可变参数。
- Mojo采用固定宽度数值类型（如`Int8`、`Float32`）进行优化，不同于Python的任意精度。
- Mojo的除法运算符（`/`、`//`）行为与Python不同，会保留操作数类型。
- Mojo的数据结构（列表、字典）是类型化的，使用`Variant`处理混合类型元素。
- Mojo的推导式和迭代语法与Python相似。
- Mojo函数定义要求显式声明参数和返回值的类型。
- Mojo通过`try/except`和`raises`关键字处理可能传播错误的函数。
- Mojo用`struct`替代Python的动态类，实现静态类型、栈分配的对象。
- Mojo的内存管理采用所有权语义实现确定性释放，支持可选手动控制。
- Mojo的trait机制在编译时验证接口，取代了Python的鸭子类型。
- Mojo支持多级并行，包括SIMD操作和多线程GPU执行。
Show HN: Eyot, A programming language where the GPU is just another thread
2 months ago
- Eyot是一种新设计的语言，旨在无缝将工作负载转移到GPU，类似于生成后台线程。
- Eyot会同时编译CPU和GPU的源代码，运行时处理两者之间的通信。
- 目标用户包括游戏开发者、数值分析人员和AI从业者。
- Eyot通过自动处理内存分配和内核编译等任务，简化了GPU编程。
- 示例代码展示了直接在CPU上调用函数、作为CPU工作线程和作为GPU工作线程的用法。
- 设计动机源于桌面应用等项目中进行GPU编程的困难。
- 当前路线图包括通过Vulkan实现渲染支持、语法改进、GPU内存管理、性能优化和标准库开发。
- Eyot不会专注于自动并行化、理论最优性能或成为通用编程语言。
Pushing and Pulling: Three reactivity algorithms
2 months ago
- 文章讨论了三种响应式算法：基于推送的、基于拉取的和推拉混合式。
- 基于推送的响应式会在变更时立即更新依赖项，确保细粒度更新但可能效率低下且容易出现故障。
- 基于拉取的响应式按需重新计算值，使其无故障且动态，但由于不必要的重新计算可能导致效率低下。
- 推拉式响应式结合了两种方法：首先将节点标记为脏（推送），然后仅重新计算脏节点（拉取），从而实现高效、细粒度更新和无故障。
- 每种方法都有权衡：推送简单但效率低，拉取无故障但可能浪费计算资源，推拉式提供了平衡的解决方案。
- 文章强调了在响应式系统中效率、细粒度更新、无故障和动态依赖的重要性。
Python's Lazy Imports: Why It Took Three Years and Two Attempts
2 months ago
- Python 3.15 引入'lazy'关键字用于延迟导入，以提升启动速度并降低内存占用
- 由于性能需求迫切，Meta和Hudson River Trading（HRT）等公司已在Python分支（Cinder和HRT分支）中实现了延迟导入
- PEP 690曾提议通过全局标志实现延迟导入，但因可能导致生态碎片化和实现复杂化被否决
- 修订后的PEP 810提案引入显式'lazy import'语法，解决前期顾虑并获得指导委员会批准
- 延迟导入机制将模块加载推迟到首次使用时，通过避免非必要导入显著加速CLI工具
- PEP 810方案无需修改Python核心字典结构，转而采用轻量级代理实现延迟导入
- 通配符导入（from foo import *）不支持延迟模式，导入错误将延迟到首次使用时抛出
- 该特性经过三年验证期，收集了大型代码库的实际运行证据确保设计健壮性
- Python指导委员会于2025年11月全票通过PEP 810，该功能将随2026年10月发布的Python 3.15上线
Crow Watch: A Hacker News Alternative
2 months ago
- 2邮编优先（zipcodefirst.com）
- 2printf新闻（printf.news）
- 12026年云虚拟机基准测试：性能与价格分析（devblog.ecuadors.net）
- 1本地运行Qwen 3.5指南（unsloth.ai）
- 1Linux成功移植至PS5，实现Steam Machine功能（xcancel.com）
- 1遥测技术的作用与关闭自由（ritter.vg）
- 1推与拉：三种响应式算法解析（jonathan-frere.com）
- 3我最爱的39C3演讲精选（asindu.xyz）
- 2PostgreSQL内部机制深度指南（interdb.jp）
- 1当你发布一个「刚刚好」的版本时（unsung.aresluna.org）
- 1提案：将UUID包纳入Go标准库（github.com/golang）
- 1关于WigglyPaint的随笔（beyondloom.com）
- 2联邦宇宙：我曾大错特错（matduggan.com）
- 1等待的机器（designrepcom.com）
- 2痛苦与密码破译（arch.dog）
- 1与Mozilla合作提升Firefox安全性（anthropic.com）
- 1WebAssembly为Nix语言开启新篇章（determinate.systems）
- 1分布式系统构建十年观察录（philipotoole.com）
- 1分布式条件类型详解（shaky.sh）
- 3Oberon System 3支持多引导并完美运行于QEMU（github.com/rochus-keller）
- 1用PostgreSQL自建SQS或Kafka系统（blog.sequinstream.com）
Zig – Type Resolution Redesign and Language Changes
2 months ago
- Zig编译器中的类型解析重新设计，改进了类型字段的惰性分析并增强了依赖循环错误信息。
- Zig的增量编译获得显著的性能提升和错误修复。
- 新引入的std.Io实现采用io_uring和Grand Central Dispatch (GCD)，实验性支持用户态栈切换。
- Zig包管理工作流改进包括：依赖项本地存储至'zig-pkg'目录，新增'--fork'标志用于项目覆盖。
- Zig标准库现优先使用Windows原生API(ntdll.dll)而非Win32 API(kernel32.dll)，以获得更好性能和可靠性。
- 'zig libc'子项目取得进展，用Zig标准库封装替代C源文件，提升编译速度并减小二进制体积。
Writing my own text editor, and daily-driving it
2 months ago
- 作者表达了对现有文本编辑器的不满，决定自己开发一款。
- 先前使用的编辑器（Howl）存在开发停滞、全局搜索功能差、GUI限制多、无集成终端等核心问题。
- 尝试了多种替代品（Helix、VS Code、Sublime、Vim等）但均未达到理想的体验或功能需求。
- 以最小化范围启动开发，仅聚焦个人需求，避免不必要的功能堆砌。
- 采用实践策略：用新编辑器替代'nano'、即时记录问题、立即修复影响体验的缺陷以保持开发动力。
- 探讨了光标控制、文件浏览、正则表达式实现和语法高亮等技术挑战。
- 通过多线程和工作窃取机制实现了高效的全局搜索功能。
- 使用第三方库集成终端模拟器缓冲区以增强功能。
- 优化渲染流程以减少带宽占用，提升远程连接时的性能表现。
- 总结认为定制编辑器开发具有高回报性，能获得完美契合的工具、深入的学习机会和显著的生产力提升。
Jai in 2026: The State of Jonathan Blow's Programming Language
2 months ago
- Jai于2019年底/2020年初进入封闭测试阶段，目前仍采用邀请制
- Jonathan Blow开发的游戏《沉星之序》完全基于用Jai编写的自定义引擎开发，将于2026年发布
- 该游戏引擎将在发布后开源，Jai语言本身最终也将开源
- Jai具有编译时执行、快速编译速度、面向数据的默认设置、内置反射功能且无隐藏控制流等特点
- 围绕Jai已形成活跃的社区生态，提供论坛、教程等多种资源
- Odin和Zig等竞争语言相继出现，虽然目标部分重叠但各具特色
- Jai更深入的元编程能力、更快的编译速度及对游戏开发的专注，可能在开源后形成差异化优势
I don't use LLMs for programming
2 months ago
- 向他人解释概念能通过整理思路来帮助自己更好地理解它。
- 将复杂想法分解为简单步骤是编程的基本功。
- 教学往往使教师比学生收获更多。
- 学习过程带来的满足感远超过单纯拥有知识。
- 编程被视为检验概念理解程度的终极试金石。
Are LLMs not getting better?
2 months ago
- 大语言模型生成的代码通过测试的频率高于达到可合并质量标准的频率
- 当以维护者批准而非测试通过作为成功标准时，性能出现显著下降
- 与某些说法相反，自2025年初以来，LLM生成代码的合并率并未显示出提升
- 统计分析（Brier评分）显示恒定合并率模型优于线性或逻辑增长趋势
- 关于近期能力提升的声明缺乏严谨证据，与2025年未经证实的说法如出一辙
Kotlin creator's new language: a formal way to talk to LLMs instead of English
2 months ago
- CodeSpeak是一种由大型语言模型驱动的下一代编程语言，旨在将代码库规模缩小5至10倍。
- 它面向生产级系统和长期项目，而不仅仅是原型设计，专为人类团队协作打造，而非个人开发者。
- CodeSpeak强调通过规范而非代码进行维护，使人类更易于管理项目。
- 该语言支持混合项目开发模式，允许部分代码手动编写，部分由规范自动生成。
- 即将推出的功能包括将现有代码转化为规范，进一步压缩代码库体积。
- 实际案例研究表明，在保持或提升测试通过率的同时，该语言能显著减少代码行数(LOC)。
NaN Is Weird
2 months ago
- float('nan')是可哈希的，可以添加到集合和字典中。
- 包含多个float('nan')的集合会显示重复项，因为nan != nan。
- float('nan')不等于自身，但'is'比较对同一实例返回True。
- 可以用float('nan')作为字典键，但检索值需要完全相同的nan实例。
- 使用Counter统计可迭代对象中float('nan')的出现次数不会按预期工作。
- 这是Python的一个奇特行为，实践中不太可能被有意使用。
Atari 2600 BASIC Programming (2015)
2 months ago
- 雅达利2600版BASIC语言存在极大限制：最多64个符号、9行代码、仅支持0-99整数、5种数学函数和极简图形功能。
- 沃伦·罗宾尼特在仅64字节内存条件下创造了雅达利2600版BASIC，这一成就堪称奇迹。
- 在原始硬件上编程体验糟糕；任天堂DS版本提供了更好的开发环境。
- 示例程序包括通过键盘移动光点的小游戏和简易橄榄球模拟器。
- 由于64符号限制，雅达利2600的BASIC程序短如推文，可直接在Twitter分享。
- 十进制转十六进制或计算圆周率等想法因系统限制根本无法实现。
On The Need For Understanding
2 months ago
- 安迪·温戈反思杰拉尔德·萨斯曼的观点：现代程序员常被迫将库视为黑箱，需进行'基础科研'才能理解其机理。
- 萨斯曼指出编程方式从1980年代的转变——工程师用精确定义的小部件构建系统，到1990年代后开发者不得不与复杂晦涩的库文档搏斗。
- 作者分享1990年代个人经历，描述在技术快速迭代中，面对编程工具和平台压倒性复杂度时的挣扎。
- 早期编程追求表面功能而忽视深层理解，导致产生诸如游戏音乐处理工具'Easymik'这类临时解决方案。
- 接触QNX系统成为转折点，其清晰优雅的设计理念与MS-DOS/Windows的复杂性形成鲜明对比。
- 作者在创建过度通用化解决方案的失败尝试中，印证了未彻底理解问题就仓促编码的弊端。
- 关键顿悟在于：掌握底层系统原理能催生更高效、自信的编程实践。
- 相比1990年代闭源软件的不可捉摸，现代编程受益于开源库和优质文档，系统调试和理解更为便利。
- 作者主张深入依赖项的源代码，这种彻底理解的方式能打造更可靠、可维护的软件。
C++26: The Oxford Variadic Comma
2 months ago
- C++26弃用了前面没有逗号的省略号参数（P3176R1提案）。
- 这一变更提升了与C语言的兼容性，减少了与模板参数包的混淆，并为未来特性保留了设计空间。
- 当前C++同时允许`void foo(int, ...)`（兼容C）和`void foo(int...)`（仅C++），但后者现被弃用。
- 无逗号形式曾引发混淆，特别是在模板参数包和简写函数模板场景中。
- 该弃用影响`void f(int...)`和`void g(auto args...)`等语法，建议改用`void f(int, ...)`形式。
- 独立的省略号参数（`void f(...)`）仍保持有效。
- 此次变更是弃用而非移除，便于自动化修复。
- 此举为未来特性（如同质可变函数参数）的提案扫清了道路。
Show HN: GDSL – 800 line kernel: Lisp subset in 500, C subset in 1300
2 months ago
- 作者讨论了自己编写小型编译器（用1500行代码实现C语言子集，用500行代码实现Lisp编译器）的经验，并说明如何做到几乎不做妥协。
- 质疑为何大型编译器需要数百万行代码才能实现。
- 反思投入巨大精力构建看似微小但意义深远的事物，将其比作在一块荒地上持续16个月的艰苦劳作。
- 提到为项目命名的仪式感，以及播下第一颗种子象征着的开端。
Codegen is not productivity
2 months ago
- 生成式AI和大型语言模型(LLM)能生成大量代码，但代码行数(LOC)是衡量程序员生产力的糟糕指标
- 编程的核心在于管理复杂性和表达抽象概念，而不仅仅是快速编写代码
- 开发者大部分时间都花在非编码活动上，使得代码生成并非主要瓶颈
- LLM加速了代码编写过程，但可能导致跳过关键的设计和规划阶段
- 高代码行数会增加维护难度、降低可理解性，这对人类和LLM都有影响
- LLM经常鼓励定制解决方案而非使用成熟库，导致产生不必要的代码
- 软件开发中的协作依赖于可读和可审查的代码，而LLM可能不会优先考虑这点
- LLM生成的代码通常需要大量修改，导致开发者产生挫败感并质疑其效用
- LLM的真正价值在于规划、设计和研究环节，而不仅仅是代码生成
Comparing Python Type Checkers: Typing Spec Conformance
2 months ago
- Python的类型系统始于PEP 484，最初由mypy定义。
- 随着Pyright、Pytype和Pyre等多款类型检查器的出现，对类型规则的解读逐渐产生分歧。
- Python类型规范应运而生，旨在统一类型规则，并包含一套一致性测试套件。
- 该测试套件会检查误报（意外错误）和漏报（未捕获的错误）情况。
- 截至2026年3月初，Pyright以97.8%的通过率领先，而mypy仅为58.3%。
- 一致性至关重要，它影响代码兼容性并减少临时解决方案的需求。
- 一致性测试不涉及类型推断、类型细化或实验性功能的评估。
- 选择类型检查器时还需考虑性能、IDE集成和错误信息等其他因素。
Methods in Languages for Systems Programming (2023)
2 months ago
- 作者与拖延症和未完成的博客文章作斗争。
- 关于编程语言中方法的讨论，重点关注C语言。
- C语言与Odin、Hare、Zig和C3等新语言在方法实现上的比较。
- 对编程语言中数据与代码分离的看法。
- 关于编程中方法的必要性和复杂性的辩论。
- 从功能与极简主义角度区分C语言替代品与C++替代品的不同。

About|Login

#programming

Helix: A post-modern text editor

Moving from Python to Mojo

Show HN: Eyot, A programming language where the GPU is just another thread

Pushing and Pulling: Three reactivity algorithms

Python's Lazy Imports: Why It Took Three Years and Two Attempts

Crow Watch: A Hacker News Alternative

Zig – Type Resolution Redesign and Language Changes

Writing my own text editor, and daily-driving it

Jai in 2026: The State of Jonathan Blow's Programming Language

I don't use LLMs for programming

Are LLMs not getting better?

Kotlin creator's new language: a formal way to talk to LLMs instead of English

NaN Is Weird

Atari 2600 BASIC Programming (2015)

On The Need For Understanding

C++26: The Oxford Variadic Comma

Show HN: GDSL – 800 line kernel: Lisp subset in 500, C subset in 1300

Codegen is not productivity

Comparing Python Type Checkers: Typing Spec Conformance

Methods in Languages for Systems Programming (2023)