Alloy
Fewer than 5 people recommend it so far, so there's no written verdict. Here is what commenters said.
3recommend
1warn against
Jan 17, 2026first mention
Oct 23, 2026latest mention
Why people recommend it
“Credit goes to agentic coding tools for making it a reality.”
“I use an Alloy sidecar taking in OTEL and scraping logs.feom my Go services”
Show 1 more
“alloy picks up log and drops it graphana which has all alerts there”
Caveats and dissent
“alloy for gfql fell on its face relative to fuzzing, even with guidance.”
builds gfql and Louieon “How well do agents use test/verification techniques?”
Often compared with
From the makers not counted in the ranking
“I'm the founder of Alloy (YC W23) and we recently pivoted into Cloud Agents”
Threads where it came up
- LLMs are making formal software verification feasible at a much larger scale 1 mention
- How well do agents use test/verification techniques? 1 mention
- OTel isn’t going well 1 mention
- The web server deployment model breaks at hobby scale 1 mention
- Ask HN: What cloud agents do you use? 1 mention
- Functional Programmers need to take a look at Zig 1 mention
Data: alloy.json. Quotes are verbatim; the verdict and theme labels are written by a model from these comments, and every clause links to its sources.
All comments 6
“Credit goes to agentic coding tools for making it a reality.”
“alloy for gfql fell on its face relative to fuzzing, even with guidance.”
“I use an Alloy sidecar taking in OTEL and scraping logs.feom my Go services”
“My Alloy & Loki logging system got loaded heavily.”
“alloy picks up log and drops it graphana which has all alerts there”
“Alloy hasn't really found anything.”