Skip to content

Commit

Permalink
Merge branch 'main' into tinygrad
Browse files Browse the repository at this point in the history
  • Loading branch information
FadiShawki committed Feb 16, 2024
2 parents 6d9e256 + 231bedb commit 204877a
Show file tree
Hide file tree
Showing 1,224 changed files with 34,562 additions and 12,245 deletions.
16 changes: 16 additions & 0 deletions .github/workflows/test.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,16 @@
name: Tests

on: [push]

jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Setup Node
uses: actions/setup-node@v3
- working-directory: "./orbitmines.com"
run: npm install
- working-directory: "./orbitmines.com"
run: npm run test -- --watchAll=false
9 changes: 9 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
# Miscellaneous
external

# orbitmines.com
orbitmines.com/node_modules

# Environment
**/.idea

6 changes: 3 additions & 3 deletions .gitmodules
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
[submodule "src/@orbitmines/external/github.com/tinygrad/tinygrad"]
path = src/@orbitmines/external/github.com/tinygrad/tinygrad
url = git@github.com:tinygrad/tinygrad.git
[submodule "external/github.com/akissinger/chyp"]
path = external/github.com/akissinger/chyp
url = git@github.com:akissinger/chyp.git
11 changes: 0 additions & 11 deletions Dockerfile

This file was deleted.

21 changes: 21 additions & 0 deletions LICENSE
Original file line number Diff line number Diff line change
@@ -0,0 +1,21 @@
MIT License

Copyright (c) 2024 Fadi Shawki

Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentation files (the "Software"), to deal
in the Software without restriction, including without limitation the rights
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
copies of the Software, and to permit persons to whom the Software is
furnished to do so, subject to the following conditions:

The above copyright notice and this permission notice shall be included in all
copies or substantial portions of the Software.

THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
SOFTWARE.
101 changes: 98 additions & 3 deletions README.md
Original file line number Diff line number Diff line change
@@ -1,13 +1,108 @@
![orbitmines.logo.3000x1000.png](src%2Flib%2Forganizations%2Forbitmines%2Flogo%2Forbitmines.logo.3000x1000.png)
![orbitmines.logo.3000x1000.png](./orbitmines.com/src%2Flib%2Forganizations%2Forbitmines%2Flogo%2Forbitmines.logo.3000x1000.png)

# orbitmines.com
*A public repository for [orbitmines.com](https://orbitmines.com). The hub for OrbitMines' (research) projects.*

*Once a Minecraft server, now a research project dedicated to understanding arbitrarily unknown dynamical systems.*

![header](./orbitmines.com/public/papers/on-orbits-equivalence-and-inconsistencies/images/header.png)

## What is this?, What is OrbitMines?, What are Rays?

A simple way of phrasing this, is that the concept of a (hyper-/)'Vertex', (hyper-/)'Edge', (hyper-/)'Graph', (hyper-/)'Rule', (hyper-/)'Tactic', (hyper-/)..., (hyper-/)'Rewrite' are merged into one thing: a [Ray](./environments/javascript/@orbitmines/rays/src/Ray.ts). It handles surrounding context, ignorances, equivalences, ..., differentiation (And if it cannot, then it offers a way of implementing it for all of the above).

Most importantly, it is here as infrastructure. Infrastructure for the design and implementation of a different category of (programming) interfaces.

- If you prefer **text**, see [2023-12-31. On Orbits, Equivalence and Inconsistencies](https://orbitmines.com/papers/on-orbits-equivalence-and-inconsistencies), or more generally my/OrbitMines writing can be found here: [orbitmines.com/profiles/fadi-shawki](https://orbitmines.com/profiles/fadi-shawki).


- If you prefer **audio-visual mumblings**, see [2024-01-04. What is OrbitMines?, Implementing Aleks Kissinger's Chyp and maybe looking at Tinygrad](https://www.youtube.com/watch?v=O6v_gzlI1kY), or more generally my streams can be found here: [youtube.com/@FadiShawki/streams](https://www.youtube.com/@FadiShawki/streams).


- If you prefer **archaic symbolics: i.e. code**, see [Ray.ts](./environments/javascript/@orbitmines/rays/src/Ray.ts), or more generally my/OrbitMines code can be found here [github.com/orbitmines](https://github.com/orbitmines/).


- If you prefer discussions on **Discord**: [discord.orbitmines.com](https://discord.orbitmines.com).


- TODO: ~~Or if prefer smashing your keyboard till there's something interesting on the screen. See a first implementation of this *explorational interface*: [orbitmines.com/explorer/github.com/akissinger/chyp](https://orbitmines.com/explorer/github.com/akissinger/chyp).~~

---

## Where is OrbitMines going with this? - i.e. Future inquiries

Check out everything I've made public regarding this here: [GitHub Issues](https://github.com/orbitmines/orbitmines.com/issues) or equivalently, check the Discord channels grouped under the name: [Fractals of the Galaxy](https://discord.com/channels/1055502602365845534/1114584997702156388).

---

### Some general notes about this project

> [!IMPORTANT]
> Anything in this directory should be considered as deprecated. It is merely used as the initial (crude) bootstrap for OrbitMines. And will surely be replaced at some point - it is not (yet) meant as a formal spec.
> [!WARNING]
> No proper security audit has yet been done on its current iteration.
> [!WARNING]
> No proper performance optimizations have been done on its current iteration.
---

### Local setup

- Running `orbitmines.com` locally on `http://localhost:3000`:
- ```shell
git clone git@github.com:orbitmines/orbitmines.com.git
```
- ```shell
cd ./orbitmines.com/orbitmines.com
```
- ```
npm install
```
- ```
npm start
```
- Running tests.
- ```shell
npm run test -- --watchAll
```

---

#### Discussion
## JavaScript Interface Examples

Feel free to discuss this project on this GitHub repository or preferably the [OrbitMines Community Discord](https://discord.orbitmines.com).
**This is just preliminary, I'll change this later**
> [!WARNING]
> Reasoning backwards, what should the JavaScript interface look like?
- [ ] Applying a function on a Ray (vertex/initial/terminal) ; then go inside, insde can again be a vertex/initial/terminal on each vertex, apply on those.
---
Let's take logic gates as an example? - and maybe logic with different equiv func? - Like switching between true/false on each check?

```ts
import Ray from '@orbitmines/rays';
const initial = Ray.boolean().orbit().size(2);
const terminal = Ray.boolean().orbit().size(2);
// TODO: Compiles to a sequence of traversal checks?, and setting ops?, and arbitrary many of them make up a program.
```

---

## Latest Writing
https://orbitmines.com/papers/on-orbits-equivalence-and-inconsistencies/
![2023.on-orbits-equivalence-and-inconsistencies-thumbnail.jpeg](./orbitmines.com/public/papers/on-orbits-equivalence-and-inconsistencies/images/thumbnail/3840x2160.jpeg)

---

## License Magic

I'm not convinced putting licenses on the repo's in the usual case is anything other than *Minecraft servers putting "Not affiliated with Mojang" in their stores* just because everyone else does it. But here: after doing absolutely no research into the international ramifications: [LICENSE](./LICENSE) a license for those who like to look at them. Try to reason to what that applies in this repository, obviously that doesn't cover everything not made by me or other contributions to OrbitMines or something. Just put a reference to me or this project somewhere if it's remotely interesting to you.

Loading

0 comments on commit 204877a

Please sign in to comment.