<?xml version="1.0" encoding="utf-8"?>
<feed xmlns="http://www.w3.org/2005/Atom">
  <author>
    <name>Lamina-dev</name>
  </author>
  <generator uri="https://hexo.io/">Hexo</generator>
  <id>https://lm-lang.org/</id>
  <link href="https://lm-lang.org/" rel="alternate"/>
  <link href="https://lm-lang.org/atom.xml" rel="self"/>
  <rights>All rights reserved 2026, Lamina-dev</rights>
  <subtitle>可编程的数学环境</subtitle>
  <title>Lamina</title>
  <updated>2026-05-16T12:23:58.985Z</updated>
  <entry>
    <author>
      <name>Lamina-dev</name>
    </author>
    <category term="半月报" scheme="https://lm-lang.org/categories/%E5%8D%8A%E6%9C%88%E6%8A%A5/"/>
    <category term="半月报" scheme="https://lm-lang.org/tags/%E5%8D%8A%E6%9C%88%E6%8A%A5/"/>
    <content>
      <![CDATA[<h2 id="完成事项"><a class="header-anchor" href="#完成事项">#</a>完成事项</h2><ul><li>LMCAS<ul><li>矩阵化的多项式处理的探索（排除这个方向）</li></ul></li><li>LMMC<ul><li>类型系统抽象</li><li>移除高级求解器迭代过程中的动态内存分配</li><li>完成通用矩阵乘法分块和展开优化</li><li>稀疏矩阵支持</li><li>COO 格式动态构建器</li><li>日志</li><li>修正近似相等的错误</li></ul></li><li>LAMMP<ul><li>弃置MASM，改用NASM</li><li>重写核心算子</li><li>汇编采用BMI2 指令集</li><li>高效的二进制求逆<ul><li>不平衡与分治情况下的高精度平衡二进制逆元计算（<code>lmmp_binvert_n_dc_</code>）</li><li>引入梅森数模乘法</li></ul></li><li>高效的取模<ul><li><code>lmmp_mod_1_</code> / <code>lmmp_mod_2_</code>算子</li><li>更小的质因数分解缓冲区估算上界</li></ul></li><li>高效的素性检验<ul><li><code>next_prime_ulong</code> / <code>prev_prime_ulong</code>快速上、下素数查找例程</li><li>Miller-Rabin 素性检验的3,5,7,11余数掩码表<code>trial_div35711</code></li></ul></li></ul></li></ul><h2 id="计划事项"><a class="header-anchor" href="#计划事项">#</a>计划事项</h2><ul><li>LMCAS<ul><li>继续探索矩阵化的多项式处理方法</li></ul></li><li>LMMC<ul><li>待定</li></ul></li><li>LAMMP<ul><li>略</li></ul></li><li>LMVM<ul><li>略</li></ul></li><li>Lamina<ul><li>略</li></ul></li></ul><h2 id="订阅"><a class="header-anchor" href="#订阅">#</a>订阅</h2><p><a href="https://lm-lang.org/atom.xml">RSS</a><br>| <a href="https://discord.gg/AzSFWuMFsY">Discord</a></p>]]>
    </content>
    <id>https://lm-lang.org/blog/MayA/</id>
    <link href="https://lm-lang.org/blog/MayA/"/>
    <published>2026-05-16T15:23:00.000Z</published>
    <summary>
      <![CDATA[<h2 id="完成事项"><a class="header-anchor" href="#完成事项">#</a>完成事项</h2>
<ul>
<li>LMCAS
<ul>
<li>矩阵化的多项式处理的探索（排除这个方向）</li>
</ul>
</li>
<li>LMMC
<u]]>
    </summary>
    <title>五月-A</title>
    <updated>2026-05-16T12:23:58.985Z</updated>
  </entry>
  <entry>
    <author>
      <name>Lamina-dev</name>
    </author>
    <category term="介绍" scheme="https://lm-lang.org/categories/%E4%BB%8B%E7%BB%8D/"/>
    <category term="Lamina" scheme="https://lm-lang.org/tags/Lamina/"/>
    <category term="介绍" scheme="https://lm-lang.org/tags/%E4%BB%8B%E7%BB%8D/"/>
    <content>
      <![CDATA[<h2 id="为什么会有-Lamina"><a class="header-anchor" href="#为什么会有-Lamina">#</a>为什么会有 Lamina?</h2><p>Lamina 项目最早始于2024年11月份，最初名称为MEDScript（MathEmatics DeScription）使用Python编写，目标为设计一款直至目前处于前概念阶段的硬件计算器提供系统主程序，后续从Python转向C++，在2025年5月份时确定了最早版本（也就是目前Lamina-dev/Lamina仓库的版本）的主要架构（现称之为Legacy Lamina）。</p><h2 id="目前的境况"><a class="header-anchor" href="#目前的境况">#</a>目前的境况</h2><p>Lamina 最早所宣传的是“精确数学计算编程语言”，随着开发的深入，我愈发感觉到“精确数学计算编程语言”这个定位是模糊的、不明确的，目前定义为“可编程的数学环境”。提供一个完整的，轻量的基本数学环境，不依赖任何庞大的第三方库或商业软件。目前主仓库的动作停滞近半年，导致外界认为此项目已经“死亡”，但事实并非如此。主仓库的静默是我们因为意识到，在没有坚实的底层支撑之前，任何上层语法的构建都是空中楼阁。目前，项目的重心已全面转向核心组件的开发。对那些期待Lamina投入实用而等待已久的支持者，我表示诚挚的歉意。但这并非放弃，由于我们低估了实现“精确”所需的底层工程量。<br>我们发现，如果在现有的、基于某个根据时间的协定所仓促开发的成果上继续堆砌功能会使得Lamina变成一个臃肿的、维护麻烦的项目，为了实现新的Lamina，目前我们将精力全部拆解到了以下四个并行的子项目中：</p><ul><li>LAMMP: 底层计算库</li><li>LMMC: 重新编写的数值计算内核</li><li>LMCAS: 符号计算引擎</li><li>LMVM: 虚拟机</li></ul><h2 id="为什么选择自己开发？"><a class="header-anchor" href="#为什么选择自己开发？">#</a>为什么选择自己开发？</h2><p>很多人问：为什么不用 MatLab, SageMath, 或者 Giac + MicroPython？<br>答案只有一个：为了拥有更高的上限。依赖 Python 层（NumPy/SymPy）意味着性能和语义被锁死在别人的框架内。我们要做的不是一个库，而是一个独立环境。</p><h2 id="后续计划"><a class="header-anchor" href="#后续计划">#</a>后续计划</h2><p>前文提到，在过去的几个月里，Lamina 的开发进入了一个相对沉默的阶段。<br>这并不是因为项目停滞，而是因为大量工作集中在底层和试验，这些内容难以被快速展示，也难以用零散的提交记录去表达。<br>但这带来了一个问题，外界无法判断项目的真实进展。<br>因此，我们决定从现在开始，引入固定节奏的开发记录。<br>从本篇开始，Lamina 将以半月为周期发布开发日志。每一期内容不会刻意包装成果，而是尽可能真实地记录：</p><ul><li>当前正在解决的问题</li><li>这半个月的进展</li><li>设计的改变</li><li>下一阶段的目标<br>这既是对外的说明，也算作对开发节奏的一个约束。因为都是学生，业余时间不会太多，每一篇的长度不会太多，我相信对于一个仍在构建基础的项目而言，公开过程让人总是能看到进展是令人振奋的。<br>如果你对Lamina感兴趣，订阅RSS(<a href="https://lm-lang.org/atom.xml">https://lm-lang.org/atom.xml</a>)或者加入我们的<a href="https://discord.gg/AzSFWuMFsY">Discord服务器</a>，让你能持续收到开发进度！</li></ul>]]>
    </content>
    <id>https://lm-lang.org/blog/hellolamina!/</id>
    <link href="https://lm-lang.org/blog/hellolamina!/"/>
    <published>2026-05-04T15:23:00.000Z</published>
    <summary>
      <![CDATA[<h2 id="为什么会有-Lamina"><a class="header-anchor" href="#为什么会有-Lamina">#</a>为什么会有 Lamina?</h2>
<p>Lamina 项目最早始于2024年11月份，最初名称为MEDScript（MathEma]]>
    </summary>
    <title>Hello, Lamina!</title>
    <updated>2026-05-16T12:23:58.985Z</updated>
  </entry>
</feed>
