计算与生活的艺术
Search
CTRL + K
计算与生活的艺术
Search
CTRL + K
工具教程
Obsidian 的 Callout 使用场景
UNRAID 部署 DDNS 之 DNSPod
如何在 DrRacket 中高效地编辑
如何开启 Ubuntu RDP 远程桌面
我的 Obsidian 设置和使用教程
我的 Surge 配置和使用教程
深入理解 macOS 软件的界面布局和文件系统
谈谈那些我常用的 NAS 服务
汽车电子
CAN 控制器概述
CANoe 学习方案设计
CANoe 推荐的工程结构
Classic AutoSAR Det 调试技巧
Classic AutoSAR SecOC 配置指南
Classic AutoSAR 基础软件层
Cortex-M3 的中断和异常
DoIP 交互通信字节流
DTC 故障码分类说明
EB Classic AUTOSAR 使用指南
ETAS Adaptive AUTOSAR 技术细节剖析
ETAS Adaptive AUTOSAR 简介
IPv4 地址分类及应用分析
Linux 内核简析
Linux 动态库显式加载方法
Linux 包管理工具 aptitude 教程
Linux 文件属性
Linux 是怎样工作的
Linux 目录结构
MAC 层简介:媒体访问控制与冲突解决
NvM 模块架构指南
NXP S32G 以太网加速模块(PFE)简介
RAM 与 FLASH:存储技术的差异与应用
S32G CAN_43_LLCE 调试经验总结
SOMEIP 和 DDS 的差异
UDS 入门指南
UDS 诊断服务总结
UDS 请求及响应格式
VECTOR SIP 包 CAN 模块替换方法
VLAN 在车载以太网中的应用与性能优化
vsomeip 剖析和使用说明
XCP 功能介绍及原理解析
中间件开发中的 Linux 基础命令
中间件开发中的 Linux 高级命令
事件驱动架构分析
信息安全开发工具清单
剖析 UDS 诊断帧
如何利用 DaVinciConfigurator 插件集成 EB
如何搭建 MCU 最小系统
嵌入式开发学习路线
嵌入式的调试原理
嵌入式系统中的链接脚本解析
常见外设通信参数配置详解
搭建 RTSP 视屏推拉流
汽车诊断通信协议层次解析
深入解读 DoIP 协议
深入解读 RTOS 任务切换
深入解读 SOMEIP 协议
深入解读车载时间同步
程序启动代码做了什么
编译器、链接器、调试器:构建项目最小文件集
联合体与位域在嵌入式系统中的应用
芯片多核的基本概念
芯驰 E3 启动及升级机制详解
芯驰 E3 国产 Flash 替换指南
芯驰 E3 烧录的 IAR 配置
表驱动法和状态机架构深入解析
谈 Adaptive AutoSAR 内存管理
谈 Adaptive AutoSAR 运行管理
谈 AUTOSAR 核心思想
谈 RTOS 软件开发理论
谈单片机软件架构
谈静态动态库和显式隐式加载
通信中间件 SOMEIP 与 DDS 部署方案
静动态库的编译和使用教程
生活日志
特斯拉焕新款 Model 3 配件攻略
电煮锅制作鸡爪煲
薪资谈判技巧
西湖周末旅游攻略
高压锅制作银耳羹
编程语言
Languages and Machines(语言与机器)
Lisp 之美:REPL 调试
Scheme 之道
为什么我们需要知道“函数式编程”?
人算不如天算:之微分方程,分子,有限差分方法
人算不如天算:之电脑中的微型大脑
人算不如天算:内存中的进化
什么是函数式编程?
你是如何成为 Lisp 程序员的?
函数式编程与程序的本质
函数式编程扫盲篇
协程的历史,现在和未来
如果 Lisp 如此伟大?
快速建模语言 Racket 概况
数学家系列:从玩具陀螺到终极理论
数学家系列:希尔伯特之梦,以及梦的破灭
数学家系列:数和符号的轨迹:2020年阿贝尔奖解析
数学家系列:有限单群:一段百年征程
数学家系列:纳什:无常命运中的美丽心灵
数学家系列:解构与复原:望月新一与他的证明
符号与机器(一):符号:抽象、语义
符号与机器(三):图灵机的解释
符号与机器(二):符号,计算抽象
符号与机器(五):重新发明 Lambda 演算
符号与机器(四):寻找扫地机🧹
编程范式与语言
计算的极限(一):所有机器的机器,与无法计算的问题
计算的极限(七):宛如神谕
计算的极限(三):函数构成的世界
计算的极限(九):叹息与奋斗
计算的极限(二):自我指涉与不可判定
计算的极限(五):有限的障壁
计算的极限(八):符号的框架
计算的极限(六):无穷的彼岸
计算的极限(十一):黄金时代
计算的极限(十三):数字空间的幽灵
计算的极限(十二):不会出错的程序
计算的极限(十):无限绵延的层级
计算的极限(四):机械计算的圭臬
计算的极限(零):一切从逻辑开始
谈包与命名空间的作用
谈变量的类型
谈符号表达式
谈词法闭包
谈面向对象的本质
高级语言怎么来的(一):一切从递归开始
高级语言怎么来的(七):LISP 语言前传
高级语言怎么来的(三):FORTRAN 语言是怎么来的
高级语言怎么来的(二):虚拟机的前世今生
高级语言怎么来的(五):LISP 语言是怎么来的 – LISP 和 AI 的青梅竹马 B
高级语言怎么来的(六):Scheme 语言是怎么来的
高级语言怎么来的(四):LISP 语言是怎么来的 – LISP 和 AI 的青梅竹马 A
(如何(用Python)写一个(Lisp)解释器(上))
(如何(用Python)写一个(Lisp)解释器(下))
软件工程
C++ 关键概念与实战解析
OB 自动推送公众号插件实现分析
Racket 学习路线图:核心知识与实践指南
Racket 语言入门与实践
什么是 SQL 注入
从蓝牙耳机看软硬件
原型设计和 UI 设计是什么?
如何利用力扣学习算法和数据结构
如何理解 UML 类图
如何设计数据结构
怎样才算一个计算机知识体系完整的毕业生
探究 GCC、LLVM 和 Clang 的渊源
数据结构与算法学习指南
深入理解UML:软件开发中的可视化建模语言
深入理解对称非对称加密和 CA 认证
计算机组成原理与冯·诺伊曼架构
调试器原理揭秘
谈粘包问题
软件开发学习路线
主页
付费
简历
付费
喜欢我的文章的人,可以自愿付费。你可以使用以下方式付款。
支付宝
微信
赞赏名单:
昵称
金额
向往
6.66