双语

Parsing Chemistry
7 months ago
- Python的chemparse项目可将化学式字符串解析为元素与计数对应的字典
- 支持的化学式变体包括：简单化学式、分数计量比、基团、嵌套基团及方括号形式
- Factor语言通过EBNF语法实现了类似的解析表达式文法功能
- 解析步骤包含：符号处理、数字解析及符号-数字对（带可选数字的符号）处理
- 实现过程涉及将解析元素扁平化为元素到计数的关联数组
- 单元测试展示了多种化学式特性的支持，例如H2O、C1.5O3、(CH3)2、((CH3)2)3和K4[Fe(SCN)6]
- 项目代码已开源托管在GitHub平台
Actor Programming Language
6 months ago
- Actor是一种面向对象的编程语言和环境，类似于Smalltalk。
- 它由The Whitewater Group, Inc.开发，后来由Genesis Development Systems继续开发。
- Actor是一个完全原生于Windows的环境，并且是为Windows编写的早期应用程序之一。
- Actor 2运行于Microsoft Windows 2下，而Actor 1.0运行于Windows 1下。
- Actor Professional 4.0适用于Windows 3.0，而Actor Professional 4.1适用于Windows 3.1。
- 下载详情包括1992年的4.01版本和1993年的4.1版本，文件大小分别为4.64MB和7.14MB。
You Should Write An Agent
6 months ago
- 有些概念（如烧开水）在抽象层面很容易理解，而另一些（如骑自行车）则需要亲身体验才能掌握。
- 大语言模型代理是计算领域的重要概念，无论你对其持何种态度，都应该了解它们以形成客观认知。
- 构建一个大语言模型代理出人意料地简单，就像这个与OpenAI API交互的Python脚本所展示的那样。
- 通过添加工具（如ping功能），可以增强大语言模型代理的能力，使其能自主完成更复杂的任务。
- 上下文工程是开发大语言模型代理时真实且重要的环节，有效管理上下文窗口对性能至关重要。
- 大语言模型代理可采用子代理架构设计，每个子代理配备不同工具和上下文，从而实现更复杂的交互。
- 大语言模型代理领域仍在快速发展，存在许多待解决的工程问题，例如如何在不可预测性和结构化编程之间取得平衡。
- 相比依赖Claude Code或Cursor等现成方案，自主构建大语言模型代理能获得更深洞见并实现个性化定制。
Comparison Traits – Understanding Equality and Ordering in Rust
7 months ago
- Rust的比较特性包括PartialEq、Eq、PartialOrd和Ord，它们用于建模相等性和排序关系。
- PartialEq和PartialOrd允许存在不可比较的情况（例如含有NaN的浮点数），而Eq和Ord要求完全顺序和等价关系。
- Ord隐含实现了Eq并提供了默认的PartialOrd实现，Eq则隐含实现了PartialEq。
- 浮点数无法实现Eq或Ord，因为NaN违反了自反性和全序性。
- 派生PartialEq、Eq、PartialOrd和Ord特性有助于生成符合规则的实现。
- 比较操作被用于运算符、排序以及BTreeMap和HashMap等集合类型。
- 性能考量包括优先使用小型固定大小的键，以及在派生Ord时优化字段顺序。
- 自定义类型可能需要手动实现比较特性以匹配领域特定的语义。
- 浮点数需要特殊处理，例如使用total_cmp方法实现确定性排序。
- 理解部分比较与完全比较的区别对于编写健壮且符合Rust惯用法的代码至关重要。
Myna: Monospace typeface designed for symbol-heavy programming languages
6 months ago
- Myna是一款等宽字体，其设计理念是将符号视为首要字形，确保在编辑器中的和谐显示。
- 特色功能包括：符号优先设计、近乎完美的对齐、均衡的字重、极简的形态以及清晰的区分度。
- 专为编程设计，提供适用于Perl的简洁标记符、Haskell的优雅运算符以及C语言的清晰符号。
- 当前版本为单一字重且无连字设计，未来可能扩展更多功能特性。
- 提供Linux和macOS系统的安装指南。
- 采用SIL开源字体许可证1.1版授权。
- 欢迎社区贡献，包括错误报告和功能建议提交。
Why is Zig so Cool?
6 months ago
- Zig被描述为一种革命性的编程语言，它提供了一种超越单纯替代C或C++的全新编程范式。
- Zig编译器具备编译C代码和跨平台交叉编译的能力，这一独特功能被强调为具有重大影响力。
- Zig编译器的安装过程简单明了，文档详细提供了Windows系统下的环境变量配置步骤。
- 文章阐释了Zig的变量声明语法，重点介绍了类型推断机制和`pub`关键字的可访问性控制功能。
- 通过匿名结构体字面量和结构体声明的示例，展示了Zig中结构体初始化的使用方法。
- 深入探讨了Zig的位域和指针特性，包含声明和操作这些数据类型的代码示例。
- 详细说明了Zig中数组的初始化与操作方法，涉及循环使用和指针运算等关键技术点。
- 文章演示了Zig在编译期执行代码的能力，例如使用带标签的break语句进行数组初始化的案例。
- Zig函数默认具有静态属性，通过`pub`关键字实现跨文件访问，并引入了内联函数的概念。
- 展示了Zig结构体可包含方法的特性，以栈的实现为例，详细说明了构造函数和成员方法的定义方式。
- 构建Zig可执行程序需要定义`main`函数，文档提供了完整的编译命令说明。
- Zig的测试模块支持独立测试功能，无需创建可执行文件即可验证模块功能，文中给出了实用案例。
- 通过`@breakpoint()`调试指令简化调试流程，无需植入调试符号即可检查变量状态，保持可执行文件精简。
- 探索了Zig的底层编程特性，包括数独网格验证中的位操作技术和错误处理机制。
- 文章最后强调Zig的健壮性、卓越性能以及编译期执行等独特优势，认为其相较解释型语言具有显著优势。
Make yourself a Voxel Engine THIS weekend
6 months ago
- 从零开始创建体素引擎的简介。
- 要求：掌握自有编程语言和渲染API。
- 从渲染单个立方体开始，逐步扩展到体素世界。
- 通过使用网格和区块来优化性能。
- 实现平坦地形的世界生成。
- 添加多种体素类型（如泥土、石头）以增加多样性。
- 通过仅绘制可见面来优化网格生成。
- 添加射线投射交互功能，实现方块的放置和移除。
- 为玩家移动实现AABB碰撞检测。
- 用3D数组替代哈希表存储体素数据以提高性能。
- 进一步开发的挑战：重力、程序化地形、存档读取等。
C++ move semantics from scratch (2022)
6 months ago
- C++中引入移动语义是为了解决复制大型数据结构时的低效问题，通过允许从一个对象'窃取'数据到另一个对象来实现。
- 右值引用(&&)在C++11中引入，用于区分可以移动的对象（临时对象或即将销毁的对象）和不能移动的对象（左值引用）。
- std::move函数是一个工具，将对象转换为右值引用，表示它可以被移动，但本身并不执行移动操作。
- 移动语义是基于约定的；语言鼓励从右值引用移动数据，从左值引用复制数据，但这并不是由编译器强制执行的。
- 移动后使用是C++中常见的陷阱，即对象在其资源被移动后仍被使用，导致未定义行为。
- C++移动语义的替代方案包括C语言的显式移动函数和Rust的默认移动加显式复制，它们在安全性和复杂性上提供了不同的权衡。
Syntax and Semantics of Programming Languages
7 months ago
- 该文本列出了名为《编程语言的语法与语义》一书的章节和附录。
- 包含第1至13章，两个附录（A和B），以及标题页、前言、目录、参考文献和索引等附加部分。
- 提及Acrobat（pdf）阅读器及Ken Slonneger个人主页的链接。
Forth – is it still relevant?
6 months ago
- Forth语言因C语言更广泛的吸引力、标准化和支持生态而落败
- Bill Muench为简化教学目的创建了eForth
- 字典被建模为单词数组以便于搜索和执行
- 数据栈和返回栈通过带push/pop方法和索引的数组实现
- 不包含词汇表或元编译以聚焦核心概念
- 5.0版本引入了多线程和消息传递机制
- 线程池默认大小设为CPU核心数
- 消息传递采用pthread互斥锁实现同步
- eForth核心用C/C++实现以支持跨平台
- 代码对象表示Forth单词，包含名称、执行令牌和参数字段
- 多态类扩展了字面量、变量、字符串和分支等代码类型
- 内部解释器通过递归或lambda函数执行单词
- 外部解释器负责字典搜索及处理编译/执行
- 数组实现与传统Forth内存访问方式不同
- 动态数组支持变量扩展和代码自变形
- 现代Forth实现追求更少代码量以提高可及性
- 多线程支持包含任务创建、启动、连接和消息传递
- 性能基准测试比较不同线程与内存模型
- 资源受限设备需考虑C++标准库的内存管理
- 重构工作聚焦跨平台兼容性与性能优化
Zig and the design choices within
6 months ago
- Zig并非内存安全语言，也无意实现内存安全，这使其在现代编程语言中成为显著短板。
- 统计数据显示，内存安全问题占安全漏洞比例高达70%，凸显内存安全的重要性。
- Zig的泛型实现方式非常规且缺乏标准化，可能导致代码可读性问题。
- Zig的编译期(comptime)功能强大但过于复杂，相比简单替代方案实际优势有限。
- Zig的类型转换（特别是浮点到整型转换）不仅繁琐，还可能引发未定义行为。
- Zig的结果位置语义存在反直觉行为，在结构体成员交换时尤为明显。
- Zig编译器速度慢于Clang，不过新的后端实现显示出性能提升潜力。
- Zig的构建系统设计混乱且文档不足，尽管其创新性地使用了Zig语言自身实现。
- Zig缺乏一流语言服务器支持，这限制了其实用性和推广潜力。
- Zig社区有时显得不够包容，存在未经充分考虑就驳回用户关切的现象。
Writing a C Compiler, in Zig
6 months ago
- 在创作西班牙海鲜饭系列文章时撰写的文章，灵感来自Nora Sandler的《编写C编译器》
- 目的是学习Zig语言，并在失业期间拖延求职
- 未进行重大编辑，仅修复了失效链接
- 章节涵盖从一元运算符到链接等各类编程概念
- 若书籍项目继续推进，可能会新增更多文章
The joy of rediscovering Perl – Eskild Hustvedt
6 months ago
- 作者重新发现了Perl编程的乐趣
- Perl是作者的第一门编程语言，通过《Learning Perl》第三版学会
- 选择Perl是因为当时Mandrake Linux系统使用它，而作者正参与该发行版贡献
- 作者第一份长期编程工作就使用Perl
- 后来逐渐转向JavaScript等语言，但仍用Perl编写脚本
- 近期NPM的问题让作者怀念Perl通过发行版包管理器管理依赖的方式
- 作者决定用Perl编写静态网站生成器，过程充满乐趣
- Perl的'strict'模式和'state'变量等特性让编码更安全便捷
- Perl已进化出子程序签名、内置try/catch等新特性
- Perl在运行时和编译时都很快，这对客户端程序很重要
- 作者基于Perl的静态网站生成器BoringSSG进展顺利
- Perl在保持核心优势的同时逐年改进
- 作者建议重新尝试Perl或其他曾经喜爱的语言，重拾编程乐趣
Welcome, the entire land - "Hello, world!" in hieroglyphics
6 months ago
- 参加了在英国布莱顿举办的dConstruct网络会议，并与朋友共度时光。
- 参观了皇家行宫，这是一座受印度建筑启发的英国异域风格建筑。
- 注意到一个名为'埃及人'的展览，其中的象形文字翻译准确无误。
- 发现一位朋友能读懂古埃及象形文字，由此萌生了制作T恤的创意。
- 提议用象形文字设计'Hello World'主题T恤，尽管缺少字母'L'的对应字符。
- 与埃及学家合作，将'Hello World'翻译成古埃及语'欢迎，这片完整的土地'。
- 将这个象形文字短语设计并印制在T恤上，完成了一个极客风格的独特项目。
- 公开分享了该设计，鼓励大家自由使用这个创意。
Collapse OS – Why Forth?
6 months ago
- Collapse OS最初是用Z80汇编编写的，但用户反馈建议改用Forth语言作为替代方案。
- Forth语言与Collapse OS的设计目标高度契合，特别是在代码紧凑性和简洁性方面。
- Forth的表达能力或运行速度未必优于C语言，但其在精简性和高级抽象层面表现卓越。
- Forth的极简特性使Collapse OS能以类似Z80汇编的极少资源实现自举托管。
- Forth倡导的极简主义有助于控制复杂度并降低认知负荷。
- 阅读Forth代码可能因高认知负荷而具有挑战性，但编写过程能培养简洁规范的编程思维。
- Forth崇尚的简约约束文化与现代技术堆砌复杂度的趋势形成鲜明对比。
- 配合编译时工具链，Forth的表达能力可媲美甚至超越C语言，且无需显著运行时开销。
- 作者对Forth的认知随实践深入而演变，最终认同其在表达力与简洁性上的独特优势。
.NET 10
6 months ago
- .NET 10 作为迄今最高效、现代、安全、智能且性能卓越的版本正式发布。
- 这是长期支持(LTS)版本，技术支持将持续至2028年11月10日。
- 关键改进包括JIT编译器增强、硬件加速和运行时优化。
- C# 14引入了字段支持属性、扩展属性和一流的Span<T>转换等特性。
- F# 10通过语言改进和核心库更新，着重提升代码清晰度、一致性和性能。
- .NET 10类库通过后量子加密增强安全性，并通过WebSocketStream改进网络功能。
- Aspire 13通过现代化工作流简化了可观测、生产就绪的分布式应用构建。
- AI能力通过Microsoft Agent框架、AI构建模块和模型上下文协议(MCP)得到扩展。
- ASP.NET Core改进包括自动内存池回收、通行密钥支持和增强的Blazor状态管理。
- Entity Framework Core 10新增向量搜索、增强JSON支持和复杂类型处理功能。
- Windows开发通过WinUI 3、WPF和WinForms改进得到增强。
- Visual Studio 2026整合了AI驱动的开发工具、调试增强功能和现代化UI更新。
- GitHub Copilot和VS Code的C#开发工具包提供AI辅助编码和流畅的开发体验。
- .NET 10 SDK包含CLI增强、SLNX解决方案格式和NuGet安全性改进。
Nimony v0.2 – early preview of Nim 3.0's compiler
6 months ago
- Nimony v0.2 是 Nim 语言变种的早期预览编译器，目标发展为 Nim 3.0版本
- 聚焦 Aufbruch 模式：基于析构器的内存管理(ARC)、以值为核心的语义、可预测的代码生成、插件式元编程
- 支持基础程序开发，具备可用核心功能，面向希望测试语言基础功能的开发者
- 示例程序：250行代码的井字棋游戏（含AI），使用raylib图形库
- 已移植多个标准库模块，提供全面的功能支持
- 多数语言特性已实现（包括方法和动态多态），并能快速修复错误
- 常见问题：类型解析错误（但不会阻塞程序开发）
- 暂未实现大小写不敏感的标识符（因AST节点大小写格式异常被注意到）
- 使用AI聊天机器人（如GPT5-high）理解当前能力并指导测试
- 模板和复杂常量可能失效，但插件系统提供了可靠替代方案
- 鼓励社区参与：测试、提交错误报告、提问、PR贡献及通过Open Collective赞助
Creating minimal music with code in any programming language
6 months ago
- 文章演示了如何通过代码创作极简音乐，使用一个简单的C语言程序将文本乐谱转换为可播放的旋律。
- 数字音频被解释为表示声波振幅采样值的字节数组，并讨论了采样率和振幅量化的概念。
- 介绍了多种振荡器波形（锯齿波、方波、正弦波）及其在C语言中的实现方法，用于生成音符。
- 描述了一种通过随机数据数组和平滑处理来模拟弦乐音色的方法。
- 利用步进音序器随时间改变音高来演奏旋律，并提供了一个示例即兴段落。
- 文章包含了对初始C语言旋律播放器的去混淆版本，详细解释了其工作原理。
- 介绍了Bytebeat这种使用简洁C语言表达式创作的利基音乐流派，并附有示例。
- 演示了低通滤波器和延迟线等简单音效技术来增强音频输出效果。
- 文章最后暗示了未来将探讨1比特音频等话题，并邀请读者参与贡献内容。
Just call clone (or alias)
6 months ago
- 提案引入'直接调用clone（或别名）'来简化Rust的引用计数操作
- 编译器将消除冗余的clone/别名调用，并自动在移动闭包中捕获它们
- 旨在通过标准化clone/别名调用来简化修复'使用已移动值'错误的心智模型
- 引入'最后一次使用转换'优化机制，尽可能用移动操作替代不必要的clone/别名
- 设计为零成本抽象，确保未使用特性不会产生性能损耗，已使用特性达到最优性能
- 解决了关于显式捕获条款的担忧，以及闭包/future中别名创建时机的微妙问题
- 包含详细的FAQ，涵盖潜在边界情况、执行顺序的微妙性以及对析构时机的影响
- 提案强调底层控制与使用便捷性之间的平衡，同时面向Rust新手和经验丰富的开发者
Learn Prolog Now
6 months ago
- 《Learn Prolog Now!》是一门Prolog编程入门课程，自2001年起在线提供，现已推出修订版书籍形式。
- 该课程设计自成体系、清晰易懂，适合初学者和自学，配有练习帮助掌握Prolog基础知识。
- 强调Prolog的实践性，建议使用Prolog解释器并完成实践课程以获得更好学习效果。
- 鼓励在课程材料之外积极编程以提升技能。
- 欢迎用户反馈，无论是自学还是教学用途，以便未来改进。

Hasty Briefsbeta

#programming

Parsing Chemistry

Actor Programming Language

You Should Write An Agent

Comparison Traits – Understanding Equality and Ordering in Rust

Myna: Monospace typeface designed for symbol-heavy programming languages

Why is Zig so Cool?

Make yourself a Voxel Engine THIS weekend

C++ move semantics from scratch (2022)

Syntax and Semantics of Programming Languages

Forth – is it still relevant?

Zig and the design choices within

Writing a C Compiler, in Zig

The joy of rediscovering Perl – Eskild Hustvedt

Welcome, the entire land - "Hello, world!" in hieroglyphics

Collapse OS – Why Forth?

.NET 10

Nimony v0.2 – early preview of Nim 3.0's compiler

Creating minimal music with code in any programming language

Just call clone (or alias)

Learn Prolog Now