利用凸组合求解最优值(AtCoder abc356_g Freestyle 题解)

  • 题目大意

    • 我们已经学会了 N 种不同的游泳技术。对于每种技术 \(i\) ,每秒前进 \(A_{i}\) 米,并消耗 \(B_{i}\) 单位的体力。注意,我们可以 …
more ...




[TL;DR] 论文阅读:Autopilot - 自动化数据中心管理

  • TL;DR

    • Autopilot是微软用来自动化运营大规模网络服务的基础架构
    • 其设计核心是Device Manager,一个基于Paxos的强一致性分布式状态机,用来保存整个系统的“实际真相”(ground truth),并且根据整个系统的状态确定下一步的行动 …
more ...


在SPIN/Promela中模拟CAS(Compare-and-Swap)

CAS(Compare-And-Swap)是一种在多线程编程中常用的数据同步方法,它通过比较和交换操作来保证数据的一致性。然而,在SPIN/Promela中没有直接的CAS对应实现。

让我们来看 …

more ...


A2B Game Solutions

A2B is a "zach-like" programming game, which let you to use a very simple "programming language" to solve different problems for strings.

Personally, I highly recommand this game along with "Shenzhen IO" and "Factorio" as an beginner tutorial for anyone who wants to be a software engineer.

Spoiler Alert

** The …

more ...