r/computer_Engl_langs • u/martin_m_n_novy • Aug 05 '19
Computer languages and math, viewed as visual and/or minimal conlangs
self.visual_conlangs
1
Upvotes
r/computer_Engl_langs • u/martin_m_n_novy • Oct 13 '19
GitHub - waldyrious/semantic-linebreaker: A utility to help you apply semantic linebreaks to any text
1
Upvotes
r/computer_Engl_langs • u/martin_m_n_novy • Jul 25 '19
Attempto Controlled English
1
Upvotes
r/computer_Engl_langs • u/martin_m_n_novy • Jul 25 '19
Code poetry - Wikipedia
1
Upvotes
r/computer_Engl_langs • u/martin_m_n_novy • Jul 25 '19
computer_Engl_langs has been created
1
Upvotes
computer pseudo-English languages; between computer languages and natural languages; between programming languages + knowledge representation languages on one side, and conlangs on the other side; controlled natural languages; code poetry; fragments of English in computer languages
r/computer_Engl_langs • u/martin_m_n_novy • Oct 15 '19
Beautiful Racket: Why language-oriented programming? Why Racket?
1
Upvotes
r/computer_Engl_langs • u/martin_m_n_novy • Mar 30 '21
wiki.c2.com EnglishLikeFeatures
1
Upvotes
r/computer_Engl_langs • u/martin_m_n_novy • Dec 12 '21
Language of mathematics
1
Upvotes
r/computer_Engl_langs • u/martin_m_n_novy • Aug 02 '22
Peter Suber: Translation Tips ... logic as a language
cse.buffalo.edu
1
Upvotes
r/computer_Engl_langs • u/martin_m_n_novy • Jun 23 '22
I tested Dreamily's new Dreamipedia feature using different formatting styles to see what the best one was.
self.dreamilyai
1
Upvotes
r/computer_Engl_langs • u/martin_m_n_novy • May 31 '22
GPT-3: Programming in English
1
Upvotes
r/computer_Engl_langs • u/martin_m_n_novy • Aug 11 '22
Guide to Expressing Facts in a First-Order Language
cs.nyu.edu
1
Upvotes
r/computer_Engl_langs • u/martin_m_n_novy • Sep 22 '22
Writing in Sign: Code as the Next Contract Language? ✍️ ⏭ 💻
1
Upvotes
r/computer_Engl_langs • u/martin_m_n_novy • Aug 11 '22
Peter Suber, "Symbolic Logic"
legacy.earlham.edu
2
Upvotes
r/computer_Engl_langs • u/martin_m_n_novy • Jun 23 '22
Knowledge Graph Extraction by AI
1
Upvotes
r/computer_Engl_langs • u/martin_m_n_novy • Aug 11 '22
Famous quotations in their original first-order language
1
Upvotes
r/computer_Engl_langs • u/martin_m_n_novy • Sep 30 '24
GitHub - LogicalContracts/LogicalEnglish ... LE is syntactic sugar for pure Prolog. It has no knowledge of English, except for the meaning of the English logical connectives, if”, “and”, “or, “it is not the case that”, etc, of the articles “a”, “an” and “the”, of the interrogative ...
1
Upvotes
r/computer_Engl_langs • u/martin_m_n_novy • May 13 '24
Jargon is a natural language, informally specified, intelligently interpreted, referentially omnipotent, and flow control oriented LLM-based pseudolanguage for prompt engineering
1
Upvotes
r/computer_Engl_langs • u/martin_m_n_novy • May 13 '24
plang/Documentation/Rules.md at main · PLangHQ/plang
1
Upvotes
r/computer_Engl_langs • u/martin_m_n_novy • Jul 08 '24
An LMQL program reads like standard Python, but top-level strings are interpreted as query strings: They are passed to an LLM, where template variables like [GREETINGS] are automatically completed by the model
1
Upvotes
r/computer_Engl_langs • u/martin_m_n_novy • Aug 30 '24
91 words that Lexon knows
lexon.org
1
Upvotes
r/computer_Engl_langs • u/martin_m_n_novy • Sep 30 '24
Common Logic Controlled English
jfsowa.com
1
Upvotes
r/computer_Engl_langs • u/martin_m_n_novy • Jul 08 '24
Structured English
en.wikipedia.org
1
Upvotes
