notes v

2024/02/02/#runchunker.sh#

@@ -0,0 +1 @@
+~/experiments/lang_agent/_build/default/bin/chunker.exe  prompt.txt sep.txt merged.txt mistral

2024/02/02/TERMSaa

@@ -1,20 +1,20 @@
-    384 to
-    383 the
-    357 and
-    269 of
-    258 a
-    137 in
-    130 or
-    122 that
-     88 is
-     87 story
-     76 for
-     69 his
-     67 comic
-     65 s
-     65 book
-     61 as
-     58 with
-     58 Unimath
-     57 The
-     55 -
+the
+to
+and
+of
+a
+or
+in
+that
+is
+story
+for
+s
+The
+his
+-
+as
+comic
+book
+with
+Unimath

2024/02/02/TERMSab

@@ -1,20 +1,20 @@
-     51 Voevodsky
-     49 an
-     44 Vladimir
-     44 this
-     44 he
-     43 can
-     42 create
-     38 on
-     38 be
-     36 your
-     36 mathematics
-     35 it
-     35 In
-     35 computer
-     34 work
-     34 into
-     33 science
-     32 from
-     31 language
-     30 used
+an
+AI
+Voevodsky
+Vladimir
+can
+this
+he
+be
+on
+create
+mathematics
+In
+work
+by
+your
+computer
+it
+are
+language
+into

2024/02/02/TERMSac

@@ -1,20 +1,20 @@
-     30 journey
-     29 using
-     29 by
-     29 back
-     29 are
-     28 will
-     28 code
-     27 use
-     27 like
-     26 we
-     26 something
-     26 AI
-     25 other
-     24 output
-     24 It
-     24 about
-     23 life
-     23 end_src
-     23 begin_src
-     22 technology
+science
+something
+from
+used
+output
+journey
+use
+This
+end_src
+begin_src
+code
+back
+will
+using
+process
+word
+other
+like
+about
+we

2024/02/02/TERMSad

@@ -1,20 +1,20 @@
-     22 such
-     21 This
-     21 mathematical
-     21 A
-     20 who
-     20 time
-     20 readers
-     20 more
-     20 complete
-     20 all
-     19 you
-     19 way
-     19 tragic
-     19 make
-     19 human
-     18 which
-     18 universe
-     18 text
-     18 data
-     18 Coq
+It
+technology
+count
+words
+life
+which
+who
+mathematical
+you
+such
+more
+time
+readers
+human
+complete
+A
+tragic
+text
+system
+refers

2024/02/02/TERMSae

@@ -1,20 +1,20 @@
-     18 also
-     17 universes
-     17 them
-     17 see
-     17 project
-     17 elements
-     16 through
-     16 sounds
-     16 series
-     16 LLM
-     16 help
-     16 has
-     15 world
-     15 was
-     15 programming
-     15 its
-     14 new
-     14 math
-     14 learn
-     14 history
+all
+way
+universe
+make
+its
+data
+also
+concepts
+universes
+project
+programming
+may
+elements
+Coq
+context
+through
+them
+sounds
+series
+see

2024/02/02/TERMSaf

@@ -1,20 +1,20 @@
-     14 characters
-     13 system
-     13 software
-     13 languages
-     13 ideas
-     13 hero
-     13 have
-     13 fiction
-     13 coq
-     13 concepts
-     12 weakly
-     12 unique
-     12 team
-     12 systems
-     12 refers
-     12 program
-     12 potential
-     12 modules
-     12 model
-     12 large
+refer
+new
+help
+has
+following
+could
+world
+LLM
+was
+math
+learn
+history
+characters
+bootstrap
+software
+potential
+important
+ideas
+hero
+fiction

2024/02/02/TERMSag

@@ -1,20 +1,20 @@
-     12 important
-     12 He
-     12 following
-     12 file
-     12 equivalent
-     12 epic
-     12 each
-     12 could
-     12 commands
-     12 add
-     11 unimath
-     11 types
-     11 so
-     11 programs
-     11 Overall
-     11 out
-     11 machine
-     11 document
-     11 but
-     10 well
+each
+being
+weakly
+txt
+systems
+specific
+program
+Overall
+languages
+He
+have
+equivalent
+epic
+coq
+unique
+unimath
+these
+team
+modules
+model

2024/02/02/TERMSah

@@ -1,20 +1,20 @@
-     10 want
-     10 theory
-     10 terms
-     10 process
-     10 original
-     10 narrative
-     10 interesting
-     10 information
-     10 how
-     10 him
-     10 goes
-     10 give
-     10 engaging
-     10 debugger
-     10 character
-     10 applications
-     10 ambitious
-      9 they
-      9 tasks
-      9 specific
+machine
+large
+how
+file
+creating
+commands
+but
+add
+while
+types
+theory
+terms
+so
+programs
+pair
+out
+narrative
+might
+knowledge
+interesting

2024/02/02/TERMSai

@@ -1,20 +1,20 @@
-      9 rich
-      9 readable
-      9 OCaml
-      9 ocaml
-      9 models
-      9 may
-      9 formal
-      9 first
-      9 environment
-      9 creating
-      9 Consider
-      9 between
-      9 accessible
-      8 written
-      8 words
-      8 To
-      8 thoughts
-      8 themes
-      8 secrets
-      8 resurrected
+input
+improving
+him
+goes
+engaging
+end
+document
+development
+character
+ambitious
+well
+want
+uses
+they
+tasks
+suggest
+subject
+rich
+readable
+original