from Hacker News

Soufflé: A Datalog Synthesis Tool for Static Analysis

by nickmain on 11/30/22, 7:39 PM with 21 comments

• by NeutralForest on 11/30/22, 10:02 PM

  I sometimes see posts about Datalog & Co being posted here. I must say I don't understand where and when this is used. Like, I see the home page, I see the example page and I still don't understand. Is there any actual application using this? What for?

• by sasaf5 on 12/1/22, 1:30 AM

  "Synthesis", "Static Analysis", I thought it was related to chip design!

• by Krasnol on 12/1/22, 6:59 AM

  > Soufflé is short for Systematic, Ontological, Undiscovered Fact Finding Logic Engine. The EDB represents the uncooked Soufflé and the IDB causes the Soufflé to rise, i.e., monotonically increasing knowledge. When it stops rising and a fixed-point is reached, the result is a puffed-up ready-to-eat Soufflé. Big thanks to Nicholas Allen and Diane Corney from Oracle Labs/Brisbane for finding a translation.

  Great name...not.

  I know coming up with a name for a project is hard but why not at least google something before you chose is as a name first? This is horrible. Just go and take some lesser known Hindu deity if you have no idea at all and don't care. There are many.