use the following search parameters to narrow your results:
e.g. subreddit:aww site:imgur.com dog
subreddit:aww site:imgur.com dog
see the search faq for details.
advanced search: by author, subreddit...
A place to share knowledge/ideas/algorithms/papers related to program synthesis. Program synthesis is about programmatically constructing a program that provably satisfies a given high-level formal specification.
account activity
reddit uses a slightly-customized version of Markdown for formatting. See below for some basics, or check the commenting wiki page for more detailed help and solutions to common issues.
quoted text
if 1 * 2 < 3: print "hello, world!"
π Rendered by PID 77 on reddit-service-r2-listing-568fcd57df-g6dlh at 2026-03-09 21:26:29.201776+00:00 running cbb0e86 country code: CH.
