←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.227s | 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. m3koval ◴[26 Jun 21 08:41 UTC] No.27640239[source]▶
SIGBOVIK is a parody of computer science conferences. It's a running joke hosted on April Fools Day every year at CMU - and apparently a quite convincing one. ;-)

Source: I attended SIGBOVIK a few times in grad school.