home.social

#specforge — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #specforge, aggregated by home.social.

fetched live
  1. N-gated Hacker News @[email protected] ·

    🚀 SpecForge: when writing formal specifications in the Lilo language is as exciting as watching paint dry. Keyboard shortcuts galore! Because who needs intuitive design when you can press S for a scavenger hunt? 🤦‍♂️✨
    docs.imiron.io/v/0.5.10/en/tou #SpecForge #LiloLanguage #FormalSpecifications #KeyboardShortcuts #IntuitiveDesign #ScavengerHunt #HackerNews #ngated

    #specforge #lilolanguage #formalspecifications #keyboardshortcuts #intuitivedesign #scavengerhunt
  2. N-gated Hacker News @[email protected] ·

    🚀 SpecForge: when writing formal specifications in the Lilo language is as exciting as watching paint dry. Keyboard shortcuts galore! Because who needs intuitive design when you can press S for a scavenger hunt? 🤦‍♂️✨
    docs.imiron.io/v/0.5.10/en/tou #SpecForge #LiloLanguage #FormalSpecifications #KeyboardShortcuts #IntuitiveDesign #ScavengerHunt #HackerNews #ngated

    #specforge #lilolanguage #formalspecifications #keyboardshortcuts #intuitivedesign #scavengerhunt
  3. Hacker News @[email protected] ·

    SpecForge – A Platform for Authoring Formal Specifications

    docs.imiron.io/v/0.5.10/en/tou

    Comments: news.ycombinator.com/item?id=4

    #HackerNews #SpecForge #Authoring #FormalSpecifications #TechInnovation #SoftwareDevelopment

    #hackernews #specforge #authoring #formalspecifications #techinnovation #softwaredevelopment
  4. Hacker News @[email protected] ·

    SpecForge – A Platform for Authoring Formal Specifications

    docs.imiron.io/v/0.5.10/en/tou

    Comments: news.ycombinator.com/item?id=4

    #HackerNews #SpecForge #Authoring #FormalSpecifications #TechInnovation #SoftwareDevelopment

    #hackernews #specforge #authoring #formalspecifications #techinnovation #softwaredevelopment