TE
科技回声
首页24小时热榜最新最佳问答展示工作
GitHubTwitter
首页

科技回声

基于 Next.js 构建的科技新闻平台,提供全球科技新闻和讨论内容。

GitHubTwitter

首页

首页最新最佳问答展示工作

资源链接

HackerNews API原版 HackerNewsNext.js

© 2025 科技回声. 版权所有。

The Art of the Propagator (2009) [pdf]

54 点作者 kylerpalmer将近 6 年前

6 条评论

philzook将近 6 年前
This is also intimately connected with Ed Kmett&#x27;s Guanxi project<p><a href="https:&#x2F;&#x2F;www.youtube.com&#x2F;watch?v=D7rlJWc3474" rel="nofollow">https:&#x2F;&#x2F;www.youtube.com&#x2F;watch?v=D7rlJWc3474</a> <a href="https:&#x2F;&#x2F;github.com&#x2F;ekmett&#x2F;guanxi" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;ekmett&#x2F;guanxi</a><p>My understanding is he is using ideas from propagators and other places to make a performant logic programming framework in Haskell.
joshmarlow将近 6 年前
The section in SICP on circuit simulation has some similar ideas. I like to think that that was an early version of the propagator idea - <a href="https:&#x2F;&#x2F;mitpress.mit.edu&#x2F;sites&#x2F;default&#x2F;files&#x2F;sicp&#x2F;full-text&#x2F;book&#x2F;book-Z-H-22.html#%_sec_3.3.4" rel="nofollow">https:&#x2F;&#x2F;mitpress.mit.edu&#x2F;sites&#x2F;default&#x2F;files&#x2F;sicp&#x2F;full-text&#x2F;...</a>
评论 #20406912 未加载
tempguy9999将近 6 年前
I won&#x27;t be able to read the paper, but from the abstract it sounds a bit like a blackboard[0]<p>&quot;a common knowledge base, the &quot;blackboard&quot;, is iteratively updated by a diverse group of specialist knowledge sources, starting with a problem specification and ending with a solution. Each knowledge source updates the blackboard with a partial solution when its internal constraints match the blackboard state. In this way, the specialists work together to solve the problem&quot;<p>I can&#x27;t see the term Blackboard used in the paper. Probably irrelevant but just an observation.<p>[0] <a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Blackboard_system" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Blackboard_system</a>
amirouche将近 6 年前
There is also miniadapton <a href="https:&#x2F;&#x2F;github.com&#x2F;fisherdj&#x2F;miniAdapton" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;fisherdj&#x2F;miniAdapton</a><p>Unlike what is explained OP, the computation is one way.
评论 #20405363 未加载
voidhorse将近 6 年前
Nice! I’ve been spending a lot of time with Radul’s thesis, which is also on propagator networks, trying to follow along and implement a reactive framework using its teachings. Fun times
评论 #20405341 未加载
agumonkey将近 6 年前
is Sussman still fond of this ? he was talking about it in meetups IIRC
评论 #20405671 未加载