advancedresearch/joker_calculus issues and pull requests

#79 - Emoji design of `0` and `1`

Issue - State: open - Opened by bvssvni 5 months ago
Labels: information

#78 - Published 0.12.0

Pull Request - State: closed - Opened by bvssvni 5 months ago

#77 - Fixed foot note

Pull Request - State: closed - Opened by bvssvni 5 months ago

#76 - Added emoji support

Pull Request - State: closed - Opened by bvssvni 5 months ago

#75 - Add emoji support

Issue - State: closed - Opened by bvssvni 5 months ago
Labels: hard

#74 - Improved macro

Pull Request - State: closed - Opened by bvssvni 5 months ago

#73 - Ignore all test examples

Pull Request - State: closed - Opened by bvssvni 5 months ago

#72 - Satisfaction and Restlessness

Issue - State: open - Opened by bvssvni 9 months ago
Labels: discussion

#71 - Reverse triple not?

Issue - State: open - Opened by bvssvni over 1 year ago
Labels: discussion, draft

#70 - Published 0.11.0

Pull Request - State: closed - Opened by bvssvni over 1 year ago

#69 - Improved docs

Pull Request - State: closed - Opened by bvssvni over 1 year ago

#68 - Implemented new rules

Pull Request - State: closed - Opened by bvssvni over 1 year ago

#67 - Check distribution rule in sequences

Issue - State: open - Opened by bvssvni over 1 year ago
Labels: discussion, draft

#66 - Contract in both Open and Closed variants

Issue - State: closed - Opened by bvssvni over 1 year ago
Labels: hard

#65 - Use `id` as evaluation termination

Pull Request - State: closed - Opened by bvssvni over 1 year ago

#64 - Use `id` as evaluation termination of sub-expression

Issue - State: closed - Opened by bvssvni over 1 year ago
Labels: hard

#63 - Updated library docs

Pull Request - State: closed - Opened by bvssvni over 1 year ago

#62 - Unreachable cases

Issue - State: closed - Opened by bvssvni over 1 year ago - 1 comment
Labels: discussion, draft

#61 - Religious animals: Bird vs Snake

Issue - State: open - Opened by bvssvni over 1 year ago
Labels: discussion

#60 - Religious rituals: Song vs Prayer

Issue - State: open - Opened by bvssvni over 1 year ago
Labels: discussion

#59 - Mainstream religions: Owned Religion

Issue - State: open - Opened by bvssvni over 1 year ago
Labels: discussion

#58 - Personal Experience: Joker Physicalism

Issue - State: open - Opened by bvssvni over 1 year ago - 1 comment
Labels: discussion

#57 - HOOO EP vs Provability Logic

Issue - State: open - Opened by bvssvni almost 2 years ago
Labels: discussion

#56 - Layers of meta-optimization: Analysis vs Synthesis

Issue - State: open - Opened by bvssvni almost 2 years ago
Labels: discussion

#55 - The Bull by Pablo Picasso

Issue - State: open - Opened by bvssvni about 2 years ago
Labels: discussion

#54 - Personal vs Group Identity

Issue - State: open - Opened by bvssvni almost 3 years ago
Labels: discussion

#53 - Video game bias

Issue - State: open - Opened by bvssvni almost 3 years ago
Labels: discussion

#52 - Published 0.10.0

Pull Request - State: closed - Opened by bvssvni almost 3 years ago

#51 - Added support for higher-dimensionality

Pull Request - State: closed - Opened by bvssvni almost 3 years ago

#50 - Add support for higher-dimensionality

Issue - State: closed - Opened by bvssvni almost 3 years ago
Labels: hard

#49 - Published 0.9.0

Pull Request - State: closed - Opened by bvssvni almost 3 years ago

#48 - Added unit test for joker ambiguity

Pull Request - State: closed - Opened by bvssvni almost 3 years ago

#47 - Fixed rule

Pull Request - State: closed - Opened by bvssvni almost 3 years ago

#46 - Fix `((?x)’, (?y)’) => eval(?(x, y))` rule

Issue - State: closed - Opened by bvssvni almost 3 years ago
Labels: medium

#45 - Fixed some methods

Pull Request - State: closed - Opened by bvssvni almost 3 years ago

#44 - Disabled some rules in Open variant

