Hasty Briefsbeta

全部标签

#programming

共 778 篇

双语

Amp Free
7 months ago
- Amp推出由广告和训练数据共享支持的全新免费模式
- Amp Free整合了系统提示、工具及顶尖开源/前沿模型
- 模型技术的最新进展使得Amp Free能以优质平价的计算资源实现
- 广告收入支撑Amp免费服务，并根据用户代码库进行精准投放
- 模型组合包含开源模型、前沿模型及可能经过脱敏处理的预发布模型
- 使用免费服务需授权训练用户数据，可随时选择退出
- 目标是让自主编程技术惠及所有开发者
- 广告系统独立运行，不会影响Amp的应答内容
- 设有使用限制，包括速率限制和工作区约束
- 若需限制注册，Amp将优先保障现有用户权益
More About Jumps Than You Wanted to Know
7 months ago
- 这篇文章是关于x86-64汇编编程系列的一部分，重点介绍跳转和程序流程控制。
- 讨论了无条件跳转（jmp）及其各种编码方式，包括相对跳转和绝对跳转。
- 解释了位置无关代码的概念以及地址空间布局随机化（ASLR）带来的挑战。
- 介绍了call和ret指令，详细说明它们如何管理函数调用和返回。
- 讲解了syscall指令，说明其在系统调用中的作用以及Windows和Linux系统下的区别。
- 详细介绍了比较操作（cmp）和条件跳转（jz、jnz、ja、jb等），这些是实现if语句和循环的关键。
- 提供了一个用汇编语言编写的循环示例，用于计算斐波那契数列。
- 最后给出了进一步学习的建议和致谢。
A JavaScript engine written in Zig
7 months ago
- Kiesel 是一个用 Zig 编写的 JavaScript 引擎，旨在全面支持 ECMAScript 标准。
- 采用自定义字节码虚拟机和运行时，依赖 bdwgc 等库实现垃圾回收功能。
- 提供简易命令行界面支持交互式执行/文件解释，设计目标可嵌入其他项目。
- 当前处于早期开发阶段，大量功能尚未实现；贡献代码需提前沟通。
- 构建选项支持自定义配置，包括启用特定 ECMAScript 功能和依赖项。
- 使用方式涵盖直接执行代码、调试及打印抽象语法树/字节码等多种输出。
When if is just a function
7 months ago
- 在Python中，'if'和'for'等控制结构是特殊语法，无法被修改或作为参数传递。
- REBOL、Red和Rye等语言将控制结构视为普通函数，从而实现一致性、灵活性和可扩展性。
- 一致性：控制结构与其他函数遵循相同模式，消除了特殊语法例外。
- 灵活性：函数可以被组合、传递和混合使用，这些能力也延伸至控制结构。
- 可扩展性：用户可以创建自己的控制结构，因为它们只是普通函数。
- Rye通过示例展示了这一点：例如'if'是一个接收条件和代码块的函数。
- Rye中的代码块是值，除非明确要求否则不会执行，这使得控制流可由函数处理。
- 单一模式：Rye中所有构造都遵循相同形式——函数名后接参数（部分参数是代码块）。
- 一致性与灵活性：'loop'和'for'等函数可被组合或管道传递，这与Python基于语法的控制结构不同。
- 高阶控制流：函数可作为参数传递，从而支持自定义控制结构。
- 可扩展性：用户可以创建如'unless'和'until'等自定义控制结构。
- 性能与工具链：虽然Rye的方式可能有运行时开销，但通过专注于函数调用简化了优化和工具开发。
- 权衡取舍：Python的特殊语法支持编译时优化和专属IDE功能，而Rye的统一性为优化和工具链提供了简洁性。
The IDEs we had 30 years ago ... and we lost
7 months ago
- 作者回顾了20世纪80年代末至90年代初基于文本的集成开发环境（IDE），认为它们优于现代IDE。
- 早期的DOS程序采用全屏文本用户界面（TUI），支持鼠标操作、彩色显示和阴影效果，具有出色的直观性和可探索性。
- Borland Turbo系列（Turbo C++、Turbo Pascal）是典范级IDE，集语法高亮、编译器、调试器和参考手册于一体，且体积小巧。
- 90年代初的Linux系统缺乏全屏TUI，只能依赖Vim和Emacs等晦涩的编辑器，其用户体验远逊于Borland产品。
- 现代TUI编辑器（如Neovim、Doom Emacs和Helix）虽具备类IDE功能，但仍无法复现早期IDE的高度集成化与直觉化体验。
- TUI IDE在远程工作、资源受限环境或图形化IDE（如VSCode）不适用时仍具独特价值。
- 作者批评现代软件臃肿现象：Borland Turbo C++体积不足9MB，而当代Doom Emacs和VSCode等工具资源消耗呈数量级增长。
- 尽管在功能和语言支持方面有所进步，现代IDE与30年前的先驱相比未有本质突破——除了新兴的AI辅助编程功能。
Free Programing Books
7 months ago
- 该网页提供了一个可搜索的免费编程书籍清单，最初克隆自StackOverflow，现由自由电子书基金会维护。
- 这个清单是GitHub上最受欢迎的仓库之一，包含按编程语言和类型分组的多种语言书籍。
- 自由电子书基金会作为非营利组织管理该仓库，并接受美国境内可抵税的捐赠。
- 鼓励贡献者遵循提供的CONTRIBUTING指南和行为准则。
- 该仓库还包含免费播客、视频教程及基于浏览器的编程环境。
- 志愿者已将贡献指南和行为准则翻译成多种语言，欢迎继续参与翻译贡献。
- 所有仓库文件均采用CC BY许可协议授权。
Why every Rust crate feels like a research paper on abstraction
7 months ago
- Rust的生态系统因过度使用抽象而受到批评，这使得简单任务变得复杂。
- 像nalgebra和bevy这样的库功能强大，但对于典型用例来说往往过度设计。
- Rust社区分为两派：一派优先考虑优雅的抽象，另一派则更看重简洁性和实用性。
- 在Rust中过度设计虽然有趣，但可能会妨碍代码的理解和维护。
- 作者主张编写更简单、更易于理解的代码，而不是默认使用复杂的抽象。
- 建议将‘转到定义’保持有用作为保持代码清晰的经验法则。
- 这篇文章反映了作者个人从过度设计到欣赏更简单代码解决方案的心路历程。
Naming code, the value-identity relation
7 months ago
- 命名是计算机科学中两大难题之一，另一个是缓存失效问题。
- 名称作为间接层或抽象层，对管理软件开发中的复杂性至关重要。
- 软件工程需要创造大量名称，但计算机科学教育中很少深入探讨命名问题。
- Clojure的`def`会创建一个以符号为标识的全局变量，该符号在求值时会被其值替代。
- Clojure.spec的`def`使用带命名空间的关键词作为标识，这与Clojure使用符号的`def`不同。
- 本文探讨了为`clojure.spec/keys`使用复合标识的想法，以避免为每个键组合单独定义规范。
- 示例展示了如何基于命名空间关键词的组合定义规范，而无需创建新的命名规范。
Creating an Igcse Pseudocode Interpreter
7 months ago
- 介绍beancode，一个IGCSE伪代码解释器。
- 特性包括小写关键字、文件包含、FFI模块和自定义作用域。
- 新增内置函数、类型转换和类型推断功能。
- 支持数组和矩阵字面量。
- 特殊限制包括CASE OF语句的局限性和文件I/O问题。
- REPL功能包含变量检查和解释器状态管理。
- 性能因Python实现而异，PyPy能带来显著提升。
- 未来计划包括开发完整的编译器和字节码虚拟机。
I'm a principal engineer at Microsoft. I barely program anymore
7 months ago
- 作者回顾其30年编程生涯，认为人工智能的发展将很快使人类编程失去存在价值
- 传统编程需要深刻理解机器、语言和问题解决能力，需持续学习以应对复杂性和权衡取舍
- GPT-3和Claude Code等AI工具的出现，已证明人工智能能高效解决编程任务，对人类程序员的存在必要性提出挑战
- 微软Amplifier项目展示AI具备从设计到实现的自主软件开发能力，并能随时间推移持续学习改进
- 作者经历存在主义危机，开始质疑程序员未来角色，因AI已开始自动化问题解决和软件开发过程
- 尽管最初持怀疑态度，但AI在编程领域的快速进展表明，人类编程被淘汰的时间线比预期更短
- 作者思考AI在社会中的广泛影响，包括解决社会层面问题的潜力，同时艰难面对这一趋势对自身程序员身份认同与职业遗产的冲击
Practical Scheme
7 months ago
- 用于将Scheme作为生产工具的库和扩展集合。
- 主要关注系统工程师和程序员所需的工具（例如解析文件、生成报告、GUI封装）。
- 大多数项目为个人开发，处于alpha/beta测试阶段并用于工作场景。
- 不提供任何担保，但致力于让用户更轻松。
- 包含日语页面（含Lisp/Scheme相关文章）及用Scheme实现的Wiki克隆（WiLiKi）。
- 应用与工具：Gauche（R7RS Scheme实现）、WiLiKi（wiki引擎）、Chaton（网页聊天系统）、escm（文本处理工具）。
- 库与扩展：Gauche-gl（OpenGL绑定）、Gauche-gtk2（GTK2绑定）。
- 文档资源：Scheme交叉参考、CommonLisp应用相关文章、实时CG生产中Scheme应用的论文。
- 其他资源：Schemers.org、SCM、SLIB、Bigloo、Guile、scsh、Kawa（基于Java的Scheme系统）。
Fil-C
7 months ago
- Fil-C 是 C 和 C++ 的内存安全实现版本，具有极致兼容性。
- 它通过并发垃圾回收和 InvisiCaps 技术确保内存安全，检查所有潜在的不安全操作。
- 核心特性包括：完全内存安全（无后门漏洞）、与现有 C/C++ 软件高度兼容、基于 clang 的现代化工具链。
- CPython、OpenSSH 和 GNU Emacs 等众多开源程序已适配 Fil-C，支持线程和异常等高级功能。
- Fil-C 编译器采用 Apache 2 许可证，运行时系统使用 BSD 2-clause 条款，标准库支持 musl（MIT 协议）和 glibc（LGPL 2.1）。
- 欢迎通过 Fil-C 的 Discord 社区参与讨论和贡献。
C Undefined Behavior
7 months ago
- 文章探讨了解释编程中未定义行为（尤其是C语言中）的挑战。
- 它指出反复声明某些行为是未定义的却无法说服持怀疑态度、要求合理解释的人，这种困境令人沮丧。
- 作者认为仅引用标准文档是不够的，需要更有效的教育方法。
- 提出通过篮球规则类比等轶事和比喻，帮助怀疑者理解未定义行为的问题本质。
- 文章提到，要在不使用夸张说法或过度技术性解释的前提下传达未定义行为的概念十分困难。
- 最后提及目前正在修订FAQ列表，以期更好地解决关于未定义行为的常见误解。
Drawing Text Isn't Simple: Benchmarking Console vs. Graphical Rendering
7 months ago
- 作者决定通过一个有趣的项目来学习Go语言：重写一个受FAR Manager启发的基于文本的文件管理器。
- 该项目主要聚焦两个核心模块：输入处理（键盘、鼠标）和输出处理（屏幕文本绘制）。
- 在Windows控制台模式下处理输入颇具挑战性，因为其'现代'VT模式存在诸多特殊问题，但最终找到了解决方案。
- 在输出方面，作者对比了多种屏幕文本绘制方法，包括新旧控制台API、GDI、DirectX和Vulkan。
- 基准测试显示GPU渲染（DirectX和Vulkan）在现实场景（白底黑字）表现更优，但在压力测试（随机颜色）中遇到困难。
- 将字符缓存为纹理的方法在压力测试中提速明显，却因灵活性下降导致常规使用场景性能降低。
- 最终选择DirectX直接文本绘制作为最优方案，在速度与灵活性之间取得平衡，同时为未来跨平台方案（如Vulkan）留出空间。
- 作者总结道：屏幕文本绘制远比表面复杂，大多数网络论坛都误解了真正的性能瓶颈所在。
Async DNS Resolution
7 months ago
- Zig的异步DNS解析绕过libc以获得更好的性能和异步性
- Zig引入新构建选项'-Dno-matrix'以加速开发周期
- Zig新增Aarch64后端，性能提升显著
- 即将播出的Zig SHOWTIME节目将讨论2026年Zig发展路线图
- Zig的并行自托管代码生成显著提升编译速度
- 自托管x86后端现已成为Linux和macOS调试模式的默认选项
- 改进后的UBSan错误信息为Zig提供更清晰的调试信息
- 无libc的Zig在某些基准测试中已超越使用glibc的Zig
- 专为Zig分叉的LLDB增强了对自托管后端的调试支持
Computer Science Courses That Don't Exist, but Should (2015)
7 months ago
- 学习在对象层次结构之外创建和使用变量。
- 理解函数的普遍适用性，其比方法更具通用价值。
- 先修要求：熟悉抽象基类相关知识。
- CSCI 3300：研究VisiCalc、AppleWorks和Zork等具有历史意义的软件，重点分析硬件限制下的用户界面设计与创新思维。
- CSCI 4020：编写性能可媲美C++的高速稳健Python代码。
- CSCI 2170：将用户体验原则应用于命令行工具开发，以UNIX系统'ls'命令为案例，聚焦输出信息的相关性与可读性。
- PSYC 4410：探讨程序员特有的执念行为，如代码格式化强迫症、分类学偏执，以及对陌生系统条件反射式的批判倾向。
- James Hague：自1980年代活跃至今的资深游戏设计师，主张培养组织能力与平衡的编程实践，而非单纯追求算法技巧。
- 推荐阅读《非执念编程之道》与《组织力胜过算法魔术》获取洞见。
- 更多历史内容请查阅2012年回顾专刊。
How fast is Java? Teaching an old dog new tricks
7 months ago
- Java通过引入SIMD API和多线程能力等新特性不断演进。
- 文章探讨了Java在粒子模拟挑战中的性能表现，并与Rust进行了对比。
- Java的SIMD API抽象了硬件差异，支持跨CPU架构的向量化操作。
- 尽管Swing被认为过时，但该模拟仍选择使用其作为UI框架，原因是JavaFX配置过于复杂。
- 性能优化措施包括采用线程局部像素缓冲区的多线程技术及SIMD向量运算。
- 在粒子模拟中，Java的运行速度约为Rust的一半，且内存分配方式存在显著差异。
- 文章批评了Java生态系统的不足，尤其是缺乏默认包管理器和构建系统过于复杂。
- 尽管存在缺陷，Java对作者而言具有情感价值，是其首门深入学习的编程语言。
Rouille – Rust Programming, in French
7 months ago
- Rouille允许用法语编写Rust程序，使用法语关键字和惯用语。
- 专为未来法国主权操作系统设计。
- 完全兼容英文版Rust，允许混合使用两种语言。
- 提供的示例展示了Rust编程的法语语法。
- 包含幽默和文化梗，强调趣味性玩法。
- 列出「Rust」一词的多语言翻译。
- 提及许可证：「License Publique Rien à Branler」（意为「关我屁事公共许可证」），戏仿WTFPL的幽默表述。
Vibe Coding in the 90s
7 months ago
- 90年代的编程充满挑战，需要大量阅读和反复试错。
- 一张载有公共领域示例代码的CD-ROM彻底改变了编程方式，为各类应用提供即用型项目。
- 用户通过复制和编译现有项目就能快速创建软件，无需从零开始编写代码。
- 光盘包含从文件解析到声音播放等众多功能的库，使开发更快速便捷。
- 项目附有说明文档（PROMPT.TXT、SPEC.TXT等），帮助用户理解并修改代码。
- 通过更换问题库或阅读提供的架构文件，维护工作变得简单高效。
- 作者惊叹于这种轻松的软件开发方式——比如快速'编写'出《毁灭战士》这样的游戏。
- 未来的编程被设想为对现有组件的组装，而非编写新代码。
Doing my own syntax highlighting (finally)
7 months ago
- 作者在使用了13年默认设置后，决定重新设计博客的语法高亮方案
- 受Nikita Prokopov文章启发，他们采用了极简主义风格，仅突出显示字符串、注释和变量定义等关键元素
- 新配色方案使用红色标注注释，绿色标注字符串，洋红色标注数字和常量，蓝色标注变量定义，灰色标注标点符号
- 作者使用Rouge进行语法高亮，该工具将代码解析为标记并用HTML span标签包裹以便CSS样式控制
- 为专门突出变量定义，作者手动标注代码片段并使用Jekyll插件修改HTML输出
- 新设计使注释更醒目，并采用克制配色方案以提升可读性
- 作者承认语法高亮具有主观性，但认为极简风格最适合博客中的短代码片段
- 这次改版旨在提升可读性，并使代码片段与网站整体设计风格保持一致
- 作者享受个性化博客的创作自由，并在持续改进中获得乐趣

About|Login

#programming

Amp Free

More About Jumps Than You Wanted to Know

A JavaScript engine written in Zig

When if is just a function

The IDEs we had 30 years ago ... and we lost

Free Programing Books

Why every Rust crate feels like a research paper on abstraction

Naming code, the value-identity relation

Creating an Igcse Pseudocode Interpreter

I'm a principal engineer at Microsoft. I barely program anymore

Practical Scheme

Fil-C

C Undefined Behavior

Drawing Text Isn't Simple: Benchmarking Console vs. Graphical Rendering

Async DNS Resolution

Computer Science Courses That Don't Exist, but Should (2015)

How fast is Java? Teaching an old dog new tricks

Rouille – Rust Programming, in French

Vibe Coding in the 90s

Doing my own syntax highlighting (finally)