Hillel Wayne

If the title of the submitted story is too long, you get the following message: > Please remove extraneous components from titles such as the name of the site, blog,...

- [ ] ATS - [ ] Iris - [ ] AutoProof I'll add more as I run into them

Update Alloy DSL for Alloy 6

4

Last Tuesday [Alloytools](http://alloytools.org/) released a new, [backwards-incompatible version](https://alloytools.org/alloy6.html). The biggest change is that `'` is now an operator and no longer a valid identifier token. The team is encouraging people...

Can't flag a story with negative reputation

1

The dropdown appears but I can't click it. This is both on firefox mobile and firefox for desktop. (If this is an intended feature, I'd argue it's a misfeature: a...

That is all

**Describe the bug** Normally, quote-skeets have a frame showing the original skeet. If the original poster is blocked, the frame is absent entirely, so it looks like a normal skeet...

Skeets from muted accounts still show up in quote-skeets

1

**Describe the bug** Normally, muted accounts are hidden with "Post from an account you muted." If someone is QSing the muted skeet, it will show in full. **To Reproduce** Steps...

Stochastic parrots is the obvious one, but there's others that are more pointed about specific flaws in, like, ChatGPT or GPT4

`GuaranteedWithDrawProgress` in Tutorial 1 is inaccurate/misdocumented

3

The liveness property is [defined as](https://github.com/p-org/P/blob/master/Tutorial/1_ClientServer/PSpec/BankBalanceCorrect.p#L11): > GuaranteedWithDrawProgress checks the liveness (or progress) property that all withdraw requests submitted by the client are eventually responded. However, the definition ``` hot...

Installation instructions should say you need nuget as a dotnet source

1

If you don't do that, you get an error like > error NU1101: Unable to find package p. No packages exist with this id in source(s): Microsoft Visual Studio Offline...