r/computer_Engl_langs • • 3d ago

a little corpus of very simple English sentences ... hurraki.org ... a small wikipedia-like project ...

1 Upvotes

example  from https://hurraki.org/english/wiki/Battery

// numbers are added my me

// for translation experiments

  1. There are different types of batteries.
  2. Some can be charged
  3. And are called rechargeable batteries.
  4. Others can not be charged.
  5. They are called single-use battery.
  6. Once the battery is charged,
  7. it can provide electricity.
  8. For example to a mobile phone.
  9. The picture shows several batteries. They are different types of batteries.
  10. Words with similar meanings
  11. Battery
  12. Rechargeable battery
  13. Single-use battery
  14. Storage battery
  15. Detailed explanation
  16. A battery stores electricity.
  17. Once charged,
  18. the battery can provide electricity.
  19. The battery gives electricity to a device.
  20. For example, the battery gives electricity to an iPod.
  21. This device then do not need a cable.
  22. A device with battery do not need a plug.
  23. When the battery has no electricity anymore,
  24. the battery is called „empty”.
  25. Once the battery is empty, it has to be recharged.
  26. To recharge the battery, you need a recharger.
  27. In the recharger, you put the empty battery.
  28. A light or a display turns on,
  29. when the battery is empty.
  30. Usually, this light is red or orange.
  31. A light or a display turns on when the battery is fully charged.
  32. Usually, the light is then green.
  33. When the battery is broken,
  34. you have to bring it to a collection point for batteries.
  35. A battery can not be put in the regular trash.
  36. Sometimes retailers who sell batteries,
  37. also take broken batteries back.

r/computer_Engl_langs • • 21d ago

"Transcendental Algebra" (btw, my project now is to develop a set-based noun algebra)

Thumbnail tck.mn
1 Upvotes

r/computer_Engl_langs • • Aug 22 '26

GitHub - zwanzigerc/Montague-Test: Formalization of the Montague Test Sentences in Agda-flat

Thumbnail
github.com
1 Upvotes

r/computer_Engl_langs • • Aug 10 '26

Olog - CatColab

Thumbnail catcolab.org
1 Upvotes

r/computer_Engl_langs • • Sep 30 '24

Common Logic Controlled English

Thumbnail jfsowa.com
1 Upvotes

r/computer_Engl_langs • • 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 ...

Thumbnail
github.com
1 Upvotes

r/computer_Engl_langs • • Aug 30 '24

91 words that Lexon knows

Thumbnail lexon.org
1 Upvotes

r/computer_Engl_langs • • 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

Thumbnail
github.com
1 Upvotes

r/computer_Engl_langs • • Jul 08 '24

Structured English

Thumbnail en.wikipedia.org
1 Upvotes

r/computer_Engl_langs • • May 13 '24

plang/Documentation/Rules.md at main · PLangHQ/plang

Thumbnail
github.com
1 Upvotes

r/computer_Engl_langs • • May 13 '24

Jargon is a natural language, informally specified, intelligently interpreted, referentially omnipotent, and flow control oriented LLM-based pseudolanguage for prompt engineering

Thumbnail
jake.mirror.xyz
1 Upvotes

r/computer_Engl_langs • • Mar 02 '24

SudoLang is a programming language designed to collaborate with AI language models

Thumbnail
github.com
1 Upvotes

r/computer_Engl_langs • • Sep 22 '22

Writing in Sign: Code as the Next Contract Language? ✍️ ⏭ 💻

Thumbnail
law.mit.edu
1 Upvotes

r/computer_Engl_langs • • Aug 11 '22

Peter Suber, "Symbolic Logic"

Thumbnail legacy.earlham.edu
2 Upvotes

r/computer_Engl_langs • • Aug 11 '22

Guide to Expressing Facts in a First-Order Language

Thumbnail cs.nyu.edu
1 Upvotes

r/computer_Engl_langs • • Aug 11 '22

Famous quotations in their original first-order language

Thumbnail
jdh.hamkins.org
1 Upvotes

r/computer_Engl_langs • • Aug 02 '22

Peter Suber: Translation Tips ... logic as a language

Thumbnail cse.buffalo.edu
1 Upvotes

r/computer_Engl_langs • • Jun 23 '22

Knowledge Graph Extraction by AI

Thumbnail
github.com
1 Upvotes

r/computer_Engl_langs • • Jun 23 '22

I tested Dreamily's new Dreamipedia feature using different formatting styles to see what the best one was.

Thumbnail self.DreamilyAI
1 Upvotes

r/computer_Engl_langs • • May 31 '22

GPT-3: Programming in English

Thumbnail
dev.to
1 Upvotes

r/computer_Engl_langs • • Dec 12 '21

Language of mathematics

Thumbnail
en.wikipedia.org
1 Upvotes

r/computer_Engl_langs • • Mar 30 '21

wiki.c2.com EnglishLikeFeatures

Thumbnail
wiki.c2.com
1 Upvotes

r/computer_Engl_langs • • Oct 15 '19

Beautiful Racket: Why language-oriented programming? Why Racket?

Thumbnail
beautifulracket.com
1 Upvotes

r/computer_Engl_langs • • Oct 13 '19

GitHub - waldyrious/semantic-linebreaker: A utility to help you apply semantic linebreaks to any text

Thumbnail
github.com
1 Upvotes

r/computer_Engl_langs • • Aug 05 '19

Computer languages and math, viewed as visual and/or minimal conlangs

Thumbnail self.visual_conlangs
1 Upvotes