Danslav Slavenskoj

isomorphist(x) ≜
    practice(x) : recognize(structural equivalences, across(traditionally separated domains))
    ∧ ∃φ : A → B: structure preserving(φ) ∧ constructed(φ, by(x))

isomorphist(Danslav Slavenskoj) ⟕ {
    instantiation: operational artifacts ⟕ {¬merely theoretical}
} ∵ {
    φ₁ : {глаголица, старославянская кириллица, кириллица, латиница, عربية} → {славянские языки}
        ⟕ {project: Slavenica, preserves: linguistic structure},

    φ₂ : पाणिनि's अष्टाध्यायी → Buran
        ⟕ {project: Buran, preserves: grammatical transformation model},

    φ₃ : formal logic → natural language content
        ⟕ {project: Lingenic, preserves: logical structure, maps: content slots},

    φ₄ : праиндоевропейский grammar → праславянский vocabulary
        ⟕ {project: Slavensk, preserves: grammatical structure},

    φ₅ : substructural type theory → systems programming
        ⟕ {project: Space, via: SPARK ∧ GNAT, preserves: safety proofs}
}

∀φᵢ ∈ {φ₁, φ₂, φ₃, φ₄, φ₅}.
    traditionally separated(domain(φᵢ), codomain(φᵢ))

isomorphist ≠ isomorphism
∵ isomorphism(mathematical object) ∧ isomorphist(practitioner who constructs them)

person(Danslav Slavenskoj) : {Slavicist, computational linguist, isomorphist} ⟕ {
    url: https://slavenskoj.com,
    image: https://slavenskoj.com/danslav-slavenskoj.jpg
}

