Community Request

0 readers

0 users here now

Welcome to programming.dev's community request zone

If you have an idea for a community feel free to make a post here. Posts will be considered by the admins once they hit 7 points

Request Guidelines

Please give both the value for the url and the display name for the community (we've been using snake case for most of the urls)
Communities must fit within the instance as being aimed at topics relevant to software engineers, hackers, hardware and software enthusiasts, script kiddies, cryptographers, researchers, roboticists, and more.
If you have the same idea as someone else upvote their post rather than making a new one just so there isn't duplicates

Icon base by Delapouite under CC BY 3.0 with modifications to add a gradient

founded 1 year ago

MODERATORS

Ategon@programming.dev

Formal Methods (programming.dev)

submitted 1 year ago by demesisx@programming.dev to c/community_request@programming.dev

0 comments fedilink hide all child comments

- url: /c/formal_methods

- name: Formal Methods

Formal methods are intended to systematize and introduce rigor into all the phases of software development. Formal methods are generally used in the development of most critical software in which security, safety is prime objective and cost of failure is high. This style of rigorous development is a crucial yet underrepresented aspect of our software engineering toolkit. This is a place to aggregate interesting topics and discussions of specific uses and ideas in formal methods.

A community for discussions on formal methods here on programming.dev could draw in more academics and mathematicians. These discussions would inevitably cross-pollinate into more pragmatic languages when discussed in such close proximity.

Subjects/Languages discussed here: formal methods and specifications, dependently-typed languages, categories, totality, correctness, Agda, Coq, Idris, Isabelle proof assistant, etc.

This potential community would be distinct from /c/functional programming and /c/Haskell because it would focus on correctness, totality, and formality above all.

Though I don't have the time nor the expertise, it would probably be exceptionally easy to moderate this community due to the level of discussion expected.

no comments (yet)

sorted by: hot top controversial new old

there doesn't seem to be anything here