热门标签：
Mac 多显示器 显示器扩展 requests patch 并发 Alpine Linux BSD Linux 电动汽车 全部标签

深入浅出伽罗瓦域：面向计算机科学家的抽象代数教程

2025-06-21

本系列教程将循序渐进地讲解抽象代数，特别是伽罗瓦域（有限域）及其在计算机科学中的应用。作者认为现有资源要么过于简化，要么过于晦涩，难以被计算机科学家理解。本教程将采用循序渐进、实践结合的方式，并辅以Rust代码示例，帮助读者掌握抽象代数的概念和应用，例如Reed-Solomon码、AES加密等。教程目标是易于理解和学习，而非追求代码优化。

阅读更多
(xorvoid.com)
开发 伽罗瓦域

Forsp：一种 Forth 和 Lisp 的混合 Lambda 演算语言

2024-06-11

Forsp 是一种将 Forth 和 Lisp 结合起来的新型编程语言，它基于 Lambda 演算，语法类似 Lisp，使用 S 表达式，函数抽象也类似 Lisp，但函数应用像 Forth。Forsp 拥有类似 Lisp 的环境结构和词法作用域闭包，使用 Cons-cell、列表和原子，并像 Forth 一样使用值/操作数堆栈。它能够表达 Lambda 演算，采用按值传递调用顺序，只有三个语法特殊形式：'、^、$，只有一个求值时特殊形式：quote，只需要 10 个基本函数即可自我实现。

阅读更多
(xorvoid.com)
80
未分类 Lambda 演算 Forsp