Pull Request - State: closed - Opened by bvssvni almost 3 years ago

#43 - Interpretation of left/right inverse

Issue - State: open - Opened by bvssvni almost 3 years ago
Labels: discussion

#42 - Disable some rules in Open variant

Issue - State: closed - Opened by bvssvni almost 3 years ago
Labels: medium

#41 - Published 0.8.0

Pull Request - State: closed - Opened by bvssvni almost 3 years ago

#40 - Added `Expr::authentic`

Pull Request - State: closed - Opened by bvssvni almost 3 years ago

#39 - Add `Expr::authentic` method

Issue - State: closed - Opened by bvssvni almost 3 years ago
Labels: easy

#38 - Life form bias

Issue - State: open - Opened by bvssvni almost 3 years ago
Labels: discussion

#37 - Assumptions about partial order

Issue - State: open - Opened by bvssvni almost 3 years ago
Labels: discussion

#36 - Added some partial orders

Pull Request - State: closed - Opened by bvssvni almost 3 years ago

#35 - Published 0.7.1

Pull Request - State: closed - Opened by bvssvni almost 3 years ago

#34 - Fixed macro

Pull Request - State: closed - Opened by bvssvni almost 3 years ago

#33 - Published 0.7.0

Pull Request - State: closed - Opened by bvssvni almost 3 years ago

#32 - Added `!` cases to `jc!`

Pull Request - State: closed - Opened by bvssvni almost 3 years ago

#31 - Display shorthand syntax

Pull Request - State: closed - Opened by bvssvni almost 3 years ago

#30 - Added `jc!` macro for shorthand syntax

Pull Request - State: closed - Opened by bvssvni almost 3 years ago

#29 - Added `contracting` with variants

Pull Request - State: closed - Opened by bvssvni almost 3 years ago

#28 - Published 0.6.0

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#27 - Updated with extended rules from paper

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#26 - Seshatic Queenity

Issue - State: open - Opened by bvssvni about 3 years ago - 1 comment
Labels: discussion

#25 - Published 0.5.0

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#24 - Updated with `1 1 x => 1 x` and `0 0 x => 0 x`

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#23 - Normalize `Seshatic Seshatic X` to `Seshatic X`

Issue - State: closed - Opened by bvssvni about 3 years ago - 1 comment
Labels: medium

#22 - Interpretations of the `!(x y) = !x ?y` rule

Issue - State: open - Opened by bvssvni about 3 years ago - 1 comment
Labels: discussion

#21 - The idea behind the `!(x y) = !x ?y` rule

Issue - State: open - Opened by bvssvni about 3 years ago
Labels: information, draft

#20 - Why `Seshatic Joker Platonism` normalises to `Seshatism`

Issue - State: open - Opened by bvssvni about 3 years ago
Labels: information, draft

#19 - What does `Seshatic Joker Seshatism` mean?

Issue - State: open - Opened by bvssvni about 3 years ago - 1 comment
Labels: discussion

#18 - Viewpoint stereotypes of mathematics

Issue - State: open - Opened by bvssvni about 3 years ago
Labels: discussion

#17 - Published 0.4.0

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#16 - Updated with fixed rules from paper

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#15 - Seshatic Platonism/Platonic Seshatism in Closed Joker Calculus

Issue - State: open - Opened by bvssvni about 3 years ago
Labels: discussion

#14 - Seshatic/Platonic languages in Closed Joker Calculus

Issue - State: open - Opened by bvssvni about 3 years ago
Labels: discussion

#13 - Published 0.3.0

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#12 - Updated with extended rules

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#11 - Can an order be derived?

Issue - State: open - Opened by bvssvni about 3 years ago
Labels: discussion

#10 - Is `Seshatic X` closer to `Seshatism` than `X`?

Issue - State: open - Opened by bvssvni about 3 years ago - 3 comments
Labels: discussion

#9 - Published 0.2.0

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#8 - Added test case

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#7 - Fixed edge case for CJC

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#6 - Added `divergent`

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#5 - Added "examples/test.rs" to .gitignore

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#4 - Added `one_sided`

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#3 - Added `swap`

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#2 - Fixed not cases

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#1 - Published 0.1.0

Pull Request - State: closed - Opened by bvssvni about 3 years ago

GitHub / advancedresearch/joker_calculus issues and pull requests