←back to thread

Parse, Don't Validate (2019)

(lexi-lambda.github.io)
389 points melse | 1 comments | 26 Jun 21 07:23 UTC | HN request time: 0.206s | source
Show context
ukj ◴[26 Jun 21 07:47 UTC] No.27639995[source]▶
Software Engineers: Parse, don't validate.

Mathematicians: Parsing is validation

https://gallais.github.io/pdf/draft_sigbovik21.pdf

replies(3): >>27640078 #>>27640121 #>>27640235 #
cjfd ◴[26 Jun 21 08:16 UTC] No.27640121[source]▶
Software engineers like efficiently running software. Mathematicians like beautiful definitions. Scientists like non-trivial discoveries.

This paper.... uh.... what exactly is it good for?

I suppose it could be kind of nice as some kind of undergraduate paper writing project kind of thing but it looks too professional for that.... I am kind of at a loss why this was written. Maybe it is some strange kind of satire....

replies(3): >>27640128 #>>27640232 #>>27640239 #
1. squiddev ◴[26 Jun 21 08:40 UTC] No.27640232[source]▶
It's written for sigbovik 2021 [1][2], which is very much a joke conference. Other papers this year were "Lowestcase and Uppestcase letters: Advances in Derp Learning" and "On the dire importance of mru caches for human survival (against Skynet)".

[1]: http://www.sigbovik.org/ [2]: http://www.sigbovik.org/2021/proceedings.pdf