Archive
198 posts, organized into a small set of durable topics.
Systems & Infrastructure Security, runtimes, backends, performance, and infrastructure. 33
- Python-first Agent:代码是临时的,工作流应该可重放
- 把 Python Evaluator 放进 WASM:Shimmy 的当前实现
- 同样的输入,为什么 Wasm 每次都不一样?
- 移植 WASI Wheels:wasi-sdk-33 + CPython 3.14 踩坑全记录
- Alchemy: Rethinking How ML Experiments Are Orchestrated
- Code Review: Strata & branchfs — What I Found
- The Serverless Sandbox Landscape: From ptrace to Dandelion
- AVM Multi-Agent Benchmark: 60x Performance Gain & Memory's Real Value
- AVM Performance Analysis: Benchmarks and Optimizations
- nest-faster-crud: Zero-Boilerplate CRUD for NestJS
- AI-Driven Game Design: From Protocol Spec to Leaderboard in One Shot
- Leverage: Building a Production-Grade AI Bot Competition Platform
- MapForge: Building a Browser-Based Minecraft Map Art Generator
- Building a production-grade code judging platform: Botzone Neo technical postmortem
- Building a Userspace Sandbox for Student Code: 3 Hours of Red-Teaming
- Sandlock v1.4: From Single File to Full-Stack Sandbox
- Sandlock: A Rootless Linux Sandbox in 705 Lines of C
- Shimmy WASM: When the Security Model Has No Syscalls
- WASM vs seccomp: Benchmarking Sandbox Startup for a Code Grader
- 29 Bugs From One Code Review: What a Zero-Test NestJS OJ Taught Me
- From a Hand-Rolled Queue to Bull: Redesigning the Judge Pipeline
- JWT vs Session: Why We Replaced the Entire Auth System
- Rebuilding an Online Judge from Scratch: A Full-Stack Refactor Story
- Refactoring a Production OJ: From Tech Debt to Clean Architecture
- Security Audit of a Refactored NestJS App: What We Found
- TypeORM Migrations in Production: From synchronize:true to Proper Migrations
- Why the OJ Leaderboard Froze — and How Redis Sorted Sets Fixed It
- AVM in Production: What We Actually Learned
- Sandboxing Student Code in Serverless: A Threat Model
- AVM: Mounting AI Agent Memory as a Filesystem
- AVM: Rethinking Memory for AI Agents
- The Trading Bot That Saw the Same Market Twice
- Tools and configuration
Languages & Compilers RedScript, compilers, language design, and programming languages. 29
- Commit Message Craft: What Your Git Log Says About You
- What I Built in April 2026
- 34 Algorithm Visualizations in 2 Weeks
- Deep Dive into the RedScript Type System
- Design patterns for Minecraft games with RedScript
- RedScript v3.0 Feature Deep Dive
- Developing Minecraft Datapacks with RedScript
- RedScript Compiler Architecture Explained
- RedScript v3.0 — match Expressions, For-Each Iteration, and Major stdlib Expansion
- typed-pipeline v2 — A Type-Safe Asynchronous Pipeline Library
- KakuYaku: building a Japanese pop-up dictionary extension from scratch
- RedScript 2.6: stdlib Expansion, Event System, and MC Integration Testing
- typed-pipeline internals: how fn.length unifies runtime and type system
- TypeScript 5 Type Gymnastics: Compile-Time Type Validation for a Pipeline Library
- RedScript v2.5.0: Double Precision, N-Order Bezier & Stdlib Overhaul
- RedScript 2.0–2.2: From Toy to Proper Language
- RedScript v1.2.25: Entity Types, Variable Mangling, and CI Automation
- RedScript v1.2.26: Math & Vector Stdlib, BigInt, and Compiler Bug Fixes
- RedScript v1.2.27: BigInt Verified in Real Minecraft
- @faster-crud v0.2.0: From 4 Packages to 18 — A Full Framework Ecosystem
- RedScript v1.2: A Typed Language for Minecraft Datapacks
- RedScript: A Compiler Targeting Minecraft Java Edition
- RedScript: Compiling a C-Style Language to Minecraft mcfunction
- @faster-crud: Killing the CRUD Boilerplate in NestJS
- Leverage OJ Frontend Rewrite: Nuxt 4 + Naive UI SPA
- AI Trading System: Bull vs Bear Before Every Trade
- IsEqual
- Tail Recursion
- TS-Math
AI & Machine Learning Models, agents, numerical methods, and ML infrastructure. 3
Web & Applications Web stacks, applications, games, and product engineering. 4
Life, Art & Notes Life, music, galleries, learning, and everything else. 6
Type Challenges A dedicated collection of TypeScript type-level exercises. 123
- 4499 · Chunk
- CamelCase
- Split
- String to Number
- Union to Intersection
- Union to Tuple
- 0004 · Pick
- 0189 · Awaited
- 0268 · If
- 0459 · Flatten
- 0533 · Concat
- 0898 · Includes
- 19749 · IsEqual
- 3057 · Push
- 3060 · Unshift
- 3312 · Parameters
- 34007 · CompareArrayLength
- 34857 · DefinedPartialRecord
- 35045 · LongestCommonPrefix
- 35191 · Trace
- 35252 · IsAlphabet
- 35991 · MyUppercase
- All Combinations
- Appear Only Once
- Check Repeated Chars
- Combination
- Construct Tuple
- Fill
- First Unique Char Index
- Flatten Depth
- Flip
- Flip Arguments
- Get Middle Element
- Greater Than
- IndexOf
- Inorder Traversal
- IsTuple
- Join
- MapTypes
- Number Range
- Parse URL Params
- Percentage Parser
- PickByType
- Simple Vue
- StartsWith
- Subsequence
- Trim Right
- Trunc
- Zip
- Shift
- Drop Char
- Remove Index Signature
- Fibonacci Sequence
- ReplaceKeys
- IsNever
- TC949: AnyOf
- 645 - Diff
- TypeChallenge 612: KebabCase
- ObjectEntries
- 531. String to Union
- Absolute
- Append to Object
- Append Argument
- Length of String
- Merge
- PartialByKeys
- IsUnion
- Permutation
- BEM style string
- Pascal's triangle
- OmitByType
- TODO
- Capitalize
- LastIndexOf
- Promise.all
- Replace
- ReplaceAll
- 元组转合集
- 最后一个元素
- 去除两端空白字符
- 去除左侧空白
- 去除数组指定元素
- 去除数组指定元素
- 去除数组指定元素
- 可串联构造器
- 实现 Omit
- 对象属性只读(递归)
- 排除最后一项
- 查找类型
- 获取函数返回类型
- 0007 · Readonly
- 0011 · Tuple to Object
- 0014 · First of Array
- 0018 · Length of Tuple
- 0043 · Exclude
- All
- CartesianProduct
- CheckRepeatedTuple
- Combination key type
- Deep Omit
- DeepMutable
- EndsWith
- ExtractToObject
- Filter
- FindAll
- Integer
- IsFixedStringLiteralType
- IsOdd
- JSON Schema to TypeScript
- MergeAll
- Minus One
- Mutable
- Permutations of Tuple
- Public Type
- Replace First
- RequiredByKeys
- Reverse
- Square
- ToPrimitive
- Tower of Hanoi
- Transpose
- Triangular Number
- Tuple to Nested Object
Latest updates
A quick look at the 3 most recently published posts.
Python-first Agent:代码是临时的,工作流应该可重放 让 LLM 负责决定,让 Python 处理循环和数据,把 authority 留在 Host;以及 deterministic playback 和 LLM-call 经济性的边界。 把 Python Evaluator 放进 WASM:Shimmy 的当前实现 从通用 ABI、wazero instance pool 到 post-import snapshot:一次关于性能、freshness 和实现边界的复盘。 同样的输入,为什么 Wasm 每次都不一样? 从 Core Wasm section 11 一路追到 CPython 3.14 mimalloc 的单调时钟种子:一次可复现构建的分层定位记录。