# Current use of Alloy in the age of AI

**URL:** <https://alloytools.discourse.group/t/current-use-of-alloy-in-the-age-of-ai/544>\
**Category:** Uncategorized\
**Created:** [January 27, 2026, 2:16am UTC](https://alloytools.discourse.group/t/current-use-of-alloy-in-the-age-of-ai/544 "2026-01-27T02:16:36Z")\
**Posts on this page:** 2\
**Page:** 1

<div class="post-metadata">

**Author:** ![roehst](https://yyz2.discourse-cdn.com/free1/user_avatar/alloytools.discourse.group/roehst/32/156_2.png) [@roehst](https://alloytools.discourse.group/u/roehst)\
**Post date:** [January 27, 2026, 2:16am UTC](https://alloytools.discourse.group/t/current-use-of-alloy-in-the-age-of-ai/544/1 "2026-01-27T02:16:36Z")

</div>

I have been using Alloy as my daily driver now. I can spec from whole system do algorithm or protocol designs and hand it over to an LLM to code it. This was step one.

Step two was tweaking Alloy to extract code from the model. Right now, I can extract SQL DDL statements in many ways (I have strategies to deal with different relation cardinalities, whether to use junction tables or foreign keys).

So far, it has been immensely useful - disruptive - for me. Anyone have the same feelings?

---

<div class="post-metadata">

**Author:** ![alcino](https://yyz2.discourse-cdn.com/free1/user_avatar/alloytools.discourse.group/alcino/32/25_2.png) [@alcino](https://alloytools.discourse.group/u/alcino)\
**Post date:** [January 27, 2026, 3:39pm UTC](https://alloytools.discourse.group/t/current-use-of-alloy-in-the-age-of-ai/544/2 "2026-01-27T15:39:37Z")

</div>

Hi.  
I would love to know more about what your usage of Alloy, looks really nice. Anything more you can share? I suggest you submit something to one of the upcoming conferences in the area (e.g. an experience report to ABZ’26).  
Best,  
Alcino