DOFY's Blog
DOFY's Blog

由 admin 发布
作者归档

http://dofy.top/wp-content/uploads/2023/12/twocities.png
河湟双城记
以为我写的是兰州和西宁?其实不然。
   6,396   2023-12-17   去围观

一阶逻辑中的几个反直觉结论

最近的Research牵涉到一些时态逻辑的东西,但推式子的时候反而发现一些很简单的一阶逻辑结论之前都没注意到,感觉自己白学了。 首先是这个 $$(\exists x. P(x)) \to Q \iff \forall x.P(x) \to Q$$ 很奇怪,为什么“任意”放进括号里就变成“存在”了呢?其实这也很好…

   3,762   2023-12-03   去围观
http://dofy.top/wp-content/uploads/2023/12/cairo.png
How Cairo Virtual Machine delegates contract function invocations internally
Key concepts of contract function invocations Function Selector In general, the function selector in StarkNet is used…
   5,685   2022-07-28   去围观
http://dofy.top/wp-content/uploads/2022/06/0.png
平型关
高山与沟壑当中,曾是抗日将士声嘶力竭的呐喊,也是铁道兵齐心协力的口号。他们都是永远被这片土地铭记的英雄。
   5,794   2022-06-02   去围观

Cairo Compiler Learning Notes

Excerpts from How Cairo Works Introduction to Cairo Registers ap: allocation pointer fp: frame pointer pc: program counter Basic instructions [fp - 1] = [ap - 2] + [fp + 4] [ap - 1] = [fp + 10] * [ap]; ap++ [ap - 1] = [fp + 10] + 12345; ap++ #…

   5,130   2022-06-02   去围观

Rosette Learning Notes

Excerpts from The Rosette Guide. Rosette Essentials Symbolic Values (define-symbolic b boolean?) Specification (define (check-mid impl lo hi) ; Assuming that (assume (bvsle (int32 0) lo)) ; 0 ≤ lo and (assume (bvsle lo hi)) …

   4,340   2022-06-02   去围观
http://dofy.top/wp-content/uploads/2023/12/Ming_Qing.jpeg
《明清时代江南市镇研究》读书报告
通选课明清经济与社会中期作业。第一次写读书报告,体验了一下文科生的日常。
   6,843   2021-12-03   去围观

Notes of "The Logic of Computer Programming"

Link: The Logic of Computer Programming Four aspect: correctness termination transformation development Program A: Partial Correctness totally correct: if we execute Program A on any input satisfying the input assertion, the program will ha…

   6,319   2021-11-13   去围观
http://dofy.top/wp-content/uploads/2021/12/风车与牛羊-scaled.jpg
白云与黑金
记一个周末
   8,345   2021-03-25   去围观

假设检验

概统背不完了。

   5,118   2021-01-08   去围观
加载更多