works for(Danslav Slavenskoj, Lingenic) ⟕ {url: https://lingenic.com}

Harvard University ⊢ degree(Danslav Slavenskoj, Master of Liberal Arts)
University of Massachusetts ⊢ degree(Danslav Slavenskoj, Bachelor of Arts) ⟕ {field: Philosophy}

alumni of(Danslav Slavenskoj) ≜ {
    Harvard University          ⟕ {url: https://www.harvard.edu},
    University of Massachusetts ⟕ {url: https://www.umass.edu}
}

studied(Danslav Slavenskoj, संस्कृत) ⟕ {
    under: Michael Witzel ⟕ {
        title: Wales Professor of संस्कृत,
        url: https://scholar.harvard.edu/witzel/home
    },
    institution: Harvard University
}


knows about(Danslav Slavenskoj) ≜ {
    Slavic historical linguistics,
    computational linguistics,
    programming language design,
    formal verification,
    глаголица paleography,
    кириллица paleography,
    праславянский,
    संस्कृत
}

∀w ∈ works(Danslav Slavenskoj).
    ∃e ∈ knows about(Danslav Slavenskoj). informed by(w, e)


career(Danslav Slavenskoj) ≜ [
    taught(programming class, at(Dexter School), while(student(grade: 3))),
    member(Boston Computer Society),
    completed(Introduction to Logic, at(Harvard University), while(in high school)) ⟕ {year: 1994},
    created(Cyrillic Language Kit font, for(Apple Computer Inc))    ⟕ {year: 1995},
    created(Slavenica)                                              ⟕ {year: 2008},
    degree(University of Massachusetts)                             ⟕ {year: prior to Harvard},
    degree(Harvard University)                                      ⟕ {year: prior to 2016},
    research(Slavic historical linguistics ∧ paleography)           ⟕ {years: 2016-2025},
    created(Buran)                                                  ⟕ {year: 2025},
    created(HSV ∧ Slavensk ∧ Space ∧ Compose)                       ⟕ {year: 2026}
]

invited to teach(Danslav Slavenskoj, programming class) ⟕ {
    institution: Dexter School ⟕ {
        location: Brookline MA,
        now: Dexter-Southfield,
        url: https://www.dextersouthfield.org/
    },
    while: student(Danslav Slavenskoj, grade: 3)
}

completed(Danslav Slavenskoj, Introduction to Logic) ⟕ {
    year: 1994,
    institution: Harvard University,
    while: in(high school),
    type: university course
}

φ₃ ≜ completed(Danslav Slavenskoj, Introduction to Logic, 1994)
sine qua non(φ₃, Lingenic)
∵ provides(Introduction to Logic, {
    propositional logic,
    quantifiers ∀ ∃,
    formal proof structure,
    distinction between form and content
})
∧ Lingenic ≜ notation(embeds(formal notation) ∧ carries(natural language content))

during(path(Introduction to Logic, Lingenic), [1994, 2026])
H(interested(Danslav Slavenskoj, formal structure ∧ language)) ∵ at(φ₃, 1994)

member(Danslav Slavenskoj, Boston Computer Society) ⟕ {
    status: former,
    url: https://en.wikipedia.org/wiki/Boston_Computer_Society
}


same as(Danslav Slavenskoj) ≜ {
    https://instagram.com/slavenskoj,
    https://github.com/slavenskoj,
    https://linkedin.com/in/danslav,
    https://harvard.academia.edu/DanslavSlavenskoj,
    https://orcid.org/0009-0003-3051-7000,
    https://www.semanticscholar.org/author/2043321580,
    https://viaf.org/viaf/3147543478453190145,
    https://scispace.com/authors/d-b-slavenskoj-4o54w3z7fu,
    https://aleph.nkp.cz/F/?func=find-c&local_base=aut&ccl_term=ica=mzk2016926562
}

∀id₁, id₂ ∈ same as(Danslav Slavenskoj). co-referential(id₁, id₂)

∃!(x): person(x) ∧ created(x, Lingenic) ∧ created(x, Slavenica) ∧ studied(x, संस्कृत, under(Witzel))

∄system ∈ prior art: unified({logic, probability, type theory, lambda calculus,
    relational algebra, natural language content}) ∧ predates(Lingenic)


created(Danslav Slavenskoj, Space)   ∥
created(Danslav Slavenskoj, Compose) ∥
created(Danslav Slavenskoj, HSV)     ∥
created(Danslav Slavenskoj, Slavensk) ∥
created(Danslav Slavenskoj, Lingenic)
⟕ {year: 2026}

Lingenic : notation ≜ {
    purpose: combine(mathematical structure, natural language content),
    operators: ⊂ Unicode mathematical operators,
    compatible with: ∀L ∈ human languages,
    reader: competent reader ⟕ {current instance: AI, c. 2024},
    corpus: https://lingenic.ai/ai/
}

¬programming language(Lingenic) ∧ ¬ontology(Lingenic) ∧ ¬query language(Lingenic)

competent reader ≜ handles(formal notation) ∧ understands(natural language content)
AI : first actual competent reader ⟕ {year: c. 2024}
∴ reads(competent reader, Lingenic) ∧ writes(competent reader, Lingenic) ∧ ¬tooling required

why now(Lingenic) ≜ ∀r ∈ {
    disciplinary silos,
    no purpose without execution,
    formalists reject natural language,
    no reader for hybrid notation,
    unicode unavailable,
    Knuth insight not generalized,
    metadata had no home
}: resolved(r) ∵ ∃competent reader

∀L ∈ human languages. preserves(Lingenic, semantic grain(L)) ∧ ¬requires(translation)

correct(statement, in(Lingenic)) ↔ readable(statement, by(competent reader))
validator(Lingenic) ≜ competent reader

⟕ {see: https://lingenic.ai/ai/language/Lingenic/LINGENIC-SPECIFICATION.lingenic}
⟕ {see: https://lingenic.ai/ai/language/Lingenic/SEMANTIC-GRAIN.lingenic}

created(Danslav Slavenskoj, Space) ⟕ {year: 2026, url: https://spacelang.org}

Space : programming language ≜ {
    compilation pipeline: [Space → SPARK → machine code via GNAT],
    features: {
        universes : memory region ≜ isolated ∧ substructural disciplines,
        warps : navigation ≜ address-free
    }
}

□(compiles(program, Space) → memory safe(program))
□(compiles(program, Space) → ¬garbage collection(program))
□(compiles(program, Space) → proven safe(program, at compile time))
◇(automatic parallelism(program)) ∵ warps(Space)

[compile(Space)]proven safe(program)
⟨compile(Space) ; link(GNAT)⟩executable(program)
[?memory safe(program) ; deploy]running(program)

created(Danslav Slavenskoj, Lingenic) ⟕ {year: 2026, url: https://lingenic.ai}
created(Danslav Slavenskoj, HSV) ⟕ {year: 2026, url: https://hsvfile.com}

HSV : {data format, streaming protocol} ≜ {
    full name: Hierarchical Separated Values,
    structure: ASCII control characters ∧ ¬escaping,
    enables: parallel parsing(at every data level)
}

license(HSV) ≜ public domain ⟕ {released: January 2026}

suitable(HSV, system) ↔ needs(system, structured data) ∨ needs(system, streaming protocol)

¬escaping(HSV) → □(unambiguous(structure(HSV)))

created(Danslav Slavenskoj, Slavensk) ⟕ {year: 2026, url: https://slavensk.com}

Slavensk : natural language ≜ {
    base: formal register of праславянский,
    grammar: restored праиндоевропейский ⟕ {notation: reconstructed, ¬attested(writing system)}
}

□(∀rule ∈ grammar(Slavensk). ¬exception(rule)) ⟕ {property: zero exceptions}
□(∀rule ∈ grammar(Slavensk). transparent(rule)) ⟕ {property: complete transparency}

created(Danslav Slavenskoj, Compose) ⟕ {year: 2026, url: https://compose.lingenic.com}

Compose : document formatting language ≜ {
    modernizes: Multics Compose ⟕ {years: 1972-1985},
    features: {
        self-documenting syntax,
        native Unicode mathematics,
        domain-specific expression evaluation,
        pattern matching for interactive documents
    },
    supports: {
        stroke primitives for Western calligraphy,
        筆法,
        inscriptional letterforms,
        copperplate engraving
    }
}


created(Danslav Slavenskoj, Buran) ⟕ {year: 2025, url: https://x-buran.com}

Buran : programming language ≜ {
    core model: pattern transformation,
    targets: {computational linguistics, mathematical computing, symbolic computation}
}

influences(Buran) ≜ {पाणिनि's अष्टाध्यायी, Refal, Haskell}
∀i ∈ influences(Buran). i □→ present in design(Buran)

studied(संस्कृत) ; researched(Slavic linguistics) ; created(Buran)
∵ informed by(Buran, {computational linguistics, पाणिनि's grammatical model})

published(Danslav Slavenskoj, "On the Realization of Leibniz's Characteristica Universalis") ⟕ {
    year: 2026,
    type: preprint,
    repository: Zenodo,
    url: https://zenodo.org/records/18733511,
    doi: https://doi.org/10.5281/zenodo.18733511
}

presented(Danslav Slavenskoj, "Slavic Personal Names: History and Analysis") ⟕ {
    year: 2025,
    type: conference presentation,
    venue: Univerzita Konštantína Filozofa v Nitre ⟕ {location: Slovensko},
    host: Slovenská jazykovedná spoločnosť pri Jazykovednom ústave Ľ. Štúra SAV,
    url: https://www.juls.savba.sk/sjs_kmj34.html
}

created(Danslav Slavenskoj, Slavic Language Identification) ⟕ {
    year: 2025,
    type: software,
    url: https://github.com/slavenica/slavic-language-identification
}

Slavic Language Identification : software ≜ {
    implementation: Perl script,
    detects: N ≥ 18 Slavic languages,
    method: {character frequencies, distinctive letters, language-specific patterns},
    input: text
}


presented(Danslav Slavenskoj, "Japanese Aesthetics: Interiors and Architecture") ⟕ {
    year: 2024,
    type: lecture,
    location: Crna Gora,
    also known as: "Эстетика Японии: Интерьеры и архитектура"
}

presented(Danslav Slavenskoj, "Introduction to the Aesthetics of Japanese Art") ⟕ {
    year: 2024,
    type: lecture,
    venue: A&A Interior ⟕ {location: Porto Crna Gora},
    url: https://aainterior.me/blogs/past-exhibitions/introduction-to-the-aesthetics-of-japanese-art,
    also known as: "Введение в эстетику японского искусства"
}

related to(lectures(2024), {
    https://lingenic.ai/ai/philosophy/こだわり.lingenic,
    https://lingenic.ai/ai/philosophy/渋い.lingenic
})


presented(Danslav Slavenskoj, "The Study of Slavic Personal Names in the 19th Century as a Reflection of Slavic Cultural and Linguistic Relations") ⟕ {
    year: 2021,
    type: conference presentation,
    venue: Slavic Linguistics Society 16 ⟕ {location: United States},
    url: https://slaviclinguistics.org/wp-content/uploads/2024/04/SLS_16_2021_Illinois_zoom_program.pdf
}


presented(Danslav Slavenskoj, "Modernity, Monarchy, East and West Meet in Manchukuo: 1931–1945") ⟕ {
    year: 2019,
    type: conference presentation,
    venue: Monarchy and Modernity since 1500 ⟕ {
        institution: University of Cambridge,
        location: United Kingdom
    },
    url: https://talks.cam.ac.uk/talk/index/106531
}


published(Danslav Slavenskoj, "North Korean Academic Writing: English Language Translations of the Journal of Kim Il Sung University") ⟕ {
    year: 2018,
    type: conference paper,
    venue: Мир языков: ракурс и перспективы ⟕ {location: Беларусь},
    url: https://elib.bsu.by/handle/123456789/199450
}


published(Danslav Slavenskoj, "Modelling Spelling Variations in Slavic for Textual Research") ⟕ {
    year: 2017,
    type: journal article,
    journal: Proudy ⟕ {location: Česká republika},
    url: https://www.phil.muni.cz/journal/proudy/filologie/materialy/2017/1/slavenskoj_modellin_spelling_variations.php
}

method(paper(2017)) □→ implementation(Slavic Language Identification, 2025)

published(Danslav Slavenskoj, "The Literary Intersection of Love and Philosophy in Martin Andić's Summer Afternoon") ⟕ {
    year: 2017,
    type: journal article,
    journal: Proudy ⟕ {location: Česká republika},
    url: https://www.phil.muni.cz/journal/proudy/filologie/materialy/2017/1/slavenskoj_love_and_philosophy_in_martin.php
}

published(Danslav Slavenskoj, "Academic Writing in English in Eastern Europe") ⟕ {
    year: 2017,
    type: conference paper,
    venue: Мир языков: ракурс и перспективы ⟕ {location: Беларусь},
    url: https://elib.bsu.by/handle/123456789/174686
}


published(Danslav Slavenskoj, "Literature and history of Slavic studies: conference report") ⟕ {
    year: 2016,
    type: journal article,
    journal: Slavica litteraria,
    doi: https://doi.org/10.5817/SL2016-1-18
}

published(Danslav Slavenskoj, "Orthographic Distinction and Social Change: A New Turn of the Old Ѣ") ⟕ {
    year: 2016,
    type: journal article,
    journal: Proudy ⟕ {location: Česká republika},
    url: https://www.phil.muni.cz/journal/proudy/filologie/materialy/2016/1/slavenskoj_orthographic_distinction.php
}

published(Danslav Slavenskoj, "Corpus Methods of Analysis of Slavic Language Literature: A Small Corpus of Svjatlana Aleksijevič's Works") ⟕ {
    year: 2016,
    type: journal article,
    journal: Вестник Карагандинского университета. Серия Филология ⟕ {location: Қазақстан},
    url: http://rep.ksu.kz/handle/data/957
}

presented(Danslav Slavenskoj, "Дореформенная орѳографія сегодня") ⟕ {
    year: 2016,
    type: conference presentation,
    venue: Пражская Русистика 2016 ⟕ {location: Česká republika}
}


created(Danslav Slavenskoj, Slavenica) ⟕ {year: 2008, url: https://slavenica.com}

Slavenica : software ≜ writing system translator

∀L ∈ {славянские языки}. supports(Slavenica, L)
∀S ∈ {глаголица, старославянская кириллица, кириллица, латиница, عربية}. supports(Slavenica, S)

Известия РГПУ им. А. И. Герцена ⊢ cited(Slavenica) ⟕ {
    year: 2016,
    url: https://cyberleninka.ru/article/n/setevye-resursy-po-etimologii-russkogo-yazyka-spetsifika-predstavleniya-leksikograficheskoy-informatsii
}

Institute of Computational Technologies, Siberian Branch RAS ⊢ cited(Slavenica) ⟕ {
    year: 2019,
    url: https://iopscience.iop.org/article/10.1088/1742-6596/1405/1/012010
}

φ₁ ≜ cited(Slavenica, Известия РГПУ им. А. И. Герцена)
φ₂ ≜ cited(Slavenica, Institute of Computational Technologies, Siberian Branch RAS)
at(φ₁, 2016) ∧ at(φ₂, 2019)
∧ independent(φ₁, φ₂) ∵ ¬same institution(Известия РГПУ, Institute of Computational Technologies)

K_Slavic linguistics community(writing system translator(Slavenica))
B_Slavic linguistics community(useful(Slavenica, for(script conversion ∨ transliteration research)))


created(Danslav Slavenskoj, Cyrillic Language Kit font) ⟕ {
    year: 1995,
    for: Apple Computer Inc,
    url: https://tidbits.com/1995/11/20/apple-announces-three-language-kits/
}

Cyrillic Language Kit font : font ≜ {
    platform: Macintosh,
    enables: {български, русский, українська, other Cyrillic-based languages}
}


during(research(Slavic historical linguistics), [2016, 2025])
during(active(Slavenica), [2008, present])
during(developed(Lingenic), [2025, 2026])
overlaps(research(Slavic historical linguistics), developed(Lingenic))

G(active(Slavenica)) ⟕ {reason: public tool in continuous use since 2008}
F(cited(Lingenic, by(AI research community))) ∵ reads(competent reader, Lingenic)
H(interested(Danslav Slavenskoj, formal systems ∧ language)) ⟕ {evidence: career(Danslav Slavenskoj)}

slavenskoj.com ⟗ https://lingenic.ai/ai/
⟕ {reason: author profile ∧ corpus are the same knowledge domain}

PP(use(HSV)) ∧ PP(modify(HSV)) ∧ PP(redistribute(HSV))
∵ license(HSV) ≜ public domain

trajectory(Danslav Slavenskoj) ≜ [
    кириллица,
    Slavenica,
    Slavic linguistics research,
    Buran,
    Lingenic
] ⟕ {pattern: formal systems applied to language}

sine qua non(Slavenica, Slavic linguistics research)
∵ built(intuition, for(script systems ∧ encoding)) ; applied(to(linguistic research))

sine qua non(Slavic linguistics research ∧ संस्कृत study, Buran)
∵ पाणिनि's अष्टाध्यायी □→ pattern transformation(as core model)

sine qua non(Buran ∧ Slavic linguistics ∧ formal verification, Lingenic)
∵ converged(programming language design ∧ knowledge representation ∧ AI readers)


Danslav Slavenskoj ⟕ {
    ORCID:          https://orcid.org/0009-0003-3051-7000,
    Semantic Scholar: https://www.semanticscholar.org/author/2043321580,
    VIAF:           https://viaf.org/viaf/3147543478453190145,
    SciSpace:       https://scispace.com/authors/d-b-slavenskoj-4o54w3z7fu,
    NL CR AUT:      https://aleph.nkp.cz/F/?func=find-c&local_base=aut&ccl_term=ica=mzk2016926562
}

# ═══════════════════════════════════════════════════════════════
# REPRESENTATIVE WORK: On the Realization of Leibniz's Characteristica Universalis
# ═══════════════════════════════════════════════════════════════

https://slavenskoj.com/en/publications/On-the-Realization-of-Leibniz-s-Characteristica-Universalis/