构建之法 – 学习笔记

因为是自己边读边记录的,会有些乱 章节 1 概论 讨论了什么是软件工程,小项目跟公司级别的大项目的区别。各种工程化和管理化的方法。 纸飞机、莱特兄弟的飞机、波音747客机的飞机例子举的非常好,让人对大型软件项目有了更深的理解。 这些天我在调制SGLang的时候,也遇到了类似的问题。LLM Serving已经进入到了一个非常复杂的问题境界,如同当年Oracle和MS Server一样复杂,每个公司都

空心的人类

当规律性的科研只剩下发论文、赶进度的“形式”,而抽空了探索欲和好奇心这些“内容”时,工作日就已经是“空心”的了——周末只是这种空心的投影。面对这种极致的割裂,解决之道不是寻找更高效的放松方式,而是让工作日本身重新回归内容。当把“形式”重新嵌入属于你的“内容”(哪怕每天只有半小时思考真正感兴趣的问题)。届时,任何休闲方式都不会焦虑,因为人的存在感不再需要在具体活动中才体验到。 大部分跟agent交互

ICML26 Memarena Agent Memory Benchmark

一句话总结:这篇文章揭示了当前 LLM 智能体在处理长期、复杂交互任务时记忆能力的不足,并提供了一个更具挑战性的评估平台来推动该领域的进步 已有benchmark的特点 Large language model (LLM) agents have two complementary core capabilities: the ability to memorize task-relevant

没有人类了

人之所以为人,是由许多部分组合而成。要成为一个真正的自己,需要的条件会多到让人吓一跳。别于他人的面容、属于自己的声音、睡醒时注视的那双手、童年的回忆、对未来的猜想,还不止这些,还有我的电子脑所触及的咨询海洋,是这所有的一切造就了我,让我意识到自我。但同时,也将我拘束在自我当中。——《攻壳机动队》 我们认为,LLM将取代人类。 人类的复杂度似乎还是超乎了我们于AI的想象。我们认为AI将取代人类,因为

Computer Arch 102

项目 从计算机课堂的5级流水线进一步进阶,制作更强大的CPU。 github: https://github.com/HaibinLai/simple-CPU.git 使用指令集:RISC-V 多发射(Superscalar) Superscalar(超标量)是指 CPU 在一个时钟周期里,不再只发射(issue)一条指令,而是同时发射多条彼此独立的指令到不同执行单元。例如一个现代 CPU 可能同

CPP Project1 A “Simple” Calculator

CS205 · C/C++ Programming Project1 Report: A "Simple" Calculator PDF 版本:Project1赖海斌 Github: https://github.com/HaibinLai/CS205-CPP-Programing-Project 摘要 在本次 Project 中,我初步用C 实现了一个简单的计算器,可以简单地

Data Stream Mining

Stream Data is becoming more and more important SGD as an example Problems: Sampling data from a stream Queries over sliding windows APP Question1:Sampling

Docker run Geochem Pi

安装 pip本地镜像问题 apt-get本地镜像问题 部署 部署后端可以选择自动部署 yarn没有安装:yarn install 5173而非3001 启动时为 --host暴露端口 使用版本: 华为云 端口暴露 宝塔Linux ssl证书、Docker管理

Hungarian Algorithm

Hungarian Algorithm Algorithm Design and Analysis (H) Assignment 5 Name: 赖海斌 SID: 12211612 Abstract In this assignment we try to analyze Hungarian algorithm. It’s an efficient algorithm for solving th

人月神话 读书笔记

介绍:本篇为《人月神话》的读书笔记和记录。读书时还参考了别的博主的总结及相关介绍。 人月神话 001 焦油坑 过去几十年的大型系统开发就犹如一个焦油坑,很多大型动物在其中剧烈挣扎,他们中大多数开发出了可运行的系统--不过,其中只有非常少数的项目满足了目标、时间进度和预算的要求。 各种团队,大型的和小型的,庞杂的和精干的,一个接一个淹没在了焦油坑中。表面上看起来好像没有任何一个单独的问题会导致困难,

我们在高中和大学遇到的题目是一样的吗

这篇文章算是自己一年学习的小感悟,也是想给刚入大学的同学们一点思考。 大学一年,学习到很多新知识,新概念,这里边碰到了很多新问题,新题目。在高中,问题的核心,是抓定义,抓套路。但是,大学里边的问题,更多的是探索定义,探索证明。这里边要求我们转变问题思维。 在高中,我们都是做题高手,接受了大量题目的练习后,我们遇到卷子可以拿笔就写,遇到问题直接开动。我常笑我们是做题机器,试卷就是输入,看到第一题立马

离散数学及其应用 有趣的问题

就像写程序一样,我的定理被不断重构,不断升级,最后变成了一座山峰。     第一章 基础:逻辑和证明   比较好的地方在于讨论了很多证明,这些是智力小游戏。比较快乐的是骑士骗子与平民游戏。   1.试讨论逻辑悖论,包括克里特人Epimenides悖论,Jourdain的纸牌悖论,理发师悖论。 2.模糊逻辑是什么?怎样用于实际应用? 3.实际问题中可满足性问题

在路上 读书笔记

“Live, travel, adventure, bless, and don’t be worry.”   “我一辈子都喜欢跟着让我感觉有兴趣的人,因为在我心目中,真正的人都是疯疯癫癫的,他们热爱生活、爱聊天,不露锋芒希望拥有一切,他们从不疲倦,从不讲那些平凡的东西。” 当我第一次看到这句话时,我感受到着实的震撼,在此之前,从来没有人能如此准确说出心中的梦想。在我的生命中,我一直讨厌

系统综合设计 智能电池小车 Final Report

作者:赖海斌 覃仁杰 陈沛安 摘要 在本次SDIM101课程中,我们小组制作了一辆碳纤维锌电池寻轨小车。小车整体结构采用拱形构造,设计上分为多层,上层将压力点化为面,中层电池采用三并两串的接线为小车提供动力,下层主板驱动小车巡线。小组采用预浸料+真空袋的方式制作小车车身,底板上装配电池组,控制上采用PID算法进行巡线。在制作中,我们采用仿真+实验的方式改善小车在巡线与三点弯测试中的效果,并最终在巡