Skip to main content
Avatar for Alex Fedotov from gravatar.com

Alex Fedotov

Username    alxfed
Date joined   Joined

62 projects

unlearning

Last released

Discarding the previous knowledge

machine-shop

Last released

The tool sets and tools for individual types of machines

dispute

Last released

Dispute package

discussion

Last released

Discussion package

bibliothecarius

Last released

bibliothecarius - librarian

bibliotheca

Last released

Bibliotheca

daimon

Last released

δαίμων, pronounced daimon or daemon (meaning 'god', 'godlike', 'power', 'fate')

idiotes

Last released

ῐ̓δῐώτης • (idiṓtēs) - a private person, one not engaged in public affairs.

symposium

Last released

Interaction of multiple language models

inventing-machine

Last released

A Machine that invents.

philosophos

Last released

φῐλόσοφος • (philósophos) philosopher

sophos

Last released

σοφός (sophós), in classical philosophy, is someone who has attained wisdom.

satyr-play

Last released

Satyr plays were performed following the performance of a group of three tragedies.

tragedy

Last released

Tragedy (Ancient Greek: τραγῳδία) is one of the three principal theatrical genres.

comedy

Last released

Comedy (Ancient Greek: κωμῳδία) was one of the final three principal dramatic forms.

theatron

Last released

The theatron was the seating area, built into a hill to create a natural viewing space.

recalling-machine

Last released

A Machine that recalls what was memorized.

memorizing-machine

Last released

A Machine that memorizes what it was told.

observer-machine

Last released

Observer.

questioning-machine

Last released

Machine that asks questions.

machina-observatrix

Last released

A machine that observes all the time.

thingking-machine

Last released

A Machine that can thingk.

memory-machine

Last released

State machine enhancing the memory function of Abstract Intellect.

meta-machina

Last released

This machine creates machines.

euretikos

Last released

Ingenious Inventor

attending-machine

Last released

Attending Machine

observing-machine

Last released

Observing Machine

rhetorikos

Last released

rhetorikos / ῥητορικός - ῥήτωρ (rhḗtōr, “public speaker”) + -ῐκός (-ikós)

hermeneus

Last released

Translator from the language of questions to the language of answers.

sequenz

Last released

Tools for sequent calculus.

hyperetes

Last released

Any person who acted as the assistant of another.

grammateus

Last released

A role similar to a scribe or notary.

bibliothekarios

Last released

In the Library of Alexandria, librarians were known as βιβλιοθηκάριοι

natural-reasoning

Last released

Package description

deciding-machine

Last released

Package description

judging-machine

Last released

Package description

thinking-machine

Last released

Package description

machina-ratiocinatrix

Last released

Machina Ratiocinatrix

seven-circumstances

Last released

'Seven circumstances' are the foundation of 'inquisitive semantics'.

knowing-machine

Last released

The machine that knows the answers to all questions

misunderstanding

Last released

Misunderstanding is a failure to understand something correctly.

ignorance

Last released

Ignorance is a lack of knowledge or information.

septem-circumstantiae

Last released

Septem Circumstantiae

entitas

Last released

Package description

metaphora

Last released

From Ancient Greek μεταφορά (metaphorá), from μεταφέρω (metaphérō, “I transfer, apply”), from μετά (metá, “with, across, after”) + φέρω (phérō, “I bear, carry”).

quadrilemma

Last released

Yes, No, Unknown or Unknowable?

lingua-characteristica-universalis

Last released

Lingua Characteristica Universalis

lingua-characteristica

Last released

Lingua Characteristica Universalis

calculus-ratiocinator

Last released

Calculus Ratiocinator

reasoning-machine

Last released

Reasoning Machine

guessing-machine

Last released

Guessing Machine

multilogue

Last released

Multilogue is a cooperative game of reasoning entities against ignorance, confusion and misunderstanding.

multilectic

Last released

The multilogue philosophy with more than two 'truths'

calculemus

Last released

Logical verification of probabilistic/language model 'intuitions'.

oraculum-service

Last released

Adaptive experimentation with the help of adaptive computations

oracula

Last released

Adaptive experimentation with the help of adaptive computations

partletboost

Last released

Partlet Boosting

partboost

Last released

Simplified Partlet Boosting

partlets

Last released

Families of Partlet Functions and Partlet Decomposition of Sequences

partlet

Last released

Partlet Decomposition of Sequences

credits

Last released

Verification of data together with meticulous tracing of its' sources

pylez

Last released

Rules Engine

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page