News for hackers. Stuff that matters.

A comment on What I've Learned About Formal Methods in Half a Year. Parent comment

Re:What I've Learned About Formal Methods in Half a Year by UncleEntity on Monday April 10, 2023 @12:19PM (#35514042)
Yep, like the olden days where the only people “in the know” knew Latin. Or, before that, Greek.

Then someone had to come along and invent the printing press.

[ Parent | on HN ]
Re:What I've Learned About Formal Methods in Half a Year by Joker_vD on Monday April 10, 2023 @12:28PM (#35514128)
> Or, before that, Greek.

Greek (or koine, for that matter) was pretty much street vernacular in the Roman/Byzantine empire during that period you're likely talking about.

[ Parent | on HN ]