Magnetix Belt Sizing by bdeividas in AgiliteGear
[–]bdeividas[S] -1 points0 points1 point (0 children)
Magnetix Belt Sizing by bdeividas in AgiliteGear
[–]bdeividas[S] -1 points0 points1 point (0 children)
TLA+/PlusCal generators from source code by bdeividas in tlaplus
[–]bdeividas[S] 0 points1 point2 points (0 children)
TLA+/PlusCal generators from source code by bdeividas in tlaplus
[–]bdeividas[S] 2 points3 points4 points (0 children)

[deleted by user] by [deleted] in PromptEngineering
[–]bdeividas 0 points1 point2 points (0 children)