Thankfully, after asking around, someone pointed me to the online tax calculator of the Federal Tax Administration.
- "Not ten. Not fifty. Five hundred and twenty-three lint violations across 67 files."，更多细节参见新收录的资料
println(3.14); // dispatches to println_f64，详情可参考新收录的资料
weights := tensor<f16([768, 768]);。新收录的资料是该领域的重要参考
Another nice context to think about this is in prolog. It is often the case that we can write a n-ary relation and then write a (n+1)-ary version that contains a tracing parameter. This tracing parameter is a proof object / witness.