diff --git a/README.md b/README.md
index b87e7a4f..3686e60c 100644
--- a/README.md
+++ b/README.md
@@ -1,8 +1,6 @@
 # Simplicity
 
-Simplicity is a blockchain programming language designed as an alternative to Bitcoin script.
-
-The language and implementation is still under development.
+Simplicity is a very low-level language. This repository contains the consensus code implementation, an experimental Haskell library, the tech report and the a Rocq library for producing formal proofs. We recommend that users who just want to *use* Simplicity start with  [SimplicityHL](https://github.com/BlockstreamResearch/SimplicityHL) which looks and feels like Rust and compiles down to Simplicity. There is also [rust-simplicity](https://github.com/BlockstreamResearch/rust-simplicity), a general purpose library for processing Simplicity programs.
 
 ## Contents
 
@@ -191,5 +189,6 @@ A recent PDF version can be found in the [pdf](https://github.com/ElementsProjec
 
 ## Contact
 
-Interested parties are welcome to join the [Simplicity mailing list](https://lists.ozlabs.org/listinfo/simplicity).
-Issues and pull-requests can be made through GitHub's interface.
+Discussions are hosted on [Github discussions](https://github.com/BlockstreamResearch/simplicity/discussions), and there's a [Simplicity Telegram Community](https://t.me/simplicity_community).
+
+We welcome issues and pull-requests.