Sven Nilsen

I am gravitating towards using a straightforward way of modeling functions: ```text true : bool false : bool (and(true, true), true) (and(false, X), false) :- X : bool. (and(X, false),...

Relevance logic and paraconsistent logic

3

Phylaras commented in the /r/philosophy thread https://old.reddit.com/r/philosophy/comments/j59ngj/avatar_logic_an_attempt_to_create_a_formal_logic/ about [relevance logic](https://en.wikipedia.org/wiki/Relevance_logic) and [paraconsistent logic](https://en.wikipedia.org/wiki/Paraconsistent_logic). Perhaps it might be possible to have some control over relevance and paraconsistency?

Interpretation of application as having a unique role

1

Currently, the `else` condition when matching for a 1-avatar means that function application is treated as unique. It means, even when function application returns an avatar, the relation behaves as...

For example: ```text (capital_missing_country, X) :- Y : country, X : capital, !(Y, X). ``` Negative relations should be in their own list at the end of the rule, such...

Use flat tax with borrowing for money "burning in the pocket" mechanism

1

All players could pay a tax that is the amount of money that the richest players need to burn to keep the economy stable. The tax is then reduced such...

https://libcom.org/files/__Debt__The_First_5_000_Years.pdf My thoughts about the book: Came across this by reading a discussion about civilization collapse. It is very long, with 400 pages + 100 pages of notes, so I...

http://www.scottsantens.com/yeah-but-who-is-going-to-pay-for-it-basic-income-alan-watts My thoughts about the lecture: This lecture was the original inspiration to the mix-algorithm, although not the direct motivation. I consider Alan Watts to be very intelligent, from other...

Posting stuff I find, which sometimes happens by pure luck. Collecting this information here because it turns out you can't get reproducible and accurate measurements without a significant effort. Also...

Algorithm for stochastic convergence

1

I want to study the limit of Gini coefficient over time assuming random transactions. The goal is to approximate the inverse function to support systems designed for a particular Gini...

See https://github.com/PistonDevelopers/piston/issues/1131#issuecomment-1013042165 Currently, the event loop in Piston is designed for native applications that handle their own event loop. While it is possible to work around this, it might be...