worker working

2024/02/02/TERMSaa

@@ -1,20 +1,20 @@
-    116 to
-    116 a
-    110 or
-    107 the
-     83 and
-     74 of
-     59 in
-     54 that
-     54 -
-     42 for
-     33 computer
-     32 can
-     31 is
-     27 used
-     26 something
-     23 code
-     22 language
-     22 as
-     21 with
-     20 an
+    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 -

2024/02/02/TERMSab

@@ -1,20 +1,20 @@
-     19 A
-     18 by
-     17 In
-     17 be
-     16 science
-     16 LLM
-     16 Coq
-     15 we
-     15 text
-     14 programming
-     14 into
-     13 such
-     13 software
-     13 on
-     13 create
-     12 which
-     12 this
-     12 systems
-     12 refers
-     12 program
+     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

2024/02/02/TERMSac

@@ -1,20 +1,20 @@
-     12 commands
-     11 programs
-     11 other
-     11 model
-     11 large
-     11 languages
-     11 each
-     11 document
-     11 coq
-     10 using
-     10 system
-     10 s
-     10 debugger
-     10 data
-      9 tasks
-      9 specific
-      9 process
-      9 OCaml
-      9 ocaml
-      9 information
+     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

2024/02/02/TERMSad

@@ -1,20 +1,20 @@
-      9 file
-      9 environment
-      9 are
-      8 written
-      8 list
-      8 between
-      8 based
-      8 applications
-      7 words
-      7 via
-      7 terms
-      7 source
-      7 perform
-      7 operating
-      7 OpenAI
-      7 make
-      7 LTAC
-      7 llm
-      7 has
-      7 from
+     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

2024/02/02/TERMSae

@@ -1,20 +1,20 @@
-      7 following
-      7 development
-      7 developed
-      7 designed
-      7 application
-      7 all
-      7 action
-      6 writing
-      6 von
-      6 use
-      6 type
-      6 two
-      6 through
-      6 set
-      6 particular
-      6 ltac
-      6 it
-      6 generate
-      6 formal
-      6 editor
+     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

2024/02/02/TERMSaf

@@ -1,20 +1,20 @@
-      6 context
-      6 C
-      6 breakpoints
-      6 back
-      6 at
-      5 way
-      5 various
-      5 uses
-      5 users
-      5 user
-      5 Unix-like
-      5 topfind
-      5 To
-      5 theory
-      5 them
-      5 so
-      5 size
-      5 similar
-      5 server
-      5 see
+     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

2024/02/02/TERMSag

@@ -1,20 +1,20 @@
-      5 related
-      5 ready
-      5 purpose
-      5 Owl
-      5 org
-      5 order
-      5 often
-      5 new
-      5 mode
-      5 means
-      5 map
-      5 LaTeX
-      5 John
-      5 functions
-      5 first
-      5 extract
-      5 expose
-      5 execute
-      5 END_SRC
-      5 Emacs
+     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

2024/02/02/TERMSah

@@ -1,20 +1,20 @@
-      5 effectively
-      5 custom
-      5 created
-      5 CoqIDE
-      5 contexts
-      5 comprehensive
-      5 completion
-      5 compiler
-      5 compiled
-      5 company
-      5 communication
-      5 client
-      5 categories
-      5 capable
-      5 By
-      5 bridge
-      5 BEGIN_SRC
-      5 available
-      5 automate
-      5 api
+     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

2024/02/02/TERMSai

@@ -1,20 +1,20 @@
-      5 add
-      5 above
-      4 well
-      4 utility
-      4 uniq
-      4 understand
-      4 Transformer
-      4 training
-      4 tool
-      4 those
-      4 then
-      4 their
-      4 The
-      4 technical
-      4 task
-      4 syntax
-      4 structure
-      4 spelling
-      4 someone
-      4 solution
+      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