搜索[lean]结果-低调大师优秀个人博客

精选列表

搜索[lean]，共117篇文章

可验证环境：万字长文论述AI智能进化的高效引擎

Lean、Coq等形式化证明助手的发展，为数学建立了一套类似“编译器”的验证机制——一个证明是否正确，不依赖任何人类专家的判断，只取决于它能否通过形式化系统的严格检查。

2026-07-18

FDE工程师：上得厅堂、下得厨房的全栈翻译官

既然FDE靠四大能力立足，学习就顺着这四条线展开——每条都给「学什么」和「怎么练」： **① 产品设计能力 —— 把模糊愿望翻成精确需求** - 学什么：用户访谈、需求建模、MVP 思维、精益画布（Lean

2026-08-11

什么是 DevOps？看这一篇就够了！

微软这篇 Introduce the foundation pillars of DevOps: Culture and Lean Product 我特别喜欢！

2022-08-04

如何在汽车行业运用IPD？

IPD在汽车行业的具体运用汽车精益集成产品开发是汽车企业常用一套产品开发的模式、理念与方法，(Automotive Lean Integrated Product Development，缩写：LiPD

2026-09-03

从银行网点到连锁门店，帧中继曾经怎样撑起企业广域网

utm_source=chatgpt.com) Cisco，Lean Retail Resilient Point-of-Service，包含零售门店 WAN 中真实的 `frame-relay interface-dlci

2026-10-21

JVM随笔分类（java虚拟机的内存区域分配（一个不断记录和推翻以及再记录的一个过程））

字节码指令的介绍（ https://www.javaworld.com/article/2077184/core-java/the-lean--mean--virtual-machine.html）

2019-03-08

从IPD实践者到研发体系架构师（八）:聚焦全生命周期的价值榨取，破解成熟期产品价格战困局

**同时，优化生产流程，推行精益生产（Lean Production）模式，减少生产过程中的浪费（如库存浪费、工序浪费），提升生产效率，降低单位生产成本。

2026-10-28

腾讯云上构建金融 AI Agent 数据层：行情接入、MCP 工具链与多市场容错工程复盘

TradingView Lightweight Charts 官方文档 WCAG 2.2 - Web Content Accessibility Guidelines, W3C QuantConnect Lean.Brokerages.Tastytrade

2026-09-28

GPT-6发布15小时：Altman道歉赔额度，有人已经把活交给它

一个结果把相邻素数间隔的上界从246压到了186，参与者说这是这类结果自1930年代以来第一次被真正推动，团队把证明写成Lean形式化仓库，附带数值证书。

2026-09-04

凯哥讲 AI｜WAIC 2026 - AI为什么不会成长？

Lean-FDE方法论在这里拥有天然优势。精益的核心不是一次性优化，而是通过价值流、快速反馈、问题暴露和持续改善建立组织学习。

2026-07-20

每日一博 | 对抗软件复杂度的战争

《The Lean Product Playbook》- 本书的第2章清晰地解释了 Problem Space 和 Solution Space。

2023-10-22

对抗软件复杂度的战争

《The Lean Product Playbook》- 本书的第2章清晰地解释了 Problem Space 和 Solution Space。

2023-10-19

寻找合适的研发效能度量指标

原文第二章 Measuring Performance: “The elevation of lead time as a metric is a key element of Lean theory.

2022-01-30

《Cloud Native 》云原生技术汇总

. - [LniuxKit](https://github.com/linuxkit/linuxkit) - A toolkit for building secure, portable and lean

2018-03-22

Docker命令使用详解

（译者按：非常类似git里面的版本号) 正确的命令： docker commit 698 learn/ping 运行新的镜像 docker run lean/ping pingwww.google.com

2017-11-14

《Learning Scrapy》（中文版）第8章 Scrapy编程

twisted_developer_day(["Customer %d" % i for i in xrange(15)]) reactor.run() # We are now more lean than

2017-09-22

Agent工作时长已达人类6倍，AI可解释性迈入新阶段｜AI领域一周观察2026w42

** 模型不仅写出了这一无需存储记录的新电路，还自己编写了形式化证明代码，在数学验证器 Lean 中严格证明了该解码恒等式的正确性。

2026-10-22

资源下载

更多资源

Mario

马里奥是站在游戏界顶峰的超人气多面角色。马里奥靠吃蘑菇成长，特征是大鼻子、头戴帽子、身穿背带裤，还留着胡子。与他的双胞胎兄弟路易基一起，长年担任任天堂的招牌角色。

Rocky Linux

Rocky Linux（中文名：洛基）是由Gregory Kurtzer于2020年12月发起的企业级Linux发行版，作为CentOS稳定版停止维护后与RHEL（Red Hat Enterprise Linux）完全兼容的开源替代方案，由社区拥有并管理，支持x86_64、aarch64等架构。其通过重新编译RHEL源代码提供长期稳定性，采用模块化包装和SELinux安全架构，默认包含GNOME桌面环境及XFS文件系统，支持十年生命周期更新。

Sublime Text

Sublime Text具有漂亮的用户界面和强大的功能，例如代码缩略图，Python的插件，代码段等。还可自定义键绑定，菜单和工具栏。Sublime Text 的主要功能包括：拼写检查，书签，完整的 Python API ， Goto 功能，即时项目切换，多选择，多窗口等等。Sublime Text 是一个跨平台的编辑器，同时支持Windows、Linux、Mac OS X等操作系统。

WebStorm

WebStorm 是jetbrains公司旗下一款JavaScript 开发工具。目前已经被广大中国JS开发者誉为“Web前端开发神器”、“最强大的HTML5编辑器”、“最智能的JavaScript IDE”等。与IntelliJ IDEA同源，继承了IntelliJ IDEA强大的JS部分的功能。