More docs, tutorial and blog updates

mikera · mikera · commit 798f7613fdc9 · 2024-09-16T16:40:39.000+01:00
diff --git a/blog/2024-09-16-new-doc-site.mdx b/blog/2024-09-16-new-doc-site.mdx
@@ -1,11 +1,12 @@
 ---
 slug: first-blog-post
-title: Welcome to the new Convex Docs site!
+title: New Convex Docs site!
 authors: [mikera]
 tags: [welcome, convex, community]
 ---
 
 After a few days of hacking we've finally got our new documentation site up and running! Every great project needs great docs, and we're using a powerful tool to make this happen: [Docusaurus](https://docusaurus.io/)
+<!-- truncate -->
 
 What's great about this?
 - Everyone in the community can now easily [contribute documentation](https://github.com/Convex-Dev/design) though the GitHub `design` repository
diff --git a/blog/2024-09-16-welcome/index.md b/blog/2024-09-16-welcome/index.md
@@ -8,6 +8,7 @@ tags: [convex, welcome, community]
 Welcome to the Convex Developer Documentation! The is the go-to resource for building with Convex.
 
 We're thrilled to introduce our new developer documentation site. This platform is designed to be your comprehensive guide for mastering Convex, a powerful decentralised platform based on lattice technology.
+<!-- truncate -->
 
 What you'll find here:
 
diff --git a/blog/authors.yml b/blog/authors.yml
@@ -19,3 +19,12 @@ convex:
     x: convex_world
     github: Convex-Dev
 
+helins:
+  name: Adam Helinski
+  title: Core Contributor
+  url: https://github.com/helins
+  image_url: https://github.com/helins.png
+  page: true
+  socials:
+    github: helins
+
diff --git a/docs/overview/concepts.md b/docs/overview/concepts.md
@@ -0,0 +1,22 @@
+---
+title: Key Concepts
+authors: [convex]
+tags: [convex]
+---
+
+# Convex Concepts
+
+## Overview
+
+Convex is a decentralised platform for the Internet of Value, offering flexibility and scalability far beyond the capabilities of traditional blockchains. In particular, it is designed to support high volume, interactive applications used directly by end users such as for mobile apps, payments and gaming.
+
+
+## Governance
+
+Convex is governed by the non-profit Convex Foundation. The Foundation performs the following activities:
+
+- Ensures good governance of the Convex Network
+- Operates key resources on behalf of the community, including the https://convex.world website and developer resources such as GitHub repositories
+- Acts as this initial issuer of Convex Coins to individuals and organisations, inlciding management of the release curve
+- Provides awards for contributors to Convex (e.g. open source developers)
+- Supports the development of the Convex ecosystem via partnerships, marketing, education and other initiatives
diff --git a/docs/overview/convex-whitepaper.md b/docs/overview/convex-whitepaper.md
@@ -1,3 +1,8 @@
+---
+title: White Paper
+authors: [convex]
+tags: [convex, technology]
+---
 # Convex White Paper
 
 ## Abstract
diff --git a/docs/overview/manifesto.md b/docs/overview/manifesto.md
@@ -1,3 +1,9 @@
+---
+title: Manifesto
+authors: [convex]
+tags: [convex, community, philosophy]
+---
+
 # The Convex Manifesto - DRAFT
 
 We are building open economic systems based on decentralised technology for the 21st century and beyond.
diff --git a/docs/tutorial/convex-lisp/index.md b/docs/tutorial/convex-lisp/index.md
@@ -0,0 +1,23 @@
+---
+slug: convex-lisp
+title: Convex Lisp
+authors: [mikera]
+tags: [convex, developer, lisp]
+---
+
+Convex Lisp is a powerful modern Lisp for decentralised systems.
+
+## Why Lisp?
+
+The CVM is designed to be able to support many different languages and paradigms. However, we wanted a powerful language that would empower developers on Convex from the beginning, and chose Lisp for a number of reasons.
+
+- **Immutability**: Lisp's functional programming paradigm promotes immutability, which is essential for ensuring the integrity and consistency of decentralised systems where data must be replicated and distributed across multiple nodes.
+- **Dynamic typing**: Lisp's dynamic typing allows for flexible data structures and easy modifications, crucial for adapting to the constantly evolving nature of decentralised systems. At the same time, Convex Lisp is **strongly typed**, avoiding the issues associated with weak typing.
+- **Code is data**: representing code using its own data structures (also known as "homoiconicity") gives Lisp advanced **metaprogramming** capabilities the creation of domain-specific languages (DSLs) tailored to specific concepts, making it easier to reason about and implement complex economic mechanisms.
+- **Interactive coding**: Lisp pineered the use of the REPL for highly interactive programming. With Convex, we've taken this a step further with a complete on-chain compiler so that everything on the CVM can be done with simple interactive Lisp commands.
+
+Convex Lisp was heavily inspired by [Clojure](https://clojure.org/), from which it borrows most basic and many core functions, and [Racket Scheme](https://racket-lang.org/) which inspired many of the more advanced metaprograming facilities.
+
+## Some technical notes on Convex Lisp
+
+- Convex Lisp is a **Lisp-1** (i.e. keeps function and data values in the same namespace).This is simpler than a Lisp-2 and seems more appropriate for a functional programming language, where functions are regularly treated as first class values.
diff --git a/docs/tutorial/convex-lisp/lisp-guide-advanced.md b/docs/tutorial/convex-lisp/lisp-guide-advanced.md
@@ -1,3 +1,10 @@
+---
+slug: convex-lisp
+title: Advanced Guide
+authors: [mikera, helins]
+tags: [convex, developer, lisp]
+---
+
 If you've got this far, you may be interested in some of the more advanced features of Convex Lisp. This section is intended for people who want to know more about how Convex Lisp work, and how it integrated with the capabilities of the CVM.
 
 ## Compiler Phases
diff --git a/docs/tutorial/convex-lisp/lisp-guide.md b/docs/tutorial/convex-lisp/lisp-guide.md
diff --git a/docs/tutorial/glossary.md b/docs/tutorial/glossary.md
@@ -1,3 +1,9 @@
+---
+title: Glossary
+authors: [convex]
+tags: [convex, community, tutorial]
+---
+
 ## Account
 
 An Account is a record of identification and ownership within Convex. Accounts may be either:
diff --git a/docusaurus.config.ts b/docusaurus.config.ts
@@ -75,6 +75,12 @@ const config: Config = {
         src: 'img/Convex.png',
       },
       items: [
+        {
+          type: 'docSidebar',
+          sidebarId: 'overviewSidebar',
+          position: 'left',
+          label: 'Overview',
+        },
         {
           type: 'docSidebar',
           sidebarId: 'tutorialSidebar',
diff --git a/papers/concepts.md b/papers/concepts.md
diff --git a/sidebars.ts b/sidebars.ts
@@ -12,6 +12,8 @@ import type {SidebarsConfig} from '@docusaurus/plugin-content-docs';
  */
 const sidebars: SidebarsConfig = {
   // By default, Docusaurus generates a sidebar from the docs folder structure
+  overviewSidebar: [{type: 'autogenerated', dirName: 'overview'}],
+  
   tutorialSidebar: [{type: 'autogenerated', dirName: 'tutorial'}],
 
   cadsSidebar: [{type: 'autogenerated', dirName: 'cad'}], 
