Select - Your Community
Select
Get Mobile App

Stream of Goodies

avatar

Hacker News: Front Page

shared a link post in group #Stream of Goodies

Feed Image

hirrolot.github.io

Solving SAT via Positive Supercompilation

The result is mind-blowing: even a dumb supercompiler can solve arbitrary SAT formulas without the “actual” algorithm! This essay is a brief report of my findings. First, I will introduce the reader t

Comment here to discuss with all recipients or tap a user's profile image to discuss privately.

Embed post to a webpage :
<div data-postid="nbbgvrd" [...] </div>
A group of likeminded people in Stream of Goodies are talking about this.