Discussion
Loading...

#Tag

Log in
  • About
  • Code of conduct
  • Privacy
  • Users
  • Instances
  • About Bonfire
Hacker News
Hacker News
@h4ckernews@mastodon.social  路  activity timestamp 2 weeks ago

TLA+ Modeling Tips

http://muratbuffalo.blogspot.com/2025/12/tla-modeling-tips.html

#HackerNews #TLA+ #Modeling #Tips #TLA+ #Modeling #Software #Formal #Methods #Software #Engineering #System #Design

TLA+ modeling tips

Model minimalistically Start from a tiny core, and always keep a working model as you extend. Your default should be omission. Add a compone...
  • Copy link
  • Flag this post
  • Block
tools for commensality 馃Э
tools for commensality 馃Э
@inquiline@assemblag.es  路  activity timestamp last month

I've asked a version of this question before, maybe, but here goes: favorite work that either discusses interpretive orientation as method/orientation, or is e.g. of interpretive scholarship that also reflects on interpretive aspect? Article or chapter length preferred. Thanks!

#NotSureHowToHashtagThis #STS #methods

  • Copy link
  • Flag this post
  • Block

bonfire.cafe

A space for Bonfire maintainers and contributors to communicate

bonfire.cafe: About 路 Code of conduct 路 Privacy 路 Users 路 Instances
Bonfire social 路 1.0.1-alpha.40 no JS en
Automatic federation enabled
Log in
  • Explore
  • About
  • Members
  • Code of Conduct