# Site Feedback

**URL:** https://alloytools.discourse.group/c/site-feedback/2.md

[Latest](https://alloytools.discourse.group/latest.md) · [Categories](https://alloytools.discourse.group/categories.md)

---

## [About the Site Feedback category](https://alloytools.discourse.group/t/about-the-site-feedback-category/1)

<div class="topic-metadata">

**Author:** [@system](https://alloytools.discourse.group/u/system)\
**Replies:** 0

</div>

---

## [Alloytools Website Survey](https://alloytools.discourse.group/t/alloytools-website-survey/95)

<div class="topic-metadata">

**Author:** [@jxcai](https://alloytools.discourse.group/u/jxcai)\
**Replies:** 7\
**Last updated:** [September 24, 2020, 10:01pm UTC](https://alloytools.discourse.group/t/alloytools-website-survey/95 "2020-09-24T22:01:45Z")

</div>

Hello everyone! We’re a small group of MIT undergraduates supervised by Professor Daniel Jackson working on redesigning the Alloy Tools community site to allow for dynamic submission and curation, improve its overall us…

---

## [Making real progress](https://alloytools.discourse.group/t/making-real-progress/91)

<div class="topic-metadata">

**Author:** [@steve.freeman](https://alloytools.discourse.group/u/steve.freeman)\
**Replies:** 0\
**Last updated:** [September 15, 2020, 12:29pm UTC](https://alloytools.discourse.group/t/making-real-progress/91 "2020-09-15T12:29:51Z")

</div>

A note of thanks for everyone helping out here. I’ve made more progress in the last couple of weeks with the prompt responses than I did in weeks beforehand. There is a mind shift for those of us moving to declarative, a…

---

## [New category: tool tips](https://alloytools.discourse.group/t/new-category-tool-tips/25)

<div class="topic-metadata">

**Author:** [@keithb\_b](https://alloytools.discourse.group/u/keithb_b)\
**Replies:** 1\
**Last updated:** [August 24, 2020, 11:51am UTC](https://alloytools.discourse.group/t/new-category-tool-tips/25 "2020-08-24T11:51:46Z")

</div>

I suggest that a category be added for tooling tips. For example, my post about Alloy-as-Markdown would live in it.

---

## [Getting started](https://alloytools.discourse.group/t/getting-started/18)

<div class="topic-metadata">

**Author:** [@peter.kriens](https://alloytools.discourse.group/u/peter.kriens)\
**Replies:** 1\
**Last updated:** [August 13, 2020, 9:22am UTC](https://alloytools.discourse.group/t/getting-started/18 "2020-08-13T09:22:59Z")

</div>

There is some confusion about the purpose. I indicated that I’d rather not have SO like questions on this. I.e questions like how to answer my homework. I also think it is better to keep SO as the default place for simpl…