Curly-Howard-Chungus Correspondence | Lamport-Cabot-Codd-Backus-Naur Form

icon company @vnu-frsl @vnu-sme @SEhumantics icon location Ichvers, Esteh, Enurbahnhof, Azeroy icon location WannabeResearcher-ExPartTimeMusicProducer. Currently interested in PLDI, MDSE, and symbolic computation. BOINC cruncher (UET-VNU-2022).

Results 3 comments of Curly-Howard-Chungus Correspondence | Lamport-Cabot-Codd-Backus-Naur Form

The relationship between DTU training data and Depth_raw

If I understand correctly: - Depth Raw is pre-processed DTU, so it's not needed. - If you do normal training and fine tuning, just unzip the DTU dataset. The example...

highlight not working by default

Have you fixed it?

Proper i18n for figure captions

I looked at the code to try but cannot get what caused the text order to happen. This is a good idea, we should have some generalized rules and certain...