https://geul.org/Recent content in GEUL on GEUL — A Semantic Language for AIHugoenSun, 01 Mar 2026 15:00:00 +0900https://geul.org/projects/silk/Sun, 01 Mar 2026 12:00:00 +0900https://geul.org/projects/silk/A neuro-symbolic search architecture that searches with 64-bit integers. Sub-second search across 100 million Wikidata entities without vector DB, ANN graphs, or embedding models.https://geul.org/why/prompt-engineering-over/Thu, 26 Feb 2026 12:00:12 +0900https://geul.org/why/prompt-engineering-over/From how you say it to what you show — the game has changedhttps://geul.org/why/rag-not-enough/Thu, 26 Feb 2026 12:00:11 +0900https://geul.org/why/rag-not-enough/RAG searches natural language as natural language. Three fundamental limitations of embedding similarity search, and why structured semantic search is the alternative.https://geul.org/why/clarification/Thu, 26 Feb 2026 12:00:13 +0900https://geul.org/why/clarification/Clear input produces clear outputhttps://geul.org/why/mechanical-verification/Thu, 26 Feb 2026 12:00:10 +0900https://geul.org/why/mechanical-verification/Natural language has no concept of an invalid sentencehttps://geul.org/why/filter/Thu, 26 Feb 2026 12:00:09 +0900https://geul.org/why/filter/Valid information is not always needed informationhttps://geul.org/why/consistency-check/Thu, 26 Feb 2026 12:00:08 +0900https://geul.org/why/consistency-check/Individually correct information can be collectively wronghttps://geul.org/why/artificial-language-needed/Sun, 01 Mar 2026 12:00:00 +0900https://geul.org/why/artificial-language-needed/Natural language evolved for human communication. Ambiguity, redundancy, and implication are strengths for humans but causes of hallucination for AI. Neither programming languages nor existing semantic frameworks are the answer. A new artificial language satisfying six conditions simultaneously is needed.https://geul.org/why/exploration/Thu, 26 Feb 2026 12:00:07 +0900https://geul.org/why/exploration/When the index exceeds the window, the search paradigm itself hits its limithttps://geul.org/why/natural-language-hallucination/Thu, 26 Feb 2026 12:00:16 +0900https://geul.org/why/natural-language-hallucination/Hallucination is not an LLM bug — it is a structural inevitability of natural language. Four flaws — ambiguity, absent sources, absent confidence, absent time — make it unfixable by scaling alone.https://geul.org/why/not-md-json-xml/Thu, 26 Feb 2026 12:00:15 +0900https://geul.org/why/not-md-json-xml/Existing formats cannot carry meaninghttps://geul.org/grammar/verb-edge/semantic-role/Sun, 01 Mar 2026 12:00:00 +0900https://geul.org/grammar/verb-edge/semantic-role/Defines 16 Participants representing semantic roles within events. Encodes core roles like Agent, Theme, and Recipient through to adjunct roles like Cause and Purpose using 4-bit encoding.https://geul.org/why/not-programming-language/Thu, 26 Feb 2026 12:00:19 +0900https://geul.org/why/not-programming-language/Programming languages describe procedures. They cannot describe the world. JSON provides structure but no meaning. Even LISP merely borrows syntax.https://geul.org/why/not-embedding-vector/Thu, 26 Feb 2026 12:00:18 +0900https://geul.org/why/not-embedding-vector/Rearranging embedding vectors breaks the model. Avoiding breakage means rebuilding the model from scratch. What we need is not transparency inside the black box, but a transparent layer outside it.https://geul.org/why/esperanto-failed/Thu, 26 Feb 2026 12:00:14 +0900https://geul.org/why/esperanto-failed/Artificial languages for humans failed — artificial languages for AI are differenthttps://geul.org/why/wikidata/Thu, 26 Feb 2026 12:00:17 +0900https://geul.org/why/wikidata/GEUL does not reject Wikidata. It transforms the classification system and frequency statistics of 100 million entities into SIDX codebooks. Grammar is built on top of a dictionary.https://geul.org/why/wordnet/Sun, 01 Mar 2026 14:00:00 +0900https://geul.org/why/wordnet/Building a verb system from scratch means gaps, arbitrary choices, and no justification. WordNet is a 40-year lexical database of 13,767 verb synsets built by linguists. We borrow the dictionary and build the grammar on top.https://geul.org/why/claims-not-facts/Thu, 26 Feb 2026 12:00:06 +0900https://geul.org/why/claims-not-facts/Truth vanishes faster than the speed of lighthttps://geul.org/why/semantically-aligned-index/Thu, 26 Feb 2026 12:00:03 +0900https://geul.org/why/semantically-aligned-index/When meaning is engraved in bits, search becomes reasoninghttps://geul.org/why/16-bit/Thu, 26 Feb 2026 12:00:04 +0900https://geul.org/why/16-bit/A single word penetrates three worldshttps://geul.org/why/structured-memory/Thu, 26 Feb 2026 12:00:05 +0900https://geul.org/why/structured-memory/Intelligence without memory starts from scratch every timehttps://geul.org/why/cache-reasoning-as-code/Thu, 26 Feb 2026 12:00:02 +0900https://geul.org/why/cache-reasoning-as-code/Transform a single inference into a permanent procedurehttps://geul.org/why/annotation-as-index/Sun, 01 Mar 2026 15:00:00 +0900https://geul.org/why/annotation-as-index/Annotations are written for humans. But when you have 10,000 functions, machines need to read them too. Turn annotations from narrative into indexes, and full scans become instant lookups.https://geul.org/grammar/entity-node/Sun, 01 Mar 2026 12:00:00 +0900https://geul.org/grammar/entity-node/A fixed-length 4-word (64-bit) Node that identifies entities such as people, places, objects, and organizations. Uses 3-bit Mode for quantification/number, 6-bit EntityType for 64 top-level types, and 48-bit Attributes for type-specific semantic encoding.https://geul.org/grammar/verb-edge/qualifier/Sun, 01 Mar 2026 12:00:00 +0900https://geul.org/grammar/verb-edge/qualifier/Semantic qualifiers for Verb Edge. Encodes grammatical and pragmatic information of predications across 14 categories including evidentiality, mood, modality, tense, aspect, politeness, polarity, and confidence.https://geul.org/why/must-reserved/Sun, 01 Mar 2026 15:00:00 +0900https://geul.org/why/must-reserved/GEUL leaves 75% of its 64-bit space empty. The lessons of IPv4, Unicode, and ASCII tell us — the cost of filling is irreversible, but the cost of leaving empty is zero.https://geul.org/grammar/triple-edge/Sun, 01 Mar 2026 12:00:00 +0900https://geul.org/grammar/triple-edge/An Edge type expressing relationships and attributes in (Subject, Property, Object) form. Optimizes Top 63 high-frequency properties with a dual structure of basic mode (4 words) and extended mode (5 words).https://geul.org/grammar/clause-edge/Sun, 01 Mar 2026 12:00:00 +0900https://geul.org/grammar/clause-edge/A fixed 4-word Edge expressing logical and discourse relations between predications, events, and relationships. Encodes causation, temporal, contrast, and argumentation relations using 16 RST-based relation types.https://geul.org/grammar/event6-edge/Sun, 01 Mar 2026 12:00:00 +0900https://geul.org/grammar/event6-edge/A variable-length event Edge expressing the 5W1H principle (Who, What, Whom, When, Where, Why) in one packet. Uses a Presence bitmask to achieve a 3-8 word variable structure.https://geul.org/grammar/context-edge/Sun, 01 Mar 2026 12:00:00 +0900https://geul.org/grammar/context-edge/A lightweight 3-word Edge expressing ‘in which worldview/context is this claim true.’ Encodes truth conditions across 64 types including source, worldview, fiction, and perspective.https://geul.org/grammar/quantity-node/Sun, 01 Mar 2026 12:00:00 +0900https://geul.org/grammar/quantity-node/A variable-length 4-7 word Node for representing physical quantities, numbers, currencies, and literals. Encodes SI base/derived units, currencies, and special literals with 6-bit Unit codes and 4-bit Scale for SI prefixes.https://geul.org/grammar/ast-edge/Sun, 01 Mar 2026 12:00:00 +0900https://geul.org/grammar/ast-edge/An Edge type that represents programming language ASTs as GEUL graphs. Classifies 64 languages with 6 bits and encodes 256 AST node types with 8 bits. Includes the PathGEUL query language.https://geul.org/grammar/group-edge/Sun, 01 Mar 2026 12:00:00 +0900https://geul.org/grammar/group-edge/A variable-length Edge that bundles multiple Nodes into 7 types: AND, OR, LIST, SET, and more. Uses a 13-bit Prefix and terminator marker (0x0000) to support unlimited members.https://geul.org/grammar/stream-format/Sun, 01 Mar 2026 12:00:00 +0900https://geul.org/grammar/stream-format/A GEUL stream is a packet sequence that begins and ends with a Meta Node. Defines TID scoping, forward-only references, and packet ordering rules.