双语

Rust 1.87.0 and ten years of Rust
a year ago
- Rust 1.87.0 在 Rust 1.0 十周年纪念日发布。
- 新特性包括标准库中的匿名管道和安全架构内部函数。
- 内联汇编（asm!）现在可以跳转到 Rust 代码中的标记块。
- 使用 `impl Trait` 返回类型在 trait 定义中进行精确捕获现已稳定。
- 多个 API 已稳定，包括 `Vec::extract_if` 和 `String::extend_from_within`。
- 二级目标平台 `i586-pc-windows-msvc` 已被移除。
- 用户可通过 `rustup update stable` 更新至 Rust 1.87.0。
- 感谢所有为 Rust 贡献代码的开发者。
Initialization in C++ is bonkers (2017)
a year ago
- C++的初始化规则非常复杂，如果处理不当可能导致未定义行为
- C++有三种主要初始化类型：默认初始化、值初始化和零值初始化，每种都有特定规则
- 默认初始化会调用类的默认构造函数，但基本类型会保持未初始化状态（值不确定）
- 值初始化可能首先进行零值初始化，特别是对于具有非用户提供默认构造函数的类
- 零值初始化会将基本类型设为0，类成员归零，并在其他初始化前应用于静态/线程局部变量
- 用户提供的构造函数会影响初始化行为，在声明处默认化构造函数与在定义处默认化会影响其分类
- 对具有非用户提供默认构造函数的类进行值初始化时包含零值初始化，确保成员初始为0
- 读取未初始化变量是未定义行为，这强调了显式初始化的重要性
- C++提供了18种初始化形式，突显了该语言在这一领域的复杂性
- 最佳实践：始终初始化变量以避免未定义行为并确保程序执行的可预测性
The Teal Programming Language
a year ago
- Teal 是 Lua 的静态类型方言，为数组、映射、记录、接口、联合类型和泛型添加了类型注解。
- 其目标是成为 Lua 的 TypeScript，同时保持 Lua 的极简主义、可移植性和可嵌入性。
- Teal 代码通过 `tl` 编译器编译为 Lua，可通过 LuaRocks 安装（`luarocks install tl`）。
- 提供预编译的 Linux 和 Windows 二进制版本。
- 对于大型项目，推荐使用 Cyan 作为 Teal 的构建工具。
- 开发工具包括 VS Code 的 vscode-teal 和 NeoVim 的 teal-language-server。
- Teal 提供在线文档、演讲录像和社区论坛（GitHub Discussions 和 Matrix 聊天室）。
- Teal 由 Hisham Muhammad 及贡献者开发，采用 Teal 自身编写，并基于 MIT 许可证开源。
Crust – Rust that is Fun
a year ago
- 每个函数都是不安全的。
- 没有引用，只有指针。
- 不使用cargo，直接用rustc编译。
- 不使用标准库，但允许使用libc。
- 仅限2021版。
- 所有用户定义的结构体和枚举都#[derive(Clone, Copy)]。
- 默认所有内容都是公开的。
- 规则列表可能会变动。
- 目标是让Rust编程变得有趣。
- 目前用于B编译器项目。
Rust Life Improvement
a year ago
- Rust的Beta测试渠道提供性能改进并受益于更多测试者的参与。
- Cargo为高效Rust开发提供了快捷方式和配置选项。
- Clippy的lint检查通过强制执行文档和安全实践来提高代码质量。
- Cargo-semver-checks确保库在发布前的兼容性。
- 现在文档测试（Doctests）运行速度更快，鼓励将其用于文档和测试。
- Insta支持快照测试，并提供处理非确定性结果的功能。
- 使用cargo-mutants进行变异测试可识别未经测试的代码变更。
- rust-analyzer的配置能提升开发体验。
- cargo sweep帮助管理构建产物以节省磁盘空间。
- Rust中的模式匹配功能强大，支持解构和守卫条件。
- #[expect]和#[must_use]等注解提高了代码的可维护性。
- Box::leak可为特定用例创建静态引用。
Rust Turns 10
a year ago
- Rust庆祝其1.0版本发布十周年。
- 亚马逊在AWS服务和PrimeVideo中广泛使用Rust。
- Rust正在被意想不到的领域采用，例如荷兰的选举软件。
- Rust创始人Graydon Hoare为这门语言设定了愿景和文化。
- Rust的行为准则强调包容性、友善和权衡取舍。
- 开源协作对Rust的发展至关重要。
- ACM SIGPLAN软件奖彰显了Rust社区驱动的成功。
- Rust在保持稳定性的同时持续演进的能力是其关键优势。
- 与用户互动让团队时刻铭记Rust的影响力和潜力。
- Rust致力于让开发者无惧地构建基础性软件。
Vibe Check: Codex – OpenAI's New Coding Agent
a year ago
- OpenAI发布了Codex，这是一款新型编程代理，旨在像高级软件工程师一样工作，能够自主构建功能和修复错误。
- Codex针对高级工程师进行了优化，能生成简洁、极简的代码和简明的摘要，并通过在大型、混乱的代码库上进行训练来提高实际应用性。
- 该工具提倡一种工作流程，用户可以同时管理多个小型、独立的任务，并将其转化为易于审查的拉取请求。
- Codex与ChatGPT等基于聊天的AI工具不同，它专注于完成任务而非交互式对话，因此在处理后续请求时灵活性较低。
- 尽管功能强大，但Codex缺乏与GitHub和Slack等平台的集成，增加了工作流程的摩擦，并且不太适合经验不足的工程师或偏好交互式编码的用户。
- OpenAI似乎从两个角度切入编程领域：紧密协作（通过Windsurf）和自主委派（通过Codex），这表明未来工具使用将更加灵活。
- Every的初期测试显示，Codex对管理现有代码库的高级工程师很有帮助，但对从事新项目或偏好交互式方法的工程师效果较差。
Beej's Guide to Network Concepts
a year ago
- Brian 'Beej Jorgensen' Hall 是本书作者。
- 文档版本为 v1.0.32，最后更新于 2025年5月6日。
- 提及 Content-Type 和 Content-Length。
- 列出文件：file1.txt 和 file2.html。
- 引用函数：get_next_word_packet() 和 extract_word()。
- 提及文件扩展名：.txt 和 .dat。
- 引用 select() 和 send() 函数。
- 提及 'chatui' 和数字 '1'。
- 提到 CTRL-C 组合键。
What Every Programmer Should Know About Enumerative Combinatorics
a year ago
- 枚举组合数学是数学的一个分支，专注于计算集合中的元素数量，适用于解决诸如确定数据库中唯一用户ID等问题。
- 整数分拆表示将整数表示为正整数之和的方式，而整数组合则是有序的分拆。
- 对于整数组合存在闭式计数公式，但分拆则没有，这使得组合在精确计数上更易处理。
- 弱组合允许部分为零，其数量可通过二项式系数确定。
- 提供了生成和枚举弱整数组合的C语言代码，展示了实际实现方法。
- 对枚举集合的观察揭示了列中的模式，如严格递减序列和列之间的镜像关系。
- 组合数学中的曲棍球恒等式可用于计算弱组合各列的数字计数。
- 二分搜索算法能高效地从枚举集合中索引和检索特定的弱组合。
Programming in Martin-Lof's Type Theory: An Introduction (1990)
a year ago
- 《马丁-洛夫类型理论中的编程：导论》一书由本特·诺德斯特伦、肯特·彼得森和扬·M·史密斯合著。
- 该书由牛津大学出版社于1990年出版，目前已经绝版。
- 哥德堡大学/查尔姆斯理工大学计算机科学系提供该书的Postscript和PDF格式版本。
- Postscript版本大小为1.5兆字节，PDF版本为1兆字节。
- 该书的目录也提供Postscript格式版本。
Push Ifs Up and Fors Down
a year ago
- Ifs上移：将条件检查（ifs）移至调用方，以集中控制流、减少冗余检查并简化函数。
- 上移Ifs的好处：整体检查更少，更容易识别无效分支，并将复杂逻辑集中在一处。
- 消除枚举重构：当上移条件后暴露出冗余或重复逻辑时的重构模式。
- Fors下移：对对象批次操作以获得性能提升，分摊启动成本，并启用向量化处理。
- 性能优势：批处理能显著提升性能，尤其是在处理大量实体的热点路径中。
- 表达力：批处理也能增强代码表达力，如jQuery等库所示。
- 组合使用：结合'ifs上移'和'fors下移'可同时优化控制流和数据处理。
- 示例：基于FFT的多项式乘法展示了批处理如何超越逐个计算。
- TigerBeetle架构：在数据平面使用批处理来分摊控制平面的决策成本。
OBNC – Oberon-07 Compiler
a year ago
- OBNC是一个将Oberon代码编译成C语言的编译器
- 支持Oberon 2016最终版
- 编译器采用GNU GPL协议，库文件使用Mozilla公共许可证
- 包含基础库和扩展库以提供额外功能
- 构建需要POSIX操作系统和Boehm-Demers-Weiser垃圾回收器
- 提供Windows预编译版本（含依赖项）
- 兼容性说明：使用OBNC≤0.15编译的模块需要重新编译
- 提供Gedit/Pluma插件支持语法高亮和关键字大写转换
- 支持渠道：电子邮件、Stack Overflow、苏黎世联邦理工学院邮件列表、Usenet新闻组
Racket – the Language-Oriented Programming Language – 8.17 is now available
a year ago
- Racket v8.17 引入了新的 `drracket-core` 包，依赖项更少。
- Typed Racket 现在支持 treelists（树形列表）。
- 包管理器现在计算包的校验和，支持自动升级功能。
- 新增 `bitwise-first-bit-set` 函数，返回数字中最低有效位的设置位。
- 更新后的 `dynamic-require` 函数简化了语法绑定的使用。
- 通过 `error-module-path->string-handler` 可自定义错误消息中的模块路径显示格式。
- 在 Windows 平台上，使用 MSVCRT/UCRT 库提升了数值函数（如 `sin`、`cos` 等）的运算精度。
- Racket CS 中优化了 `string-append` 的性能并降低了内存占用。
- TCP 端口启用 `SO_KEEPALIVE` 选项以检测连接响应状态。
- Windows 终端现在支持将鼠标事件解析为虚拟终端字符。
- 新增 `#:replace-malformed-surrogate?` 关键字，用于处理 JSON 中格式错误的 Unicode 代理对。
- http-client 模块不再为无请求体的请求发送 "Content-Length: 0" 头。
- 解模块器（`compiler/demod`）可进一步剪除未使用的赋值语句。
- Redex 用函数替代了判断渲染形式以提升抽象能力。
- 若未包含教学语言，DrRacket 的语言对话框将移至首选项设置中。
- 数学库针对块对角矩阵、`acos` 和 `matrix-(cos-)angle` 进行了功能改进。
- 为 `big-bang` 程序恢复了步进器（Stepper）功能。
- 其他多项修复及文档优化。
FreeBASIC is a free/open source BASIC compiler for Windows DOS and Linux
a year ago
- FreeBASIC 是一款面向 Windows、DOS 和 Linux 的免费/开源（GPL协议）BASIC 语言编译器。
- 在 'QB' 语言模式下，它能高度兼容 QuickBASIC 程序。
- 支持过程式、面向对象和元编程范式。
- 可生成控制台程序、GUI 可执行文件及库文件，并提供 C 语言和部分 C++ 支持。
- 该编译器具有自举能力，采用 GNU binutils 作为后端工具链。
- 内置对 OpenGL、SDL 和 Windows API 等流行库的轻量级绑定。
- 最初定位为 QuickBASIC 的免费替代品，现已发展为功能强大的开发工具。
- 支持现代平台和 API，大幅扩展了 QuickBASIC 的功能边界。
Fortran for C Programmers
a year ago
- Fortran专为C/C++程序员快速适应而设计，聚焦核心特性并规避常见陷阱。
- Fortran标准历经'66、'77、'90、'95、2003、2008及2018版本迭代，始终强调向前兼容性。
- 支持两种源码格式：固定格式(.f)和自由格式(.f90)，无保留字且不区分大小写。
- 变量命名规则：I-N开头默认为INTEGER类型，其余为REAL类型（可手动修改此规则）。
- 数组必须显式声明，圆括号同时用于数组索引和函数调用。
- 内置函数无需声明即可调用，其命名遵循隐式类型规则。
- 现代Fortran采用模块化机制管理类型/数据/子程序接口，同时保留传统语法。
- 关键术语：'关联'、'派生类型'(类似C++类)、'泛型'(函数重载)。
- 内置数据类型：INTEGER/REAL/COMPLEX/LOGICAL/CHARACTER，通过'kind'参数指定非标准字节长度。
- 支持创建用户自定义类型（类似C结构体），可包含继承/析构函数/默认初始值。
- 数组支持多维存储，秩(rank)表示维度，内存按列优先排列（末维步长最大）。
- ALLOCATABLE类型支持动态内存分配，离开作用域时自动释放（类似C++的std::vector）。
- I/O操作内置于语法，支持格式/无格式读写，使用类似UNIX文件描述符的单元号。
- 子程序分为FUNCTION和SUBROUTINE，支持一级嵌套且内部过程可访问宿主变量。
- 模块机制实现分离编译和命名空间管理，通过USE语句引用模块内容。
- 参数默认引用传递，INTENT(IN)声明只读参数，VALUE关键字实现传值调用。
- 通过命名接口实现重载，允许基于参数类型使用泛型函数名。
- CLASS关键字支持运行时多态（类似C++虚函数）。
- 指针是对象而非类型，自动解引用，不可指向其他指针或分配内存的元数据。
- 预处理依赖具体实现（常用C预处理器），不同编译器支持程度不一。
- 类型绑定过程模拟C++成员函数，对象作为隐式参数传递。
- 常见陷阱：静态初始化变量、语句函数、与C语言不同的表达式求值规则。
Static Types Are for Perfectionists
a year ago
- 作者反思童年经历如何塑造技术偏好，认为成长环境和文化对技术核心信念的影响远超理性论证
- 关键童年特征包括对错误的恐惧和反依赖性，这导致偏好静态类型语言、深入系统理解及最小化依赖
- 作者的编程风格随时间演变，从僵化的规范转向更真实的、由个人审美和感受引导的方式
- 引入'真实性螺旋'概念，描述从学习基础到超越形式、达到自然表现的 mastery 阶段
- 强调两个启示：需不带评判地接纳他人偏好，以及找到与自身风格契合的环境对生产力和幸福感至关重要
- 作者指出适宜环境能促进成长与满足，并通过在不同公司的亲身经历对比说明这一观点
- 文章最后呼吁开展心理学与计算机科学的交叉研究，探索童年经历和神经多样性对技术偏好的影响
Every programming language has its 'killer' domain
a year ago
- 每种编程语言都有其擅长的'杀手级'应用领域。
- 静态类型语言如C、C++、Rust、Java、C#、Cobol、Go和Swift在特定领域表现出色，例如内核开发、低级系统编程、商业应用、高性能服务器以及苹果系统应用开发。
- 动态类型语言如Python、Julia、Fortran、Matlab、JavaScript、TypeScript、Ruby、PHP、Lua和R则在科学计算、机器学习、Web开发和统计学等领域占据主导地位。
- 在非擅长领域使用某种语言通常会更加困难，有时甚至不可行。
Craft Basic (Windows 95 and up)
a year ago
- Craft Basic 是一款免费软件，版本为1.7.1，最后更新于2023年12月19日。
- 下载文件大小为269kB，可通过两个URL获取。
- 可通过提供的链接访问相关文档。
- 设有专用论坛提供技术支持。
- 系统要求包括Windows 95，并支持Win9X、Win2K、WinXP、Win10及Win11操作系统。
Squirrel (Programming Language)
a year ago
- Squirrel是一种高级、命令式、面向对象的编程语言，专为视频游戏等应用中的轻量级脚本设计。
- 它具有动态类型、委托、类、继承、高阶函数、生成器、协程、尾递归、异常处理和自动内存管理等特性。
- Squirrel采用类C语法，并受到C++、JavaScript、Lua和Python等语言的影响。
- 该语言被用于多款游戏和应用中，包括《求生之路2》《传送门2》、Code::Blocks和Electric Imp等。
- 该语言于2003年以zlib/libpng许可证公开，后于2010年改用MIT许可证。
- Squirrel由Alberto Demichelis开发和维护。
What Is the Difference Between a Block, a Proc, and a Lambda in Ruby? (2013)
a year ago
- Ruby中的块（blocks）、过程对象（procs）和lambda是组织代码执行的三种方式。
- 块是方法语法的一部分而非独立对象，而过程对象是Proc类的实例，可被赋值给变量。
- 一个方法只能接收一个块作为参数，但可以传递多个过程对象。
- lambda是一种特殊的过程对象，会检查传入参数的数量，而普通过程对象不会。
- lambda和过程对象对return关键字的处理不同：lambda从自身返回，过程对象会从外围方法返回。
- Ruby的闭包（如过程对象和lambda）会保留创建时上下文中的变量访问权限。
- 'lambda'一词源于lambda演算，强调匿名函数特性；而'proc'是procedure的缩写，代表完成特定任务的指令集合。

Hasty Briefsbeta

#programming

Rust 1.87.0 and ten years of Rust

Initialization in C++ is bonkers (2017)

The Teal Programming Language

Crust – Rust that is Fun

Rust Life Improvement

Rust Turns 10

Vibe Check: Codex – OpenAI's New Coding Agent

Beej's Guide to Network Concepts

What Every Programmer Should Know About Enumerative Combinatorics

Programming in Martin-Lof's Type Theory: An Introduction (1990)

Push Ifs Up and Fors Down

OBNC – Oberon-07 Compiler

Racket – the Language-Oriented Programming Language – 8.17 is now available

FreeBASIC is a free/open source BASIC compiler for Windows DOS and Linux

Fortran for C Programmers

Static Types Are for Perfectionists

Every programming language has its 'killer' domain

Craft Basic (Windows 95 and up)

Squirrel (Programming Language)

What Is the Difference Between a Block, a Proc, and a Lambda in Ruby? (2013)