TE
TechEcho
Home24h TopNewestBestAskShowJobs
GitHubTwitter
Home

TechEcho

A tech news platform built with Next.js, providing global tech news and discussions.

GitHubTwitter

Home

HomeNewestBestAskShowJobs

Resources

HackerNews APIOriginal HackerNewsNext.js

© 2025 TechEcho. All rights reserved.

Soufflé: A Datalog Synthesis Tool for Static Analysis

84 pointsby nickmainover 2 years ago

3 comments

NeutralForestover 2 years ago
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?
评论 #33809062 未加载
评论 #33808915 未加载
评论 #33809057 未加载
评论 #33810985 未加载
评论 #33810872 未加载
评论 #33809280 未加载
评论 #33808814 未加载
sasaf5over 2 years ago
"Synthesis", "Static Analysis", I thought it was related to chip design!
Krasnolover 2 years ago
&gt; 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&#x2F;Brisbane for finding a translation.<p>Great name...not.<p>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&#x27;t care. There are many.
评论 #33815943 未加载
评论 #33814064 未加载