Tankle Adventure设计和实现浅谈 Posted on 2024-11-12 试玩地址 喜欢的话别忘了点个 star. Tankle Adventure是一个基于 WASM-4 引擎的2D俯视角过关游戏。游戏的主要玩法是通过操控坦克,躲避敌人的攻击,击败敌人,最终到达终点。游戏的整体风格是像素风格,游戏的画面和音效都是由我自己制作的。 我是谁我是布丁大魔王,这个博客的作 ... Read more »
离婚记 Posted on 2023-11-23 每个人展现在世界中的模样都来源于自己的火焰,而我的火焰的形状就是不停地撕咬。对于这样的我而言,最快乐的事情就是整天戴着口罩。 我就像一匹狂躁的狼,或者一只愤怒的鹰。鹰平时静止,偶尔扭动一下脖子,直到眼睛找准了猎物,然后以迅雷不及掩耳之势像目标冲去。狼更加需要团队,他们伏着身子,低声咆哮,高声呼唤同伴 ... Read more »
译Process-as-a-Service: FaaSt Stateful Computing with Optimized Data Planes Posted on 2022-10-25 题目Process-as-a-Service: FaaSt Stateful Computing with Optimized Data Planes 进程作为服务 (PraaS) :用优化的数据平面进行快速的有状态计算 摘要细粒度和短暂的函数为许多新应用程序提供动力,这些应用程序受益于 serve ... Read more »
分布式的未来 Posted on 2022-09-28 本文涉及到的技术 distributed futures 以 Ray 和 futures 为基础。关于 Ray,可以阅读其论文或查阅官网获得相关信息;关于 futures,可以阅读我之前的博客以及其参考资料。当然,如果你不了解它们也不会对阅读本文有很大影响。 今天分享的技术来自于 Stephanie ... Read more »
分布式锁 Posted on 2022-08-17 今天分享的主题是分布式锁。 动机:一致性问题在任何分布式系统中,只要出现并发,就一定有一致性问题。这里举一个简单的例子,买家在电商平台上购买了一件商品,卖家还未发货;此时买家发出了取消订单的请求,同时卖家发出了发货的请求,那么平台应该怎么处理?暂且不论正确结果应该是什么,至少平台不能简单地直接并发处 ... Read more »
从零开始手写Parser Combinator Posted on 2022-07-26 这不是一个教程,只是一个 Haskell 入门学习笔记。 我们的任务是编写一个用于编写 parser 的库。作为最简化的基础内容,一个 parser 应该具有把字符串转化为 AST 的能力。现在我们只有字符串,没有 AST,不妨假设我们的目标 AST 就是一个字符,这个 parser 应该像这样: ... Read more »
用 Future 处理异步逻辑(胎教版) Posted on 2022-04-29 用 Future 处理异步逻辑(傻瓜版) 很多编程语言(JavaScript, Rust, C#)都将 async/await 作为语言内置的异步编程接口,虽然实现不同,对外表现也都大同小异。这里以 js 为例说明 async/await 的使用动机、使用方式。 为什么 Jav ... Read more »
I'm coming back Posted on 2022-04-29 一年多没有更新博客了,没什么别的原因,就是懒得写了。 目前我从事的领域发生了变化。熟悉我的朋友知道,我是一个 PL 爱好者,曾经花很多功夫研究过 PL 理论和类型论,但我没有能力把它当做我的专业。这是非常遗憾的事情,原因是多方面的,最主要的仍然是自己无能。后来又研究过一段时间区块链,甚至还投资了狗狗 ... Read more »
Miblewimble协议读书笔记 Posted on 2020-12-23 Mimblewimble协议读书笔记摘要本文介绍Mimblewimble协议的基本内容,展示协议如何隐藏信息和提高效率,描述协议在区块链系统中的应用场景和应用方式,简要介绍使用该协议的Grin和Beam区块链应用,回答“Grin和Beam中,如何处理签名私钥;怎样解决双花问题;分析对Mimblewi ... Read more »
什么是continuation Posted on 2020-05-08 与其问什么是 continuation,不如先问什么是控制流。 控制流在各编程语言中都是相当基础的概念,它表示程序接下来应该怎么执行。典型的命令式语言程序中存在条件控制流和循环控制流,部分语言中存在 try-catch 异常捕获机制。它们的实现往往和语言本身的实现有紧密的关系。例如,一个 C 语言的 ... Read more »