Jiajun Du

icon indicating a website link https://jiajundu.github.io/

icon company Beijing University of Posts and Telecommunications icon location @BUPT [email protected]

Results 3 issues of Jiajun Du

代码上的一处错误

`C08/LogicCalculator.hs`代码中，第57行的函数体有一处错误，可以尝试以下的测试样例： ```haskell ex5 :: Formula (Int, ()) ex5 = Exist [1, 2, 3] $ \n -> Body (n :=: Con 3) solutions ex5 ``` 代码应修改为： ```haskell solutions (Exist (x:xs) as)...

A counting problem of `used_weight` data field in `LruUnit<T>`.

2 comment

## Describe the bug In the `pingora-lru` crate, the structure `LruUnit` and related functions are implemented. The structure `LruUnit` contains a data domain name `used_weight`, which should be equal to...

bug

Fix the counting problem of `used_weight` data field in `LruUnit<T>`

This PR is intended to solve issue [#164](https://github.com/cloudflare/pingora/issues/164).