看完 DeepSeek Harness 背后的 Cordis paper，锐评一下：

我不质疑这套架构的工程价值，只批判它用 PLT metatheory 做理论 cosplay。论文把 plugin 接口包装成一个 calculus，再把 inverse 正确、effect 独立、依赖无环、执行有限等工程约定作为假设，证明 preservation、composability、progress 和 confluence。给定这些强假设，证明本身难度并不高，接近 PL 课程的课后习题。中间还掺入了不少…

Yesterday, I got 4:54.332 SMB1 ANY% WORLD RECORD!! This run was TAS tie pace to walljump and I lost a frame on the pipe entry, but with a great turnaround room, I was able to clutch out WR by 2 frames! We're now 4 frames / 0.06s from TAS tie, and I won't…

8月15日は終戦記念日

Dmitry.GR: I am often asked to explain my distaste for RISC-V. Here it is.

If you have read the source code of the sync package, you may have noticed that several structs contain an unusual field of type noCopy, such as sync.Mutex, …

最近一个半月又疏忽了博客的更新，但是并不是完全一点东西都没写。在八月底的时候尝试赶 HPCA 结果大失败，之后又完善了一下之前的 P 站爬虫。
其他的时间主要是花在最近糊的另一个站：受杰哥的知识库启发（请大家立刻前往学习！），在四月底的时候自己也尝试做了一个知识库猫咪涂鸦(https://scribble.meow.plus)，主打的特...

捕食

『超かぐや姫！おつかれさま本』PDFが本日（8/15）19時より無料公開
https://dengekionline.com/article/202608/84516

コミックマーケット108で頒布されたスタッフ93名参加のイラスト本。コミケに行けなかった人も、行ったけれども手に入れられなかった人ももうすぐ読める。

Weedy

#アークナイツ #Arknightsㅤ

あらためて、
新刊「秦谷美鈴と学ぶReact入門」

本日、頒布予定。
東V-42b よろしく！

(手毬のGitHub本含め、既刊情報は別の投稿に掲載)

#C108

Skebリクエストいただきありがとうございました✨

ヴォジャニーツァほんとかわいい🫶🏻🩵
#Vodyanitsa

ヴォジャニーツァちゃん🩵
#Vodyanitsa

A Z80 processor from 1976 computing 7*27. Slowed down 800000 times.
Credit to the Visual6502 project for the circuit data.
#retrocomputing #computerhistory #reverseengineering #creativecoding