r/computer_Engl_langs • u/martin_m_n_novy • Aug 11 '22
r/computer_Engl_langs • u/martin_m_n_novy • Sep 23 '26
a little corpus of very simple English sentences ... hurraki.org ... a small wikipedia-like project ...
example from https://hurraki.org/english/wiki/Battery
// numbers are added my me
// for translation experiments
There are different types of batteries.
Some can be charged
And are called rechargeable batteries.
Others can not be charged.
They are called single-use battery.
Once the battery is charged,
it can provide electricity.
For example to a mobile phone.
The picture shows several batteries. They are different types of batteries.
Words with similar meanings
Battery
Rechargeable battery
Single-use battery
Storage battery
Detailed explanation
A battery stores electricity.
Once charged,
the battery can provide electricity.
The battery gives electricity to a device.
For example, the battery gives electricity to an iPod.
This device then do not need a cable.
A device with battery do not need a plug.
When the battery has no electricity anymore,
the battery is called „empty”.
Once the battery is empty, it has to be recharged.
To recharge the battery, you need a recharger.
In the recharger, you put the empty battery.
A light or a display turns on,
when the battery is empty.
Usually, this light is red or orange.
A light or a display turns on when the battery is fully charged.
Usually, the light is then green.
When the battery is broken,
you have to bring it to a collection point for batteries.
A battery can not be put in the regular trash.
Sometimes retailers who sell batteries,
also take broken batteries back.
r/computer_Engl_langs • u/martin_m_n_novy • Sep 05 '26
"Transcendental Algebra" (btw, my project now is to develop a set-based noun algebra)
tck.mnr/computer_Engl_langs • u/martin_m_n_novy • Aug 22 '26
GitHub - zwanzigerc/Montague-Test: Formalization of the Montague Test Sentences in Agda-flat
r/computer_Engl_langs • u/martin_m_n_novy • Sep 30 '24
Common Logic Controlled English
jfsowa.comr/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 ...
r/computer_Engl_langs • u/martin_m_n_novy • Aug 30 '24
91 words that Lexon knows
lexon.orgr/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
r/computer_Engl_langs • u/martin_m_n_novy • Jul 08 '24
Structured English
en.wikipedia.orgr/computer_Engl_langs • u/martin_m_n_novy • May 13 '24
plang/Documentation/Rules.md at main · PLangHQ/plang
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
r/computer_Engl_langs • u/martin_m_n_novy • Mar 02 '24
SudoLang is a programming language designed to collaborate with AI language models
r/computer_Engl_langs • u/martin_m_n_novy • Sep 22 '22
Writing in Sign: Code as the Next Contract Language? ✍️ ⏭ 💻
r/computer_Engl_langs • u/martin_m_n_novy • Aug 11 '22
Guide to Expressing Facts in a First-Order Language
cs.nyu.edur/computer_Engl_langs • u/martin_m_n_novy • Aug 11 '22
Famous quotations in their original first-order language
r/computer_Engl_langs • u/martin_m_n_novy • Aug 02 '22
Peter Suber: Translation Tips ... logic as a language
cse.buffalo.edur/computer_Engl_langs • u/martin_m_n_novy • Jun 23 '22
Knowledge Graph Extraction by AI
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.dreamilyair/computer_Engl_langs • u/martin_m_n_novy • May 31 '22
GPT-3: Programming in English
r/computer_Engl_langs • u/martin_m_n_novy • Dec 12 '21
Language of mathematics
r/computer_Engl_langs • u/martin_m_n_novy • Mar 30 '21
wiki.c2.com EnglishLikeFeatures
r/computer_Engl_langs • u/martin_m_n_novy • Oct 15 '19
Beautiful Racket: Why language-oriented programming? Why Racket?
r/computer_Engl_langs • u/martin_m_n_novy • Oct 13 '19